Accueil Publimath  Aide à la recherche  Requête : "proposition indécidable"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
27 fiches trouvées Début Précédent Réponses 21 à 27

212006 Tangente Hors-série. N° 25. p. 40-43. Kurt Gödel, un autrichien (pas si) complet.
222006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
232002 Le théorème de Gödel.Ressource en ligne
241999 A history of algorithms: From the pebble to the microchip.
251995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
261995 Histoire d'algorithmes. Du caillou à la puce.
271980 Le théorème de Gödel.