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.