Publications HAL de Jean,Fichot

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