Discussing Hilbert's 24th problem

References

• 1.
  Thiele R. 2003Hilbert's twenty-fourth problem. Am. Math. Mon. 110, 1–24. (doi:10.1080/00029890.2003.11919933) Crossref, ISI, Google Scholar
• 2.
  Hilbert D. 1901Mathematische Probleme. Arch. für Math. Phys., 3. Reihe 1, 44–63, 213–237. Google Scholar
• 3.
  Hilbert D. 1935Gesammelte Abhandlungen, Band III, 2nd edition 1970. Berlin, Germany: Springer. Google Scholar
• 4.
  Hilbert D. 1902Mathematical problems. Bull. Am. Math. Soc. 8, 437–479. Crossref, Google Scholar
• 5.
  Hilbert D. Mathematische Notizbücher. Niedersächsische Staats-und Universitätbibliothek Göttingen, Handschriftenabteilung, Cod. Ms. D. Hilbert 600:1–3. Google Scholar
• 6.
  Kahle R, Oitavem I. 2018What is Hilbert's 24th problem?Kairos 20, 1–11. (doi:10.2478/kjps-2018-0001) Crossref, ISI, Google Scholar
• 7.
  Scott CA. 1900The International Congress of Mathematicians in Paris. Bull. Am. Math. Soc. 7, 57–79. (doi:10.1090/S0002-9904-1900-00768-3) Crossref, Google Scholar
• 8.
  Hilbert D. 1918Axiomatisches Denken. Math. Ann. 78, 405–415. English translation: [9]. (doi:10.1007/BF01457115) Crossref, Google Scholar
• 9.
  Hilbert D. 1970Axiomatic thinking. Philos. Math. 7, 7–12. (doi:10.1093/philmat/s1-7.1-2.1) Google Scholar
• 10.
  Bernays P. 1967Hilbert, David. In The encyclopedia of philosophy (ed. P Edwards), pp. 496–505. New York, NY: Macmillan. Google Scholar
• 11.
  MacLane S. 1934Abgekürzte Beweise im Logikkalkul. Ph.D. thesis, Georg August-Universität zu Göttingen. Google Scholar
• 12.
  MacLane S. 1934Abbreviated proofs in logic calculus. Bull. Am. Math. Soc. 40, 37–38. Abstract. Google Scholar
• 13.
  MacLane S2005A mathematical autobiography. Wellesley, MA: A K Peters. Google Scholar
• 14.
  Bundy A, Atiyah M, Macintyre A, Mackenzie D (eds.) 2005Discussion meeting issue ‘The nature of mathematical proof’. Phil. Trans. R. Soc. A, 363, 2329–2461. Link, ISI, Google Scholar
• 15.
  Kahle R. 2015What is a proof?Axiomathes 25, 79–91. (doi:10.1007/s10516-014-9252-9) ISI, Google Scholar
• 16.
  Mancosu P. 2008Mathematical explanation: why it matters. In The philosophy of mathematical practice (ed. P Mancosu), pp. 134–149. Oxford, UK: Oxford University Press. Google Scholar
• 17.
  Kahle R, Schroeder-Heister P. 2006Proof-theoretic semantics—introduction. Synthese 148, 503–506. (doi:10.1007/s11229-004-6292-5) Crossref, ISI, Google Scholar
• 18.
  Schroeder-Heister P. 2016Proof-theoretic semantics. In The stanford encyclopedia of philosophy (ed. EN Zalta). Metaphysics Research Lab, Stanford University, winter 2016 edition. Google Scholar
• 19.
  Hilbert D. 1897Theorie der algebraischen Invarianten nebst Anwendungen auf Geometrie. Lecture notes from Summer 1897 prepared by Sophus Marxsen, Library of the Mathematical Institute of the University of Göttingen; English translation Theory of Algebraic Invariants (eds RC Laubenbacher, B Sturmfels) [using a different copy from the Mathematics Library of Cornell University], Cambridge University Press, Cambridge, 1993. Google Scholar
• 20.
  Aigner M, Ziegler GM2009Proofs from THE BOOK, 4th edn. Berlin, Germany: Springer. Google Scholar
• 21.
  Inglis M, Aberdein A. 2015Beauty is not simplicity: an analysis of mathematicians' proof appraisals. Philos. Math. 23, 87–109. (doi:10.1093/philmat/nku014) Crossref, ISI, Google Scholar
• 22.
  Gentzen G. 1969The present state of research into the foundations of mathematics. In The collected works of Gerhard Gentzen (ed. ME Szabo), Studies in Logic and the Foundations of Mathematics, pp. 234–251. North-Holland. English translation of [23]. Google Scholar
• 23.
  Gentzen G. 1938Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften Neue Folge 4, 5–18. Also in Deutsche Mathematik, 3:255–268, 1939. English translation [22]. Google Scholar
• 24.
  Kahle R. In press. Is there a ‘Hilbert Thesis’?Studia Logica 107. Special Issue on General Proof Theory. Thomas Piecha and Peter Schroeder-Heister (Guest Editors). (doi:10.1007/s11225-017-9776-2) Google Scholar
• 25.
  Avigad J. 2006Mathematical method and proof. Synthese 153, 105–149. (doi:10.1007/s11229-005-4064-5) Crossref, ISI, Google Scholar
• 26.
  Avigad J. In press. Modularity in mathematics. Rev. Symb. Logic. (10.1017/S1755020317000387) Google Scholar
• 27.
  Hughes D. 2006Proofs without syntax. Ann. Math. 143, 1065–1076. (doi:10.4007/annals) Crossref, ISI, Google Scholar
