Kurt Friedrich Gödel byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filozofii matematiky. V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 svůj zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou. Wikipedia
© 1996–2025 Seznam.cz, a.s.