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

27 fiches trouvées

Reponses 21 à 27

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