Kurt Gödel

Biografie / Matematika / Filozofie

[Gédel], *28.4. 1906 – †14.1.1978, rakouský logik a matematik původem z Brna; od roku 1940 působil v USA. Jeho hlavní práce jsou z oblasti obecných vlastností logických systémů a jejich formalizace. Výzkum omezenosti formálních soustav inspirovaný Gödelem vedl k formulaci filozofických závěru o nemožnosti úplné formalizace vědeckého poznání. Ve 30. letech byly jeho filozofické názory blízké novopozitivismu; později vystoupil s kritikou subjektivismu v interpretaci logiky.

Vytvořeno: 14. 3. 2000
Aktualizováno: 14. 7. 2006
Autor: -red-

Odkazující hesla: Anatolij Ivanovič Malcev, formalizace, kalkul, metateorie, rozhodnutelnost, Vídeňský kruh.