Metadata
Author: WikiMatrix
Data
English[en]
His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem.
Dutch[nl]
Zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de Gödels eerste onvolledigheidsstelling.