{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T06:35:45Z","timestamp":1775198145245,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1023\/a:1022131513275","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T19:29:05Z","timestamp":1048274945000},"page":"45-69","source":"Crossref","is-referenced-by-count":50,"title":["Intentional Gaps In Mathematical Proofs"],"prefix":"10.1007","volume":"134","author":[{"given":"Don","family":"Fallis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"407081_CR1","volume-title":"More Mathematical People","author":"D. J. Albers","year":"1990","unstructured":"Albers, Donald J., Gerald L. Alexanderson, and Constance Reid: 1990, More Mathematical People, Harcourt Brace Jovanovich, Boston."},{"issue":"2","key":"407081_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/philmat\/6.2.145","volume":"6","author":"W. S. Anglin","year":"1991","unstructured":"Anglin, W. S.: 1991, \u2018Mathematics and Value\u2019, Philosophia Mathematica (2)\n6(2), 145\u2013173.","journal-title":"Philosophia Mathematica (2)"},{"key":"407081_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551291","volume-title":"Metaphysical Myths, Mathematical Practice","author":"J. Azzouni","year":"1994","unstructured":"Azzouni, Jody: 1994, Metaphysical Myths, Mathematical Practice, Cambridge University Press, New York."},{"key":"407081_CR4","doi-asserted-by":"crossref","unstructured":"Babai, Laszlo, Lance Fortnow, Leonid A. Levin, and Mario Szegedy: 1991, \u2018Checking Computations in Polylogarithmic Time\u2019, Proceedings of the 23rd ACM Symposium on Theory of Computing, pp. 21\u201331.","DOI":"10.1145\/103418.103428"},{"key":"407081_CR5","volume-title":"A Short Account of the History of Mathematics","author":"W. W. R. Ball","year":"1960","unstructured":"Ball, W. W. R.: 1960, A Short Account of the History of Mathematics, Dover Publications, New York."},{"key":"407081_CR6","first-page":"1444","volume-title":"Proceedings of the International Congress of Mathematicians 1986","author":"M. Blum","year":"1987","unstructured":"Blum, Manuel: 1987, \u2018How to Prove a Theorem So No One Else Can Claim It\u2019, Proceedings of the International Congress of Mathematicians 1986, American Mathematical Society, Providence, RI, pp. 1444\u20131451."},{"key":"407081_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-010-2667-3_3","volume-title":"The Methodological Unity of Science","author":"J. Corcoran","year":"1973","unstructured":"Corcoran, John: 1973, \u2018Gaps Between Logical Theory and Mathematical Practice\u2019, in Mario Bunge (ed.), The Methodological Unity of Science, D. Reidel Publishing Co., Boston, pp. 23\u201350."},{"key":"407081_CR8","first-page":"939","volume-title":"Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences","author":"J. W. Dauben","year":"1994","unstructured":"Dauben, Joseph W.: 1994, \u2018Topology: Invariance of Dimension\u2019, Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences, I. Grattan-Guinness, Routledge, pp. 939\u2013946."},{"issue":"3","key":"407081_CR9","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1080\/00029890.1972.11993025","volume":"79","author":"P. J. Davis","year":"1972","unstructured":"Davis, Philip J.: 1972, \u2018Fidelity in Mathematical Discourse: Is One and One Really Two?\u2019, American Mathematical Monthly\n79(3), 252\u2013263.","journal-title":"American Mathematical Monthly"},{"key":"407081_CR10","first-page":"253","volume":"2","author":"J. W. Dawson","year":"1985","unstructured":"Dawson, John W.: 1985, \u2018The Reception of Godel's Incompleteness Theorems\u2019, PSA 1984, 2, 253\u2013271.","journal-title":"PSA 1984"},{"key":"407081_CR11","volume-title":"The Geometry of Ren\u00e9 Descartes","author":"R. Descartes","year":"1952","unstructured":"Descartes, Ren\u00e9: 1952, The Geometry of Ren\u00e9 Descartes, trans. David E. Smith and Marcia L. Latham, Open Court Publishing Company, La Salle, IL."},{"key":"407081_CR12","volume-title":"Selections","author":"R. Descartes","year":"1927","unstructured":"Descartes, Ren\u00e9: 1927, Selections, trans. Ralph M. Eaton, Charles Scribner's Sons, New York."},{"key":"407081_CR13","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-3-662-35358-5","volume-title":"Mathematics-The Music of Reason","author":"J. Dieudonn\u00e9","year":"1992","unstructured":"Dieudonn\u00e9, Jean: 1992, \u2018The Concept of \u201cRigorous Proof\u201d\u2019, Mathematics-The Music of Reason, Springer-Verlag, Berlin, pp. 235\u2013238."},{"key":"407081_CR14","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972","unstructured":"Enderton, Herbert B.: 1972, A Mathematical Introduction to Logic, Academic Press, San Diego."},{"issue":"4","key":"407081_CR15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.2307\/2940964","volume":"94","author":"D. Fallis","year":"1997","unstructured":"Fallis, Don: 1997, \u2018The Epistemic Status of Probabilistic Proof\u2019, Journal of Philosophy\n94(4), 165\u2013186.","journal-title":"Journal of Philosophy"},{"issue":"7","key":"407081_CR16","first-page":"743","volume":"42","author":"G. Faltings","year":"1995","unstructured":"Faltings, Gerd: 1995, \u2018The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles\u2019, Notices of the American Mathematical Society\n42(7), 743\u2013746.","journal-title":"Notices of the American Mathematical Society"},{"key":"407081_CR17","volume-title":"The Foundations of Arithmetic","author":"G. Frege","year":"1980","unstructured":"Frege, Gottlob: 1980, The Foundations of Arithmetic, 2nd edn., trans. J. L. Austin, Northwestern University Press, Evanston, IL.","edition":"2nd edn."},{"key":"407081_CR18","volume-title":"On Formally Undecidable Propositions of Principia Mathematica and Related Systems","author":"K. G\u00f6del","year":"1992","unstructured":"G\u00f6del, Kurt: 1992, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, trans. B. Meltzer, Dover Publications, New York."},{"key":"407081_CR19","volume-title":"The Psychology of Invention in the Mathematical Field","author":"J. Hadamard","year":"1945","unstructured":"Hadamard, Jacques: 1945, The Psychology of Invention in the Mathematical Field, Princeton University Press, Prentice."},{"issue":"7","key":"407081_CR20","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2026523","volume":"82","author":"J. Hardwig","year":"1985","unstructured":"Hardwig, John: 1985, \u2018Epistemic Dependence\u2019, Journal of Philosophy\n82(7), 335\u2013349.","journal-title":"Journal of Philosophy"},{"key":"407081_CR21","volume-title":"The Science of Computing","author":"D. Harel","year":"1989","unstructured":"Harel, David: 1989, The Science of Computing, Addison-Wesley, Reading, MA."},{"issue":"4","key":"407081_CR22","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF01273372","volume":"24","author":"R. Hersh","year":"1993","unstructured":"Hersh, Reuben: 1993, \u2018Proving Is Convincing and Explaining\u2019, Educational Studies in Mathematics\n24(4), 389\u2013399.","journal-title":"Educational Studies in Mathematics"},{"key":"407081_CR23","volume-title":"A Treatise of Human Nature","author":"D. Hume","year":"1967","unstructured":"Hume, David: 1967, in L. A. Selby-Bigge (ed.), A Treatise of Human Nature, Clarendon Press, Oxford."},{"issue":"3","key":"407081_CR24","first-page":"185","volume":"41","author":"A. Jackson","year":"1994","unstructured":"Jackson, Allyn: 1994, \u2018Update on Proof of Fermat's Last Theorem\u2019, Notices of the American Mathematical Society\n41(3), 185\u2013186.","journal-title":"Notices of the American Mathematical Society"},{"issue":"8","key":"407081_CR25","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1080\/00029890.1968.11971075","volume":"75","author":"R. B. Kershner","year":"1968","unstructured":"Kershner, R. B.: 1968, \u2018On Paving the Plane\u2019, American Mathematical Monthly\n75(8), 839\u2013844.","journal-title":"American Mathematical Monthly"},{"key":"407081_CR26","volume-title":"The Nature of Mathematical Knowledge","author":"P. Kitcher","year":"1984","unstructured":"Kitcher, Philip: 1984, The Nature of Mathematical Knowledge, Oxford University Press, New York."},{"key":"407081_CR27","first-page":"3","volume-title":"History and Philosophy of Modern Mathematics","author":"P. Kitcher","year":"1988","unstructured":"Kitcher, Philip and William Aspray: 1988, \u2018An Opinionated Introduction\u2019, in Philip Kitcher and William Aspray (eds.), History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 3\u201357."},{"key":"407081_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: The Logic of Mathematical Discovery","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, Imre: 1976, Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press, New York."},{"issue":"1","key":"407081_CR29","first-page":"33","volume":"12","author":"H. Lehman","year":"1980","unstructured":"Lehman, Hugh: 1980, \u2018An Examination of Imre Lakatos, Philosophy of Mathematics\u2019, The Philosophical Forum\n12(1), 33\u201348.","journal-title":"The Philosophical Forum"},{"issue":"2","key":"407081_CR30","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1093\/philmat\/4.2.174","volume":"4","author":"S. Mac Lane","year":"1996","unstructured":"Mac Lane, Saunders: 1996, \u2018Structure in Mathematics\u2019, Philosophia Mathematica (3)\n4(2), 174\u2013183.","journal-title":"Philosophia Mathematica (3)"},{"key":"407081_CR31","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2274520","volume":"53","author":"P. Maddy","year":"1988","unstructured":"Maddy, Penelope: 1988, \u2018Believing the Axioms\u2019, Journal of Symbolic Logic\n53, 481\u2013511, 736-764.","journal-title":"Journal of Symbolic Logic"},{"key":"407081_CR32","volume-title":"Euthyphro, Apology, Crito","author":"Plato","year":"1948","unstructured":"Plato: 1948, Euthyphro, Apology, Crito, trans. F. J. Church and Robert D. Cumming, Liberal Arts Press, New York."},{"key":"407081_CR33","volume-title":"Science and Method","author":"H. Poincar\u00e9","year":"1952","unstructured":"Poincar\u00e9, Henri: 1952, Science and Method, trans. Francis Maitland, Dover Publications, New York."},{"key":"407081_CR34","volume-title":"How To Solve It","author":"G. P\u00f3lya","year":"1957","unstructured":"P\u00f3lya, George: 1957, How To Solve It, 2nd edn., Princeton University Press, Princeton.","edition":"2nd edn."},{"key":"407081_CR35","volume-title":"Mathematics and Plausible Reasoning, Vol. 1","author":"G. P\u00f3lya","year":"1954","unstructured":"P\u00f3lya, George: 1954, Mathematics and Plausible Reasoning, Vol. 1, Princeton University Press, Princeton."},{"key":"407081_CR36","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0022-314X(80)90084-0","volume":"12","author":"M. O. Rabin","year":"1980","unstructured":"Rabin, M. O.: 1980, \u2018Probabilistic Algorithm for Testing Primality\u2019, Journal of Number Theory\n12, 128\u2013138.","journal-title":"Journal of Number Theory"},{"key":"407081_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4906-1","volume-title":"Hilbert-Courant","author":"C. Reid","year":"1986","unstructured":"Reid, Constance: 1986, Hilbert-Courant, Springer-Verlag, New York."},{"issue":"6","key":"407081_CR38","first-page":"575","volume":"40","author":"Ribet","year":"1993","unstructured":"Ribet, Kenneth A.: 1993, \u2018Wiles Proves Taniyama's Conjecture; Fermat's Last Theorem Follows\u2019, Notices of the American Mathematical Society\n40(6), 575\u2013576.","journal-title":"Notices of the American Mathematical Society"},{"key":"407081_CR39","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-1-4684-6686-7_16","volume-title":"The Mathematical Gardner","author":"D. Schattschneider","year":"1981","unstructured":"Schattschneider, Doris: 1981, \u2018In Praise of Amateurs\u2019, in Klarner and David A. Belmont (eds.), The Mathematical Gardner, Wadsworth International, Belmont, CA, pp. 140\u2013166."},{"key":"407081_CR40","volume-title":"The Tragedy of Julius Caesar","author":"W. Shakespeare","year":"1963","unstructured":"Shakespeare, William: 1963, The Tragedy of Julius Caesar, Signet Classic. New York."},{"key":"407081_CR41","volume-title":"Mathematical Logic","author":"Shoenfield","year":"1967","unstructured":"Shoenfield, Joseph R.: 1967, Mathematical Logic, Addison-Wesley, Reading, MA."},{"key":"407081_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1981-14858-8","volume":"4","author":"S. Smale","year":"1981","unstructured":"Smale, Steve: 1981, \u2018The Fundamental Theorem of Algebra and Complexity Theory\u2019, Bulletin of the American Mathematical Society\n4, 1\u201336.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"407081_CR43","volume-title":"Mathematical Knowledge","author":"M. Steiner","year":"1975","unstructured":"Steiner, Mark: 1975, Mathematical Knowledge, Cornell University Press, Ithaca, NY."},{"key":"407081_CR44","volume-title":"From Here to Infinity","author":"I. Stewart","year":"1996","unstructured":"Stewart, Ian: 1996, From Here to Infinity, Oxford University Press, New York."},{"key":"407081_CR45","volume-title":"A Source Book in Mathematics, 1200-1800","author":"D. J. Struik","year":"1969","unstructured":"Struik, D. J.: 1969, A Source Book in Mathematics, 1200-1800, Harvard University Press, Cambridge, MA."},{"key":"407081_CR46","volume-title":"Logic, Semantics, Metamathematics: Papers From 1923 to 1938","author":"A. Tarski","year":"1956","unstructured":"Tarski, Alfred: 1956, \u2018The Concept of Truth in Formalized Languages\u2019, Logic, Semantics, Metamathematics: Papers From 1923 to 1938, trans. J. H. Woodger, Clarendon Press, Oxford."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022131513275.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022131513275\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022131513275.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:56:50Z","timestamp":1754632610000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022131513275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":46,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["407081"],"URL":"https:\/\/doi.org\/10.1023\/a:1022131513275","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}