Loading...
Please wait, while we are loading the content...
Similar Documents
From Foundations to Science : Justifying and Unwinding Proofs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kreisel, Georg |
| Copyright Year | 2009 |
| Abstract | The first part of this paper recapitulates the general scheme of using techniques developed for discredited foundational aims; specifically, proof theoretic techniques developed for carrying out HiIbert's programme. Since this programme relies on formalization, that is, mechanization, an obvious use is in the mechanical 'handling' of proofs. The second part of the paper considers three different kinds of 'handling:' finding, checking and unwinding (transforming) proofs. The principal, generally neglected conclusion is that mechanical unwinding presents the most promising application of proof theoretic techniques; particularly where the passage from the informal proof considered to a formalization of its relevant features is not particularly problematic. Examples of such cases are proposed. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://elib.mi.sanu.ac.rs/files/journals/zr/10/n010p063.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
