Metadata
Author: WikiMatrix
Data
French[fr]
L'argument diagonal joue un rôle fondamental dans la solution du problème de l'arrêt, et dans la preuve du premier théorème d'incomplétude de Gödel.
Dutch[nl]
Zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de Gödels eerste onvolledigheidsstelling.