Mechanizing Mathematical Reasoning pp 321-341

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2605)

Psychological Validity of Schematic Proofs

  • Mateja Jamnik
  • Alan Bundy
Chapter

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mateja Jamnik
    • 1
  • Alan Bundy
    • 2
  1. 1.University of Cambridge Computer LaboratoryCambridgeEngland, UK
  2. 2.Centre for Intelligent Systems and their Applications, Division of InformaticsUniversity of EdinburghEdinburgh, ScotlandUK

Personalised recommendations