Jan Łukasiewicz

Biografie

[Lukaševič], *21.12.1878 – †13.2.1956, polský logik, profesor univerzity ve Lvově a Varšavě, v letech 1922–1923 a 1931–1932 rektor, akademik Polské AV (od roku 1937). Byl zakladatelem matematické logiky v Polsku, jedním z hlavních představitelů lvovsko-varšavské školy. Vytvořil první systém vícehodnotové logiky, rozpracoval originální jazyk pro formalizaci výrokové logiky (tzv. bezzávorkovou symboliku).

Vytvořeno: 14. 3. 2000
Aktualizováno: 12. 7. 2007
Autor: -red-

Odkazující hesla: lvovsko-varšavská škola, neklasické logiky.