Social Processes and Proofs of Theorems and Programs by Richard A. De Millo, Richard J. Lipton and Alan J. Perlis (1979)

This is an exciting article from a moment when it was fashionable to call for verifications of the consistency of computer programs, arguing that the basic assumptions that these calls for so-called ‘proofs’ rest on are misconceptions about the nature of mathematical proof. They argue against any kind of foundational formalism and claim that the essence of provedness can only be found in the social.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s