• 28.
  Hughes D. 2006Towards Hilbert's 24th problem: combinatorial proof invariants: (preliminary version). Electr. Notes Theor. Comput. Sci. 165, 37–63. (doi:10.1016/j.entcs.2006.05.036) Crossref, Google Scholar
• 29.
  Straßburger L. 2005What is a logic, and what is a proof? In Logica Universalis (ed. JY Beziau), pp. 135–145. Basel, Switzerland: Birkhäuser. Google Scholar
• 30.
  Straßburger L. 2006Proof nets and the identity of proofs. CoRRabs/cs/0610123. Google Scholar
• 31.
  Negri S, von Plato J2011Proof analysis – a contribution to Hilbert's last problem. Cambridge, UK: Cambridge University Press. Crossref, Google Scholar
• 32.
  Loomis ES1968The pythagorean proposition. Washington, DC: National Council of Teachers of Mathematics. Reprint of the 2nd edition from 1940. First published in 1927. Google Scholar
• 33.
  Pambuccian V. 1988Simplicity. Notre Dame J. Form. Logic 29, 396–411. (doi:10.1305/ndjfl/1093637936) Crossref, Google Scholar
• 34.
  Pambuccian V. 2011The simplest axiom system for plane hyperbolic geometry revisited. Stud. Log. 97, 347–349. (doi:10.1007/s11225-011-9314-6) Crossref, ISI, Google Scholar
• 35.
  Alama J. 2014The simplest axiom system for hyperbolic geometry revisited, again. Stud. Log. 102, 609–615. (doi:10.1007/s11225-013-9509-0) Crossref, ISI, Google Scholar
• 36.
  Thiele R, Wos L. 2002Hilbert's twenty-fourth problem. J. Automat. Reas. 29, 67–89. (doi:10.1023/A:1020537107897) Crossref, ISI, Google Scholar
• 37.
  Wos L, Pieper GW2003Automated reasoning and the discovery of missing and elegant proofs. Paramus, NJ: Rinton Press. Google Scholar
• 38.
  Bundy A, van Harmelen F, Hesketh J, Smaill A. 1991Experiments with proof plans for induction. J. Automat. Reason. 7, 303–324. (doi:10.1007/BF00249016) Crossref, Google Scholar
• 39.
  Hilbert D1910The foundations of geometry. Chicago, IL: Open Court. Google Scholar
• 40.
  Arana A. 2008Logical and semantic purity. ProtoSociology 25, 36–48. (doi:10.5840/protosociology2008253) Crossref, Google Scholar
• 41.
  Detlefsen M, Arana A. 2011Purity of methods. Philosophers' Imprint 11, 1–20. ISI, Google Scholar
• 42.
  Arana A. 2011L'infinité des nombres premiers : une étude de cas de la pureté des méthodes. Etudes Philos. 97, 193–213. (doi:10.3917/leph.112.0193) Google Scholar
• 43.
  Kahle R, Pulcini G. 2018Towards an operational view of purity. In The logica yearbook 2017 (eds P Arazim, T Lávička). London, UK: College Publications. Google Scholar
• 44.
  Arana A. 2017On the alleged simplicity of impure proof. In Simplicity: ideals of practice in Mathematics and the Arts (eds R Kossak, P Ording), pp. 205–226. Berlin, Germany: Springer. Google Scholar
• 45.
  Mancosu P. 2001Mathematical explanation: problems and prospects. Topoi 20, 97–117. (doi:10.1023/A:1010621314372) Crossref, ISI, Google Scholar
• 46.
  Vavilov N. 2019Reshaping the metaphor of proof. Phil. Trans. R. Soc. A 377, 20180279. (doi:10.1098/rsta.2018.0279) Link, Google Scholar
• 47.
  Pease A, Aberdein A, Martin U. 2019Explanation in mathematical conversations: an empirical investigation. Phil. Trans. R. Soc. A 377, 20180159. (doi:10.1098/rsta.2018.0159) Link, Google Scholar
• 48.
  Cain AJ. 2019Visual thinking and simplicity of proof. Phil. Trans. R. Soc. A 377, 20180032. (doi:10.1098/rsta.2018.0032) Link, Google Scholar
• 49.
  Rocha H. 2019Mathematical proof: from mathematics to school mathematics. Phil. Trans. R. Soc. A 377, 20180045. (doi:10.1098/rsta.2018.0045) Link, Google Scholar
• 50.
  Negri S, von Plato J. 2019From mathematical axioms to mathematical rules of proof: recent developments in proof analysis. Phil. Trans. R. Soc. A 377, 20180037. (doi:10.1098/rsta.2018.0037) Link, Google Scholar
• 51.
  Straßburger L. 2019The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem. Phil. Trans. R. Soc. A 377, 20180038. (doi:10.1098/rsta.2018.0038) Link, Google Scholar
• 52.
  Kinyon M. 2019Proof simplification and automated theorem proving. Phil. Trans. R. Soc. A 377, 20180034. (doi:10.1098/rsta.2018.0034) Link, Google Scholar
• 53.
  Pambuccian V. 2019Prolegomena to any theory of proof simplicity. Phil. Trans. R. Soc. A 377, 20180035. (doi:10.1098/rsta.2018.0035) Link, Google Scholar
• 54.
  Sieg W. 2019The Cantor–Bernstein theorem: how many proofs?Phil. Trans. R. Soc. A 377, 20180031. (doi:10.1098/rsta.2018.0031) Link, Google Scholar
• 55.
  Malheiro A, Reis JF. 2019Identification of proofs via syzygies. Phil. Trans. R. Soc. A 377, 20180275. (doi:10.1098/rsta.2018.0275) Link, Google Scholar