Published online by Cambridge University Press: 31 January 2023
I once wrote to Imré Lakatos that if he had not already established himself as an accomplished philosopher and provocateur, he could have made a successful career as a Hollywood script writer. I had in mind, at that time, a beautifully written paper he had constructed by pasting together the cuttings from other papers. I had forgotten that his reputation as a dramatist was already established, with the production of his Proofs and Refutations [9]. For that work, it seems to me, is simply a play within a play. The main character, whose part is written in the footnotes, delivers a monologue which is a commentary on the drama, between teacher and students, that occupies center stage. This main character is not named in the play, so for ease of reference I shall call him “Imré”. What Imré points out is that the drama on center stage imitates life, in showing us the essential features of the methodology by virtue of which mathematical science grows.