Mots-clés – Auteurs

proposition indécidable

Il y a 28 résultats pour cette recherche

2021 Quadrature. N° 121. p. 14-20. Vers l’indécidabilité de la conjecture de Syracuse ?
Auteur : Rivollier Damien
2020 Tangente. N° 192. p. 32-33. Les théorèmes d’incomplétude de Gödel.
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
2019 Bibliothèque Tangente. N° 38. Edition 2019. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
Auteur : Lehning Hervé
2019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».
Auteur : Cori René
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
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. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
2013 Bibliothèque Tangente. N° 49. Le statut particulier des conjectures. p. 68-71.
Auteur : Justens Daniel
2010 Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2010 Bibliothèque Tangente. N° 38. La logique, entre quotidien, mathématiques et philosophie. p. 46-51.
Auteur : Lehning Hervé
2010 Bibliothèque Tangente. N° 38. Les théorèmes d’incomplétude de Kurt Gödel. p. 62-66.
Auteur : Sauvageot Myrto
2010 Tangente. N° 134. p. 34-36. Les maths stimulées par les conjectures.
Auteurs : Boulanger Philippe ; Lavallou François
2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2009 Tangente Hors-série. N° 38. p. 40-43. La logique, entre quotidien, mathématiques et philosophie.
Auteur : Lehning Hervé
2009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d’incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
2009 Tangente Hors-série. N° 38. Mathématiques et philosophie.
Auteur : Cohen Gilles. Dir.
2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
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
2006 Bibliothèque Tangente. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
Auteur : Cohen Gilles. Dir.
2002 Le théorème de Gödel.
Auteur : César Jean
1999 A history of algorithms: From the pebble to the microchip.
Auteurs : Borowczyk Jacques ; Chabert Jean-Luc ; Guillemot Michel ; Djebbar Ahmed ; Martzloff Jean-Claude ; Michel-Pajus Anne ; Weeks Chris. Trad.
1995 Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1995 Histoire d’algorithmes. Du caillou à la puce.
Auteurs : Borowczyk Jacques ; Chabert Jean-Luc ; Guillemot Michel ; Djebbar Ahmed ; Martzloff Jean-Claude ; Michel-Pajus Anne
1980 Le théorème de Gödel.
Auteur : César Jean