Kurt Gödel
Kurt Gödel (1906-1978) egy cseh származású amerikai matematikus volt,
többek között logikával foglalkozott. Híres "eldönthetetlenségi elmélete"
- mely szerint minden szigorúan logikus matematikai rendszerben vannak
olyan állítások, amelyeknek az igaz vagy hamis volta nem igazolható a
rendszer axiómái alapján - először egy német műszaki folyóiratban jelent
meg, 1931-ben. Gödel ezenkívül geometriai modelleket fejlesztett ki
Einstein relativitás elméletéhez. Először a Bécsi Egyetemen dolgozott,
majd 1940-ben az USA-ba emigrált. Itt 1953-tól egészen haláláig
Princetonban az Institute for Advanced Study professzora volt.
Forrás: The Electronic Encyclopedia 1990. Grolier Electronic Publishing, Inc.