Fiche du document
Auteur
Date
2023
Discipline
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.jwmzc3
- hal: hal-04321651
Source
Collection
Organisation
Mots-clés
analysis and synthesis Brouwer constructivity fixed points formal proof Gödel Goodman Greek geometry Heyting implication impredicativity informal proof intuitionistic logic Kreisel Lawvere's Fixed Point Theorem natural deduction paradoxes proof Proof Explanation Troelstra analysis and synthesis Brouwer constructivity fixed points formal proof Gödel Goodman Greek geometry Heyting implication impredicativity informal proof intuitionistic logic Kreisel Lawvere's Fixed Point Theorem natural deduction paradoxes proof Proof Explanation TroelstraSujets proches
ProofCiter ce document
Mark van Atten, « Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity », HAL-SHS : philosophie, ID : 10670/1.jwmzc3
Métriques
Partage / Export
Résumé
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, Lawvere's Fixed Point theorem, and Kreisel's contact with Gödel.