|
Informatics Report Series
|
|
|
|
|
|
|
|
|
| Title:Psychological validity of schematic proofs |
| Authors:
Alan Bundy
; Mateja Jamnik
|
| Date:Feb 2005 |
| Publication Title:Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday |
| Publisher:Springer Verlag |
|
Publication Type:Book Chapter
Publication Status:Published
|
|
Volume No:LNCS 2605
Page Nos:321--341
|
|
ISBN/ISSN:978-3-540-25051-7
|
- 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.
- Copyright:
- 2005 by Springer Verlag. All Rights Reserved
- Links To Paper
- 1st Link
- Bibtex format
- @InBook{EDI-INF-RR-1257,
- author = {
Alan Bundy
and Mateja Jamnik
},
- title = {Psychological validity of schematic proofs},
- book title = {Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday},
- publisher = {Springer Verlag},
- year = 2005,
- month = {Feb},
- volume = {LNCS 2605},
- pages = {321--341},
- url = {http://www.springerlink.com/content/2lu077g6736bdl6t/},
- }
|
