Méthode axiomatique et formalisme LIVR, Essai sur le problème du fondement des mathématiques
20150504 frey50
= Paris
2-7056-5941-2
Ackermann--Méthode de valuation
Borel--Empirisme
Brouwer--Intuitionnisme
Dedekind
Desargues--Théorème de
Descartes--Etendue
Frege
Gentzen
Godel--Théorème de
Grassmann
Hankel
Herbrand--Théorème de
Hilbert
Kant--Schématisme--Intuition spatiale
Lebesgue--Nommable
Leibniz--Panlogisme
Loewenheim Skolem--Théorème de
Pasch--Géométrie projective
Russell
Von Neumann
EPISTEMOLOGIE
HISTOIRE DES MATHEMATIQUES
= Paris
2-7056-5941-2
Ackermann--Méthode de valuation
Borel--Empirisme
Brouwer--Intuitionnisme
Dedekind
Desargues--Théorème de
Descartes--Etendue
Frege
Gentzen
Godel--Théorème de
Grassmann
Hankel
Herbrand--Théorème de
Hilbert
Kant--Schématisme--Intuition spatiale
Lebesgue--Nommable
Leibniz--Panlogisme
Loewenheim Skolem--Théorème de
Pasch--Géométrie projective
Russell
Von Neumann
EPISTEMOLOGIE
HISTOIRE DES MATHEMATIQUES