Kurt Gödel/Definition
Jump to navigation
Jump to search
(1906-1978) Austrian born American mathematician, most famous for proving that in any logical system rich enough to describe naturals, there are always statements that are true but impossible to prove within the system.