logo

Video encyclopedia

28/04/1906 Austrian mathematician Kurt Gödel is born

15:00

Kurt Godel: The World's Most Incredible Mind (Part 1 of 3)

15:00

Kurt Godel: The World's Most Incredible Mind (Part 2 of 3)

14:55

Kurt Godel: The World's Most Incredible Mind (Part 3 of 3)

Gödel's main interests were logic and the foundations of mathematics. In 1931, he published his two incompleteness theorems that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic. To prove them, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
    • Essentials 

    • Personal 

    • Inventions or discoveries 

    • Also related