Mots-clés – Auteurs

Gödel Kurt

Il y a 65 résultats pour cette recherche

2020 Histoires de Mathématiques. Logique. La crise des fondements.
Auteur : Ycart Bernard
2019 Le Beau Livre des Maths.
Auteurs : Pickover Clifford A. ; Guesnu Xavier. Trad. ; Escofier Jean-Pierre. Dir.
2019 Bibliothèque Tangente. N° 38. Edition 2019. Les théorèmes d’incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2017 Informatique céleste.
Auteur : Alizart Mark
2017 Le Point Références. N° 68. Comprendre les mathématiques.
Auteur : Golliau Catherine. Dir.
2016 Dieu est-il mathématicien ?
Auteurs : Livio Mario ; Witkowski Nicolas. Trad.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Tangente Hors-série. N° 55. p. 22-25. Kurt Gödel : le vrai et le démontrable.
Auteur : Justens Daniel
2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.
Auteur : Cohen Gilles. Dir.
2015 La logique pas à pas.
Auteur : Duparc Jacques
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel
2014 La déesse des petites victoires.
Auteur : Grannec Yannick
2014 La possibilité des nombres.
Auteur : Patras Frédéric
2012 La déesse des petites victoires.
Auteur : Grannec Yannick
2012 Héros pathétique de l’âge de l’information.
Auteurs : Conway Flo ; Siegelman Jim ; Vallée Robert. Préf. ; Rey Nicole. Trad.
2011 Justifier en mathématiques.
Auteurs : Flament Dominique. Dir. ; Nabonnand Philippe. Dir. ; Boniface Jacqueline. Collab. ; Ferreirós José. Collab. ; Gauthier Sébastien. Collab. ; Goldstein Catherine. Collab. ; Legris Javier. Collab. ; Volkert Klaus. Collab.
2011 Bulletin de l’APMEP. N° 492. p. 79-87. Les jeux diophantiens.
Auteur : Lafond Michel
2011 TOUT.
Auteur : Delahaye Jean-Paul
2011 Les savants fous.
Auteur : Lemire Laurent
2011 Bulletin de l’APMEP. N° 492. p. 78-78. Une BD étonnante sur des questions scientifiques fondamentales.
Auteur : Friedelmeyer Jean-Pierre
2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2010 Regards sur les textes fondateurs de la science. Vol. 1.
Auteur : Moatti Alexandre. Dir.
2010 Au nom de l’infini.
Auteurs : Kantor Jean-Michel ; Graham Loren ; Boulanger Philippe. Trad. ; Lafforgue Laurent. Préf.
2010 Feuille de vigne. N° 116.
Auteur : IREM de Dijon Feuille de Vigne. Dir.
2010 Feuille de Vigne. N° 116. p. 15-22. Les jeux diophantiens.
Auteur : Lafond Michel
2010 Bibliothèque Tangente. N° 38. Les théorèmes d’incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2010 Le Beau Livre des Maths.
Auteurs : Pickover Clifford A. ; Guesnu Xavier. Trad. ; Escofier Jean-Pierre. Trad.
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2010 Maths Europe Express.
Auteur : Pestel Marie-José. Dir.
2009 Histoire de la Théorie des Ensembles.
Auteur : Belna Jean-Pierre
2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d’incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.
Auteur : Lombardi Henri
2009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2008 Accromath. N° 3. Hiver-printemps 2008. p. 14-17. Preuves sans mots.
Auteur : Delahaye Jean-Paul
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.
Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2007 Accromath. N° 2. Hiver-printemps 2007. p. 18-25. Envolées intersidérales… à destination terrestre !
Auteur : Hodgson Bernard R.
2006 Bibliothèque Tangente. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2006 Tangente Hors-série. N° 25. p. 40-43. Kurt Gödel, un autrichien (pas si) complet.
Auteur : Odiffredi Piergiogio
2006 Bibliothèque Tangente. N° 25. Kurt Gödel, un autrichien (pas si) complet. p. 128-133.
Auteur : Odiffredi Piergiogio
2004 Les mathématiques plaisir et nécessité.
Auteurs : Ducrocq Albert ; Warusfel André
2004 Les Génies de la Science. N° 20. Gödel, logique à la folie.
Auteur : Guerrerio Gianbruno
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2002 Le calcul confié aux machines.
Auteur : Watier Guillaume
2002 Tangente. N° 88. p. 26-28. Mythe ou réalité ? Les savants fous.
Auteur : Zalmanski Alain
2002 L’intelligence et le calcul.
Auteur : Delahaye Jean-Paul
2000 Les mathématiques plaisir et nécessité.
Auteurs : Ducrocq Albert ; Warusfel André
2000 Opuscules. Découvrir l’arithmétique.
Auteur : Damphousse Pierre
1997 Maths pour tous. T. 8. Apprivoiser l’infini.
Auteurs : Deledicq André ; Casiro Francis
1997 L’infini en Mathématiques.
Auteur : Verdier Norbert
1997 Les Kangourous de Poincaré.
Auteur : Casiro Fabrice
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1993 Nouvelles orientations en philosophie des mathématiques.
Auteur : Müller Gert Heinz
1990 Actes de l’université d’été sur l’Histoire des Mathématiques. La Rochelle. 28 août – 2 septembre 1988.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1990 Actes de l’université d’été sur l’Histoire des Mathématiques. La Rochelle. Mathématiques constructives : hier et demain. p. 287-302.
Auteur : Lombardi Henri
1988 Bulletin de l’APMEP. N° 363. p. 135-150. Les avatars de l’axiome du choix. D’où vient-il ? Où se cache-t-il ? A quoi nous sert-il ?
Auteur : Bonnard Michel
1978 Nombre, mesure et continu.
Auteurs : Dhombres Jean ; Lichnérowicz André. Préf.
1977 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 2.
Auteur : Dhombres Jean
1976 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 1.
Auteur : Dhombres Jean
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred
1962 Lecture commentée d’une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l’axiome du choix et de l’hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
Auteurs : Balibar Jean ; Gödel Kurt
1962 Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).
Auteurs : Balibar Jean ; Gödel Kurt
1961 Bulletin de l’APMEP. N° 217. p. 11-26. Un exemple d’abstraction, de formalisme et de métathéorie.
Auteurs : Balibar Jean ; Gödel Kurt