Aide à la recherche   Requête : "proposition indécidable"

28 fiches trouvées

Reponses 1 à 20

1	2021 Quadrature. N° 121. p. 14-20. Vers l'indécidabilité de la conjecture de Syracuse ?
2	2020 Tangente. N° 192. p. 32-33. Les théorèmes d'incomplétude de Gödel.
3	2019 Bibliothèque Tangente. N° 38. Edition 2019. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
4	2019 Bibliothèque Tangente. N° 38. Edition 2019. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
5	2019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.
6	2018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".
7	2015 Bibliothèque Tangente. N° 55. Des calculs à n'en plus finir. p. 104-107.
8	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
9	2013 Bibliothèque Tangente. N° 49. Le statut particulier des conjectures. p. 68-71.
10	2013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
11	2010 Bibliothèque Tangente. N° 38. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
12	2010 Bibliothèque Tangente. N° 38. Les théorèmes d'incomplétude de Kurt Gödel. p. 62-66.
13	2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
14	2010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
15	2010 Tangente. N° 134. p. 34-36. Les maths stimulées par les conjectures.
16	2009 A la recherche de la preuve en mathématiques.
17	2009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
18	2009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
19	2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d'incomplétude de Kurt Gödel.
20	2006 Bibliothèque Tangente. N° 25. Grands mathématiciens modernes.