Gödelova veta o neúplnosti
From Wikipedia, the free encyclopedia
Gödelova veta o neúplnosti je matematická veta.
V roku 1931 Kurt Gödel dokázal tzv. vetu o neúplnosti, ktorá odhalila hranice Hilbertovho programu.
Je to jedna z najvýznamnejších viet základného matematického výskumu. Z filozofického hľadiska je to rozhodujúca veta o podstate matematiky.