CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 273 p.
ISBN 978-2-8417-4372-8

Philosophia scientiae , 0005

Localisation : Salle de manutention

histoire des mathématiques # épistémologie # mathématique Grecques # théorie des types # fondement des mathématiques # preuve algébrique # Hindenburg # Grassman # Ausdehnungslehre # leopold Kronecker # Cantor #perspective hétérodoxe # Russell # Zermelo # théorie des ensembles # Hilbert # L.E.J. Brouwer # Roger Apéry # E. Nelson # G. Reeb

Documents

Thesaurus

Revues

Documents 03-03 | enregistrements trouvés : 102

Fonder autrement les mathématiques Nabonnand, Philippe | Editions Kimé 2005 Nouveau

Cahiers du Séminaire d'histoire des mathématiques 1991 2èmè série Vol. I Université Pierre et Marie Curie | Université Pierre et Marie Curie, Laboratoire de mathématiques fondamentales 1991 Nouveau

Algebra and logicpapers from the 1974 summer Research Institute of the Australian Mathematical Societyheld at Monash UniversityClayton Jan. 6 - Fev. 16 Crossley, J. N. | Springer-Verlag 1975 Nouveau

Perspectives on the history of mathematical logicspecial session on the history of logic at the american mathematical society's meeting in march Drucker, Thomas | Birkhäuser 1991 Nouveau

Logic,methodology and philosophy of science viiproceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau

Mathematical logic,the theory of algorithms and the theory of setsdedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Foundations of probability theory,statistical inference,and statistical theories of science. Vol. 1proceedings of an international research colloquium held at the university of western ontario,london,canada,10- 13 may,1973 Harper, W. L. ; Hooker, C. A. | D. Reidel Publisher Co. 1976 Nouveau

Contributions to the history of number theory in the 20th century Roquette, Peter | European Mathematical Society 2013 Nouveau

Logicomix Doxiadis, Apostolos ; Papadimitriou, Christos ; Papadatos, Alecos ; Di Donna, Annie ; Dauzat, Pierre-Emmanuel | Vuibert 2010 Nouveau

Histoire de la logique Belna, Jean-Pierre | Ellipses 2014 Nouveau

Le théorème de Gödel Nagel, Ernest ; Newman, James R. ; Godel, Kurt ; Girard, Jean-Yves ; Scherrer, Jean-Baptiste | Editions Du Seuil 1989 Nouveau

Proofs of the Cantor-Bernstein theorem:a mathematical excursion Hinkis, Arie | Birkhäuser 2013 Nouveau

Hilbert's programs and beyond Sieg, Wilfried | Oxford University Press 2013 Nouveau

The philosophy of mathematical practice Mancosu, Paolo | Oxford University Press 2011 Nouveau

Les démons de Gödel:logique et folie Cassou-Noguès, Pierre | Editions Du Seuil 2007 Nouveau

Henri Poincaré:impatient genius Verhulst, Ferdinand | Springer 2012 Nouveau

Alan Turing's systems of logic: the Princeton thesis Turing, Alan ; Appel, Andrew W. | Princeton University Press 2012 Nouveau

Wadge degrees and projective ordinals:the cabal seminar, Volume II Kechris, Alexander S. ; Löwe, Benedikt ; Steel, John R. | Cambridge University Press;Association for Symbolic Logic 2012 Nouveau

Excursions in the history of mathematics Kleiner, Israel | Birkhäuser 2012 Nouveau

Mathematics in Victorian Britain Flood, Raymond ; Rice, Adrian ; Wilson, Robin | Oxford University Press 2011 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Algebra and logic
papers from the 1974 summer Research Institute of the Australian Mathematical Society
held at Monash University
Clayton
Jan. 6 - Fev. 16 Crossley, J. N. | Springer-Verlag 1975 Nouveau

Perspectives on the history of mathematical logic
special session on the history of logic at the american mathematical society's meeting in march Drucker, Thomas | Birkhäuser 1991 Nouveau

Logic,methodology and philosophy of science vii
proceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau

Mathematical logic,the theory of algorithms and the theory of sets
dedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Foundations of probability theory,statistical inference,and statistical theories of science. Vol. 1
proceedings of an international research colloquium held at the university of western ontario,london,canada,10- 13 may,1973 Harper, W. L. ; Hooker, C. A. | D. Reidel Publisher Co. 1976 Nouveau

Proofs of the Cantor-Bernstein theorem:
a mathematical excursion Hinkis, Arie | Birkhäuser 2013 Nouveau

Les démons de Gödel:
logique et folie Cassou-Noguès, Pierre | Editions Du Seuil 2007 Nouveau

Henri Poincaré:
impatient genius Verhulst, Ferdinand | Springer 2012 Nouveau

Alan Turing's systems of logic:
the Princeton thesis Turing, Alan ; Appel, Andrew W. | Princeton University Press 2012 Nouveau

Wadge degrees and projective ordinals:
the cabal seminar, Volume II Kechris, Alexander S. ; Löwe, Benedikt ; Steel, John R. | Cambridge University Press;Association for Symbolic Logic 2012 Nouveau