Gödel Kurt

Il y a 65 résultats avec cette recherche.

2015 Tangente Hors-série. N° 55. p. 22-25. Kurt Gödel : le vrai et le démontrable.

Auteur : Justens Daniel
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.

Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2014 La déesse des petites victoires.

Auteur : Grannec Yannick
2012 La déesse des petites victoires.

Auteur : Grannec Yannick
2002 Tangente. N° 88. p. 26-28. Mythe ou réalité ? Les savants fous.

Auteur : Zalmanski Alain
1997 L’infini en Mathématiques.

Auteur : Verdier Norbert
2007 Accromath. N° 2. Hiver-printemps 2007. p. 18-25. Envolées intersidérales… à destination terrestre !

Auteur : Hodgson Bernard R.
2008 Accromath. N° 3. Hiver-printemps 2008. p. 14-17. Preuves sans mots.

Auteur : Delahaye Jean-Paul
2011 Les savants fous.

Auteur : Lemire Laurent
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
2000 Opuscules. Découvrir l’arithmétique.

Auteur : Damphousse Pierre
2011 Bulletin de l’APMEP. N° 492. p. 78-78. Une BD étonnante sur des questions scientifiques fondamentales.

Auteur : Friedelmeyer Jean-Pierre
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
2017 Informatique céleste.

Auteur : Alizart Mark
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
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
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