Mots-clés – Auteurs

décidabilité et indécidabilité

Il y a 63 résultats pour cette recherche

2020 Around the Domino Problem – Combinatorial Structures and Algebraic Tools.
Auteur : Moutot Etienne
2019 Bibliothèque Tangente. N° 33. Edition 2019. L’invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
2019 Bibliothèque Tangente. N° 33. Edition 2019. Les nombres.
Auteur : Boulanger Philippe. Dir.
2018 Tangente Hors-série. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
2017 Bibliothèque Tangente. N° 61. Kurt Gödel et l’indécidabilité. p. 70-73.
Auteur : Lehning Hervé
2017 Bibliothèque Tangente. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2015 Tangente. N° 163. p. 10-12. Le génie interrompu d’Alan Turing.
Auteur : Bellaïche André
2014 Vidéo SMF – Un texte, un mathématicien. Le génie interrompu d’Alan Turing.
Auteur : Chazelle Bernard
2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
Auteur : Delaunay David
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.
Auteur : Cohen Gilles. Dir.
2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
2014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
Auteur : Delaunay David
2013 Destination Géométrie et topologie avec Thurston. Les tresses : de la topologie à la cryptographie. p. 27-43.
Auteur : Paris Luis
2013 Bibliothèque Tangente. N° 49. Algorithmes numériques impossibles. p. 58-62.
Auteur : Delahaye Jean-Paul
2013 Destination géométrie et topologie avec Thurston.
Auteur : Alvarez Aurélien. Dir.
2013 Bibliothèque Tangente. N° 48. L’invraisemblable nombre Omega. p. 116-119.
Auteur : Delahaye Jean-Paul
2013 Tangente. N° 155. p. 36-37. L’infini, c’est de l’hébreu.
Auteur : Cohen Gilles
2013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
Auteur : Cohen Gilles. Dir.
2013 Bibliothèque Tangente. N° 49. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
2012 La logique, un aiguillon pour la pensée.
Auteurs : Delahaye Jean-Paul ; Zwirn Hervé. Préf.
2012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
Auteur : Cohen Gilles. Dir.
2012 Tangente Hors-série. N° 48. p. 46-48. L’invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2011 Bulletin de l’APMEP. N° 492. p. 79-87. Les jeux diophantiens.
Auteur : Lafond Michel
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 Feuille de vigne. N° 116.
Auteur : IREM de Dijon Feuille de Vigne. Dir.
2010 Feuille de Vigne. N° 116. p. 15-22. Les jeux diophantiens.
Auteur : Lafond Michel
2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.
Auteur : Oumraou Lény
2009 Bulletin de l’APMEP. N° 484. p. 648-672. De la modélisation du monde au monde des modèles (1).
Auteur : Duperret Jean-Claude
2008 Tangente Hors-série. N° 33. p. 14-17. L’invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2008 Tangente Hors-série. N° 33. Nombres.
Auteur : Boulanger Philippe. Dir.
2008 Gödel, Escher, Bach : les brins d’une guirlande éternelle.
Auteurs : Hofstadter Douglas ; Henry Jacqueline. Trad. ; French Robert Mathew. Trad.
2008 Bibliothèque Tangente. N° 33. L’invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
2008 Bibliothèque Tangente. N° 33. Les nombres.
Auteur : Boulanger Philippe. Dir.
2008 CultureMATH. Pourquoi les mathématiques ?
Auteur : Goiffon Régis
2007 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu’on n’a jamais voulu vous révéler.
Auteur : Lacombe Daniel
2006 Pourquoi les Mathématiques ?
Auteurs : Centre Sciences CCSTI de la région Centre-Val de Loire. Dir. ; Darche Michel. Dir. ; Alarcon Minella. Dir. ; Chaleyat-Maurel Mireille. Dir. ; UNESCO . Dir. ; Artigue Michèle. Collab. ; Ruiz Mari-Jo. Collab. ; Akiyama Jin. Collab. ; Nara Chie. Collab. ; Sakaï Toshinori. Collab. ; Brette Jean. Collab. ; Tronel Gérard. Collab.
2005 Bibliothèque Tangente. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
2002 L’intelligence et le calcul.
Auteur : Delahaye Jean-Paul
2002 Le théorème de Gödel.
Auteur : César Jean
2002 Pour la Science. N° 295. p. 98-103. Les nombres oméga.
Auteur : Delahaye Jean-Paul
2000 Pour la Science. N° spécial. 278. Les infinis.
Auteur : Pour la Science Comité de rédaction. Dir.
2000 Tangente Hors-série. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2000 Pour la Science. N° spécial. 278. Les infinis. p. 102-106. L’infini est-il nécessaire ?
Auteur : Dehornoy Patrick
2000 Pour la Science. N° spécial. 278. Les infinis. p. 30-38. L’infini est-il paradoxal en mathématiques ?
Auteur : Delahaye Jean-Paul
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
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.
1996 Les philosophes et les mathématiques.
Auteurs : Barbin Evelyne. Dir. ; Caveing Maurice. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1996 Les philosophes et les mathématiques. Husserl et les mathématiques (1859-1938). p. 212-226.
Auteur : Desanti Jean-Toussaint
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
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1993 Démonstration et signification en mathématiques.
Auteur : Wallet Guy
1990 Le logotron.
Auteur : Petit Jean-Pierre
1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves
1989 Bulletin de l’APMEP. N° 369. p. 417-426. Pour une révolution de l’intelligence dans l’enseignement des mathématiques et ailleurs. (2)
Auteur : Dumont Marcel
1980 Le théorème de Gödel.
Auteur : César Jean