Gödel
Gödel [gé-] Kurt . 28. 4. 1906 - 14. 1. 1978, rak. logik a matematik pův. z Brna; od 1940 působil v USA. Jeho hl. práce jsou z oblasti obecných vlastností log. systémů a jejich formalizace. Výzkum omezenosti formálních soustav inspirovaný G. vedl k formulaci filoz. závěru o nemožnosti úplné formalizace věd. poznání. Ve 30.letech byly jeho filoz. názory blízké novopozitivismu; později vystoupil s kritikou subjektivismu v interpretaci logiky.
