Liste fiches - Publimath

théorèmes d'incomplétude de Gödel

Il y a 74 résultats pour cette recherche

2024 Cosinus. N° 273. p. 14-21. Les théorèmes qui ont fait l'histoire des maths.
Auteur : Houlou-Garcia Antoine
2021 Précis de philosophie de la logique et des mathématiques. Vol. 1.
Auteurs : Wagner Pierre. Dir. ; Poggiolesi Francesca. Dir.
2020 Tangente. N° 192. p. 32-33. Les théorèmes d'incomplétude de Gödel.
Auteur : Lehning Hervé
2019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.
Auteur : Cohen Gilles. 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 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2017 Le Point Références. N° 68. Comprendre les mathématiques.
Auteur : Golliau Catherine. Dir.
2017 Bibliothèque Tangente. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2017 Bibliothèque Tangente. N° 61. Kurt Gödel et l'indécidabilité. p. 70-73.
Auteur : Lehning Hervé
2015 Tangente Hors-série. N° 55. Démontrer : l'art de convaincre.
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 La logique pas à pas.
Auteur : Duparc Jacques
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel
2013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
Auteur : Cohen Gilles. Dir.
2013 Tangente Hors-série. N° 49. Mathématiques de l'impossible.
Auteur : Cohen Gilles. Dir.
2013 Bibliothèque Tangente. N° 49. L'impossible de Gödel : la fin d'un rêve. p. 74-77.
Auteur : Boulanger Philippe
2013 Tangente Hors-série. N° 49. p. 36-38. L'impossible de Gödel : la fin d'un rêve.
Auteur : Boulanger Philippe
2012 La logique, un aiguillon pour la pensée.
Auteurs : Delahaye Jean-Paul ; Zwirn Hervé. Préf.
2012 Pour la Science. Dossier N° 74. p. 68-73. L'incomplétude, le hasard et la physique.
Auteur : Delahaye Jean-Paul
2011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.
Auteur : Lafond Michel
2011 TOUT.
Auteur : Delahaye Jean-Paul
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2010 Feuille de Vigne. N° 116. p. 15-22. Les jeux diophantiens.
Auteur : Lafond Michel
2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2010 Feuille de vigne. N° 116.
Auteur : IREM de Dijon Feuille de Vigne. Dir.
2010 Bibliothèque Tangente. N° 38. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2010 Mathématiques expérimentales.
Auteurs : Centre Sciences CCSTI de la région Centre-Val de Loire. Dir. ; Darche Michel. Dir.
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.
2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d'incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
2008 Revue d'Histoire des Mathématiques. N° 14. Vol. 1. p. 77-111. Gödel et la thèse de Turing.
Auteur : Cassou-Noguès Pierre
2008 CultureMATH. Pourquoi les mathématiques ?
Auteur : Goiffon Régis
2008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2006 Bibliothèque Tangente. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2006 Bibliothèque Tangente. N° 13. L'Infini.
Auteur : Casiro Francis. 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
2005 Bibliothèque Tangente. N° 10. Mille ans d'histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
2005 Vidéo de l'IREM de Paris - Conférences. Une remarque peu connue de Gödel (ou ce qu'on savait, ou plutôt ce qu'on ne savait pas...).
Auteur : Sabbagh Gabriel
2004 Gödel.
Auteur : Cassou-Noguès Pierre
2004 Les Génies de la Science. N° 20. Gödel, logique à la folie.
Auteur : Guerrerio Gianbruno
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. Le projet de Hilbert. p. 36-40.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
Auteur : Tollu Christophe
2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 28-30. Le projet de Hilbert.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
Auteur : Tollu Christophe
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2002 Le théorème de Gödel.
Auteur : César Jean
2002 Théorèmes d'incomplétude de Gödel.
Auteur : Royer Philippe
2000 Gödel, une révolution en Mathématiques.
Auteur : Delessert André
2000 Tangente Hors-série. N° 10. Mille ans d'histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.
Auteur : Sinaceur Hourya. Dir.
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 343-362. Frege's and Bolzano's rationalist conceptions of arithmetic.
Auteur : Chihara Charles
1998 PLOT. N° 84. p. 21-32. Les formalismes du hasard.
Auteur : Milgram Maurice
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1993 Nouvelles orientations en philosophie des mathématiques.
Auteur : Müller Gert Heinz
1990 Théorie physique et incomplétude au sens de Gödel.
Auteur : Ransford Emmanuel
1990 Le logotron.
Auteur : Petit Jean-Pierre
1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves
1980 PLOT. N° 11. p. 3-8. Une histoire édifiante.
Auteur : Ferrand Gérard
1980 Le théorème de Gödel.
Auteur : César Jean
1978 Abrégé d'histoire des mathématiques 1700-1900. II.
Auteur : Dieudonné Jean. Dir.
1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
Auteur : Guillaume Marcel