Mots-clés – Auteurs

problème de non-contradiction

Il y a 5 résultats pour cette recherche

2002 Théorèmes d’incomplétude de Gödel.
Auteur : Royer Philippe
2001 Repères-IREM. N° 42. p. 83-114. Derrière la droite, l’hyperplan.
Auteur : Maurel Maryse
2001 Repères-IREM. N° 42.
Auteur : Repères-IREM Comité de rédaction. Dir.
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.