Publications HAL de Jean,Fichot

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
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
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
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
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
BibTex