Austrian mathematician, logician and philosopher known for contributions to proof theory, his incompleteness and completeness theorems, Gödel metric, Gödel numbering and more.
Austrian mathematician, logician and philosopher known for contributions to proof theory, his incompleteness and completeness theorems, Gödel metric, Gödel numbering and more.