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.