2013 Bibliothèque Tangente. N° 49. L'impossible de Gödel : la fin d'un rêve. p. 74-77.
Auteur : Boulanger Philippe
19
Il y a 13905 résultats pour cette recherche.
-
-
2013 Tangente Hors-série. N° 49. p. 36-38. L'impossible de Gödel : la fin d'un rêve.
Auteur : Boulanger Philippe
-
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
-
2004 Bibliothèque Tangente. N° 15. La logique.
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 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
-
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
-
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
-
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis
-
2020 Tangente. N° 192. p. 32-33. Les théorèmes d'incomplétude de Gödel.
Auteur : Lehning Hervé
-
1990 Le logotron.
Auteur : Petit Jean-Pierre
-
2021 Précis de philosophie de la logique et des mathématiques. Vol. 1.
Auteurs : Wagner Pierre. Dir. ; Poggiolesi Francesca. Dir.
-
2008 Losanges. N° 1. p. 48-51. Finale des OMB 2008 - 1re partie.
Auteur : Miéwis Jules
-
1991 L'Ouvert. N° 63. p. 8-10. Brève histoire des mathématiques.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
-
1991 Tangente. N° 19. p. 18-21. Eliminatoires individuelles du 5e championnat.
Auteur : Tangente Comité de rédaction. Dir.
-
2015 Quadrature. N° 95. p. 42-46. La fausse position chez quelques auteurs grecs.
Auteurs : Gavin Jérôme ; Schärlig Alain
-
2014 Sur les doigts, jusqu'à 9999.
Auteurs : Schärlig Alain ; Gavin Jérôme
-
Auteurs : Bair Jacques ; Henry Valérie
-
Auteurs : Bair Jacques ; Henry Valérie