Kurt (1906-78)
matematyk i logik amerykański, wykładał na uniw. w Wiedniu i Princeton; przeprowadził dowód, że każda teoria wystarczająco złożona, by być modelem arytmetycznym, nie może być równocześnie konsekwentna i kompletna; stworzył teorię funkcji rekursywnej; obalił projekt Russella, wyprowadzający matematykę z czystej logiki, oraz program Hilberta dowodzący konsekwentności matematyki; w rezultacie wstrząsnął jej podstawami.
KOŁO WIEDEŃSKIE, TARSKI
- LOGIKA MATEMATYCZNA, logistyka
- WYBORU AKSJOMAT, (mat.) aksjomat sformułowany...
- SCHLICK, Moritz (1882-1936)