Accueil Publimath  Aide à la recherche  Requête : "décidabilité et indécidabilité"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
62 fiches trouvées Début Précédent Réponses 21 à 40 Suivant Fin

212012 La logique, un aiguillon pour la pensée.
222012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
232012 Tangente Hors-série. N° 48. p. 46-48. L'invraisemblable nombre Omega.
242011 Bulletin de l'APMEP. N° 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
252010 Feuille de Vigne. N° 116. p. 15-22. Les jeux diophantiens.
262010 Feuille de vigne. N° 116.Ressource en ligne
272010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
282009 Bulletin de l'APMEP. N° 484. p. 648-672. De la modélisation du monde au monde des modèles (1).Ressource en ligne
292009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.Ressource en ligne
302008 Bibliothèque Tangente. N° 33. L'invraisemblable nombre Omega. p. 72-77.
312008 Bibliothèque Tangente. N° 33. Les nombres.
322008 CultureMATH. Pourquoi les mathématiques ?Ressource en ligne
332008 Gödel, Escher, Bach : les brins d'une guirlande éternelle.
342008 Tangente Hors-série. N° 33. Nombres.
352008 Tangente Hors-série. N° 33. p. 14-17. L'invraisemblable nombre Omega.
362007 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.Ressource en ligne
372006 Pourquoi les Mathématiques ?Ressource en ligne
382005 Bibliothèque Tangente. N° 10. Mille ans d'histoire des mathématiques.
392005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
402003 Leçons de mathématiques d'aujourd'hui. Vol. 2.