Proofs as Objects

Wilfried Sieg ()
Additional contact information
Wilfried Sieg: Carnegie Mellon University, Department of Philosophy

Chapter Chapter 9 in Axiomatic Thinking I, 2022, pp 165-183 from Springer

Abstract: Abstract The rigor of mathematics lies in its systematic organization that supports conclusive proofs of assertions on the basis of assumed principles. Proofs are constructed through thinking, but they can also be taken as objects of mathematical thought. That was the insight prompting Hilbert’s call for a "theory of the specifically mathematical proof" in 1917. This pivotal idea was rooted in revolutionary developments in mathematics and logic during the second half of the 19-th century; it also shaped the new field of mathematical logic and grounded, in particular, Hilbert’s proof theory. The derivations in logical calculi were taken as "formal images" of proofs and thus, through the formalization of mathematics, as tools for developing a theory of mathematical proofs. These initial ideas for proof theory have been reawakened by a confluence of investigations in the tradition of Gentzen’s work on natural reasoning, interactive verifications of theorems, and implementations of mechanisms that search for proofs. At this intersection of proof theory, interactive theorem proving, and automated proof search one finds a promising avenue for exploring the structure of mathematical thought. I will detail steps down this avenue: the formal representation of proofs in appropriate mathematical frames is akin to the representation of physical phenomena in mathematical theories; an important dynamic aspect is captured through the articulation of bi-directional and strategically guided procedures for constructing proofs.

Date: 2022
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-77657-2_9

Ordering information: This item can be ordered from
http://www.springer.com/9783030776572

DOI: 10.1007/978-3-030-77657-2_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().