HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity

Abstract : Guided by a passage in Kreisel, this is a discussion of the relations between the phenomena in the title, with special attention to the method of analysis and synthesis in Greek geometry, fixed point theorems, and Kreisel's contact with Gödel.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03296950
Contributor : Mark van Atten Connect in order to contact the contributor
Submitted on : Monday, March 7, 2022 - 5:14:08 AM
Last modification on : Thursday, March 17, 2022 - 10:08:29 AM

File

natconstrproof6.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03296950, version 2

Citation

Mark van Atten. Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity. 2022. ⟨hal-03296950v2⟩

Share

Metrics

Record views

49

Files downloads

17