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

dans Afficher les fiches par  
61 fiches trouvées Début Précédent Réponses 41 à 60 Suivant Fin

412002 Le théorème de Gödel.Ressource en ligne
422002 Pour la Science. N° 295. p. 98-103. Les nombres oméga.Ressource en ligne
432000 Pour la Science. N° spécial. 278. Les infinis. p. 102-106. L'infini est-il nécessaire ?Ressource en ligne
442000 Pour la Science. N° spécial. 278. Les infinis. p. 30-38. L'infini est-il paradoxal en mathématiques ?Ressource en ligne
452000 Pour la Science. N° spécial. 278. Les infinis.
462000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
472000 Tangente Hors-série. N° 10. Mille ans d'histoire des mathématiques.
481999 A history of algorithms: From the pebble to the microchip.
491999 Information, complexité et hasard.
501996 Les philosophes et les mathématiques. Husserl et les mathématiques (1859-1938). p. 212-226.
511996 Les philosophes et les mathématiques.
521995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
531995 Histoire d'algorithmes. Du caillou à la puce.
541995 La machine de Turing.
551995 La machine de Turing.
561994 Information, complexité et hasard.
571993 Démonstration et signification en mathématiques.
581990 Le logotron.Ressource en ligne
591989 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)Ressource en ligne
601989 Le théorème de Gödel.