Alfred Tarski

Biografie / Matematika

*14.1.1902 – †26.10.1983, polský logik a matematik, jeden z hlavních představitelů lvovsko-varšavské školy, od roku 1939 žil v USA. Zabýval se zejména axiomatickou teorií modelů, teorií pravdy a logického vyplývání, byl tvůrcem teorie sémantických modelů a zakladatelem formální sémantiky. Hlavní dílo: Logic, Semantics, Metamathematics (Logika, sémantika, metamatematika).

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

Odkazující hesla: Jacgues Herbrand, lvovsko-varšavská škola, sémantická definice pravdy.