He cracked the very code of logic itself, forever changing mathematics and our perception of reality. We're talking about Kurt Friedrich Gödel, whose revolutionary incompleteness theorems rocked the foundations of symbolic logic in 1931. In essence, Gödel proved that any robust formal system - be it arithmetic, geometry or set theory - must contain statements that are unprovable within that system.

But Gödel didn't stop there. Among his reality-bending discoveries, he also described a possible cosmos where time travel might be permissible, according to Einstein's field equations. His life was a paradox in itself - an eccentric prone to fasting for weeks, terrified of being poisoned, yet blessed with flawless intuition about the limits of human knowledge.