Abstract
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern of proof from several examples of a family of proofs. In this paper we examine several interesting aspects of the use of schematic proofs in mathematics. Furthermore, we pose several conjectures about the psychological validity of the use of schematic proofs in mathematics. These conjectures need testing, hence we propose an empirical study which would either support or refute our conjectures. Ultimately, we suggest that schematic proofs are worthy of a closer and more detailed study and investigation.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baker, S., Ireland, A., Smaill, A.: On the use of the constructive omega rule within automated deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS (LNAI), vol. 624, pp. 214–225. Springer, Heidelberg (1992)
Jamnik, M., Bundy, A., Green, I.: On automating diagrammatic proofs of arithmetic arguments. Journal of Logic, Language and Information 8, 297–321 (1999)
Sundholm, B.: A Survey of the Omega Rule. PhD thesis, University of Oxford, Oxford, UK (1983)
Penrose, R.: Mathematical intelligence. In: Khalfa, J. (ed.) What is Intelligence?, Cambridge, UK, The Darwin College Lectures, pp. 107–136. Cambridge University Press, Cambridge (1994)
Lakatos, I.: Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, Cambridge (1976)
Jamnik, M.: Mathematical Reasoning with Diagrams: From Intuition to Automation. CSLI Press, Stanford (2001)
Gamow, G.: One two three.. infinity: Facts & Speculations of Science. Dover Publications, New York (1988)
Hilbert, D.: Über das Unendliche. Mathematische Annalen 95, 161–190 (1926)
Van Heijenoort, J. (ed.): From Frege to Gödel – A Source Book in Mathematical Logic, pp. 1879–1931. Havard University Press, Harvard (1967)
Hilbert, D.: Grundlagen der Geometrie. Teubner, Stuttgart (1899); English translation ’Foundations of Geometry’ published in 1902, by Open Court, Chicago
Kempe, A.: On the geographical problem of the four colours. American Journal of Mathematics 2, 193–200 (1879)
Mackenzie, D.: Mechanizing Proof. MIT Press, Boston (2001)
Appel, K., Haken, W.: Every planar map is four colorable. Bulletin of the American Mathematical Society 82, 711–712 (1976)
Poincaré, H.: Complément à l’analysis situs. Rendiconti del Circolo Matematico di Palermo 13, 285–343 (1899)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jamnik, M., Bundy, A. (2005). Psychological Validity of Schematic Proofs. In: Hutter, D., Stephan, W. (eds) Mechanizing Mathematical Reasoning. Lecture Notes in Computer Science(), vol 2605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32254-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-32254-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25051-7
Online ISBN: 978-3-540-32254-2
eBook Packages: Computer ScienceComputer Science (R0)