Edited by Gerhard Heinzmann & Jean-Jacques Szczeciniarz Jean-Jacques SZCZECINIARZ & Gerhard HEINZMANN Preface 3 Yacin HAMAMI Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference 7 Ramzi KEBAILI La rigueur mathématique chez Henri Poincaré 27 Giorgio VENTURI Foundation of Mathematics between Theory and Practice 45 Hourya BENIS SINACEUR Facets and Levels of Mathematical Abstraction 81 Iris LOEB & Stefan ROSKI The Transition from Formula-Centered to Concept-Centered Analysis Bolzano’s Purely…
ISBN: 978-2-84174-665-1
Année:
Nombre de pages: 210
Collection: Philosophia scientiae. Archives Henri Poincaré, Revues
Sous la direction de Gerhard Heinzmann et Emmanuel Rebuschi Gerhard Heinzmann & Manuel Rebuschi (Nancy) Introduction Emmanuel Barot (Paris) En quoi la crise des fondements des mathématiques est-elle terminée ? Denis Bonnay (Paris) Independence and Games. Pierre Cassou-Noguès (Lille) Le Temps, l’espace et la démonstration. De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege. Francien Dechesne (Tilburg) A Short Note on Falsity Conditions in IF-Logic. Antonino Drago (Naples)…
ISBN: 978-2-84174-379-9
Année:
Nombre de pages: 322
Collection: Philosophia scientiae. Archives Henri Poincaré, Revues
CAHIER SPECIAL 6 Editors : Gerhard Heinzmann and Giuseppina Ronzitti Gerhard Heinzmann : Foreword Giuseppina Ronzitti Herman Ruge Jervell : Constructing Ordinals Wim Veldman : Brouwer’s Real Thesis on Bars Hajime Ishihara : Reverse Mathematics in Bishop’s Constructive Mathematics Bianca Boretti : Equality in the Presence of Apartness: Sara Negri : An Application of Structural Proof Analysis to 1ntuitionistic Axiomatics Charles McCartv : At the Heart of Analysis: Intuitionism and…
ISBN: 978-2-84174-399-3
Année:
Nombre de pages: 134
Collection: Philosophia scientiae. Archives Henri Poincaré, Revues