Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST
Hermann - 2013
Mécanique quantique : Du formalisme mathématique au concept philosophique
[s.n.]
Hermann - 2014
Philosophie de la mécanique quantique
Jean BRICMONT
Vuibert - 2009
Gödel
Pierre CASSOU-NOGUÈS
Les Belles Lettres - 2008
Cours sur les fondements des mathématiques : Cambridge, 1939
Cora DIAMOND
Trans-Europ-Repress - 1995
L’œuvre logique de Kurt Gödel (1929-1936)
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991
En quoi les jugements de probabilités sont-ils objectifs ?
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1989
Logique mathématique
[s.n.]
Hermann - 1976
Logique mathématique
Stephen Cole KLEENE
Armand Colin - 1971
Épistémologie mathématique
Henri LOMBARDI
Ellipses - 2011
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Sous la direction de Thierry MARTIN, Jacek MALINOWSKI
Springer Science+Business Media B.V. - 2009
Logique contemporaine et formalisation
Ludwig WITTGENSTEIN, Hervé P. ZWIRN, Thierry PAUL, et al.
Presses Universitaires de France - 1964