Mathematical method and proof (Q857692)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mathematical method and proof |
scientific article; zbMATH DE number 5080794
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mathematical method and proof |
scientific article; zbMATH DE number 5080794 |
Statements
Mathematical method and proof (English)
0 references
20 December 2006
0 references
The author discusses some aspects which are relevant to distinguish different proofs of the same theorem. As case studies, in the first part different proofs of three ``classical'' examples are analyzed: 1) Fermat primes; 2) products of sums of squares; 3) representability of sums of squares. In a second part it is shown how a certain concept of method (tactics) can be implemented -- or represented -- in the syntax of the proof system Isabelle [\textit{T. Nipkow, L. C. Paulson} and \textit{M. Wenzel}, Isabelle/HOL. A proof assistant for higher-order logic. Lect. Notes Comput. Sci. 2283. Berlin: Springer (2002; Zbl 0994.68131)].
0 references
Proof
0 references
Method
0 references
Tactics
0 references
0 references
0 references
0 references
