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; considered to be one of the most important figures in mathematical logic in modern times. [d] [e]
