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