To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: (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. [d] [e]