Aide à la recherche   Requête : proposition indécidable

28 fiches trouvées

Reponses 21 à 28

21	2006 Bibliothèque Tangente. N° 25. Kurt Gödel, un autrichien (pas si) complet. p. 128-133.
22	2006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
23	2006 Tangente Hors-série. N° 25. p. 40-43. Kurt Gödel, un autrichien (pas si) complet.
24	2002 Le théorème de Gödel.
25	1999 A history of algorithms: From the pebble to the microchip.
26	1995 Histoire d'algorithmes. Du caillou à la puce.
27	1995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
28	1980 Le théorème de Gödel.