Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity - CNRS - Centre national de la recherche scientifique Access content directly
Preprints, Working Papers, ... Year : 2023

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.
Fichier principal
Vignette du fichier
natconstrproof12-chicago-preprint.pdf (577.51 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03296950 , version 1 (23-07-2021)
hal-03296950 , version 2 (07-03-2022)
hal-03296950 , version 3 (30-07-2023)

Identifiers

  • HAL Id : hal-03296950 , version 3

Cite

Mark van Atten. Natural constructive proofs of A via A -> B, proof paradoxes, and impredicativity. 2023. ⟨hal-03296950v3⟩
144 View
253 Download

Share

Gmail Mastodon Facebook X LinkedIn More