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; considered to be one of the most important figure in mathematical logic in modern times.