Accueil Publimath  Aide à la recherche  Requête : "proposition indécidable"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
27 fiches trouvées Réponses 1 à 20 Suivant Fin

12021 Quadrature. N° 121. p. 14-20. Vers l'indécidabilité de la conjecture de Syracuse ?
22020 Tangente. N° 192. p. 32-33. Les théorèmes d'incomplétude de Gödel.
32019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques & philosophie.
42019 Bibliothèque Tangente. N° 38. Edition 2019. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
52019 Bibliothèque Tangente. N° 38. Edition 2019. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
62018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".Ressource en ligne
72015 Bibliothèque Tangente. N° 55. Des calculs à n'en plus finir. p. 104-107.
82015 Bibliothèque Tangente. N° 55. Les démonstrations.
92013 Bibliothèque Tangente. N° 49. Le statut particulier des conjectures. p. 68-71.
102013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
112010 Bibliothèque Tangente. N° 38. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
122010 Bibliothèque Tangente. N° 38. Maths & philosophie.
132010 Bibliothèque Tangente. N° 38. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
142010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
152010 Tangente. N° 134. p. 34-36. Les maths stimulées par les conjectures.
162009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
172009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d'incomplétude de Kurt Gödel.
182009 Tangente Hors-série. N° 38. Maths & philosophie.
192006 Bibliothèque Tangente. N° 25. Grands mathématiciens modernes.
202006 Bibliothèque Tangente. N° 25. Kurt Gödel, un autrichien (pas si) complet. p. 128-133.