Kurt Gödel
From Motley Bytes Wiki
Kurt Friedrich Gödel. (1906 - 1978). A German logician, mathematician, and philosopher. Considered to be one of the most significant logicians in history.
Noteworthy
- Incompleteness theorem
- Gödel's Loophole
- Constructible universe
- Gödel Numbering
- Gödel's speed-up theorem
- Dialectica interpretation
Controversies
- Religious and paranormal beliefs
- Gödel's ontological proof
- Slingshot argument