2021
Chapitre d'ouvrage
- ref_biblio
- Jean Fichot, Alberto Naibo. Qu'est-ce qu'une démonstration ?. Francesca Poggiolesi; Pierre Wagner. Précis de philosophie de la logique et des mathématiques, 1, Éditions de la Sorbonne, pp.49--108, 2021, Philosophie de la logique., 979-10-351-0631-7. ⟨halshs-03505337⟩
- Accès au bibtex
-
- ref_biblio
- Jean Fichot, Alberto Naibo. Qu'est-ce qu'une démonstration ?. Francesca Poggiolesi; Pierre Wagner. Précis de philosophie de la logique et des mathématiques, 1, Éditions de la Sorbonne, pp.49--108, 2021, Philosophie de la logique., 979-10-351-0631-7. ⟨hal-03979152⟩
- Accès au bibtex
-
2013
Chapitre d'ouvrage
- ref_biblio
- Jean Fichot. Proof theoretic semantics and feasibility. Shahid Rahman, John Symons (éds.). Computability and Constructivity, Springer, 2013, Logic, Epistemology, and the Unity of Science. ⟨halshs-00775682⟩
- Accès au bibtex
-
2012
Communication dans un congrès
- ref_biblio
- Jean Fichot. Preuves, réfutations et contre-exemples. Science, Philosophie, Société : IVe Congrès de la Société de Philosophie des Sciences (SPS), Jun 2012, Montréal, Canada. ⟨halshs-00775683⟩
- Accès au bibtex
-
2007
Communication dans un congrès
- ref_biblio
- Jean Fichot. Gödel, constructivity, impredicativity and feasibility. 1907-2007 : Cent ans d'intuitionnisme, Jun 2007, Cerisy, France. pp.198-213. ⟨halshs-00775665⟩
- Accès au bibtex
-