Logique et mathématique

Couverture
Page de titre
Copyright d'origine
INTRODUCTION
I. QU’EST-CE QUI FONDE LA CERTITUDE MATHÉMATIQUE ?
	La rigueur déductive
	L’évidence intuitive
II. LA SÉPARATION DE L’INTUITIF ET DU LOGIQUE
	Vérité mathématique et exigence formelle
	Le formalisme leibnizien
	Les géométries non euclidiennes
	Conséquences et problèmes
	Les axiomatiques
III. QU’EST-CE QUE LA LOGIQUE FORMELLE ?
	La théorie de l’inférence valide
	Niveaux du langage et formalisation
IV. LA CRISE DES FONDEMENTS
	Les antinomies
	Les réponses à la crise
	Les limites à la formalisation
	Interprétation et problèmes
	Démonstration et ontologie
CONCLUSION
BIBLIOGRAPHIE
	Pour une saisie des problèmes essentiels, des lectures indispensables :
	Pour approfondir :
Table des matières
Quatrième de couverture