2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
proposition indécidable
Il y a 28 résultats avec cette recherche.
-
-
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.
-
Auteur : Lehning Hervé
-
2010 Bibliothèque Tangente. N° 38. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
Auteur : Lehning Hervé
-
2009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
Auteur : Lehning Hervé
-
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
-
2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d’incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
-
2010 Bibliothèque Tangente. N° 38. Les théorèmes d’incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
-
2006 Bibliothèque Tangente. N° 25. Kurt Gödel, un autrichien (pas si) complet. p. 128-133.
Auteur : Odiffredi Piergiogio
-
2020 Tangente. N° 192. p. 32-33. Les théorèmes d’incomplétude de Gödel.
Auteur : Lehning Hervé
-
2006 Tangente Hors-série. N° 25. p. 40-43. Kurt Gödel, un autrichien (pas si) complet.
Auteur : Odiffredi Piergiogio
-
2015 Bibliothèque Tangente. N° 55. Des calculs à n’en plus finir. p. 104-107.
Auteur : Ledent Jérémy
-
2013 Bibliothèque Tangente. N° 49. Le statut particulier des conjectures. p. 68-71.
Auteur : Justens Daniel
-
2010 Tangente. N° 134. p. 34-36. Les maths stimulées par les conjectures.
Auteurs : Boulanger Philippe ; Lavallou François