problème de non-contradiction

Il y a 5 résultats avec cette recherche.

2002 Théorèmes d’incomplétude de Gödel.

Auteur : Royer Philippe
2001 Repères-IREM. N° 42.

Auteur : Repères-IREM Comité de rédaction. Dir.
2001 Repères-IREM. N° 42. p. 83-114. Derrière la droite, l’hyperplan.

Auteur : Maurel Maryse
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.