Intentional Gaps In Mathematical Proofs

Probabilistic algorithm for testing primality

Michael O. Rabin · Journal of Number Theory · 1980 · 867 citations

Natural Sciences, Computer Science, Mathematics +10

Epistemic Dependence

John Hardwig · The Journal of Philosophy · 1985 · 778 citations

Humanities, Philosophy, Epistemology +7

The Psychology of Invention in the Mathematical Field.

Susanna P. Hotelling, Jacques Hadamard · Journal of the American Statistical Association · 1945 · 694 citations

Humanities, Mathematics, Psychology +9

Checking computations in polylogarithmic time

László Babai, Lance Fortnow, Leonid A. Levin et al. · 1991 · 620 citations · Full text

Computing, Computer Science, Mathematics +6

<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i>

Kurt Gödel, Bernard D. Meltzer, Richard Schlegel · Physics Today · 1964 · 589 citations

Humanities, Computer Science, Mathematics +13