Accueil Publimath  Aide à la recherche  Requête : "théorème de complétude"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
19 fiches trouvées

12015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
22007 Les métamorphoses du calcul.
32004 Du mode d'existence des objets de la mathématique.
42004 Gödel.
52003 Sciences Sup. Logique mathématique. V. 1.
62002 Le théorème de Gödel.Ressource en ligne
72002 Théorèmes d'incomplétude de Gödel.
82001 La notion d'infini.
92000 Gödel, une révolution en Mathématiques.
101994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
111993 Logique mathématique. T. 1.
121990 Le logotron.Ressource en ligne
131989 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
141989 Le théorème de Gödel.
151980 Le théorème de Gödel.
161978 Nombre, mesure et continu.
171977 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 2.Ressource en ligne
181976 Histoire et philosophie des sciences : Etude épistémologique et historique des idées de nombre, de mesure et de continu. T. 1.Ressource en ligne
191971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne