When is a Proof a Proof?

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

Objectivity and the Escape from Perspective

Lorraine Daston · Social Studies of Science · 1992 · 782 citations · Full text

Humanities, Philosophy, Intellectual History +7

On proof and progress in mathematics

William P. Thurston · Bulletin of the American Mathematical Society · 1994 · 629 citations · Full text

Natural Sciences, Mathematics, Dynamical Systems +9

Social processes and proofs of theorems and programs

Richard A. De Millo, Richard J. Lipton, Alan J. Perlis · Communications of the ACM · 1979 · 535 citations · Full text

Computing, Computer Science, Computational Linguistics +4

The Image of Objectivity

Lorraine Daston, Peter Galison · Representations · 1992 · 370 citations

Humanities, Philosophy, Contemporary Philosophy +6