Jan Lukasiewicz
Jan Łukasiewicz (21 prosince, 1878 - 13 února, 1956) byl matematik narozen v Lvov. Jeho hlavní matematická práce se soustředila na formální logiku. On myslel innovatively o tradiční logika propositional, princip non-rozpor a Právo vyloučeného středa. Łukasiewicz pracoval na multi-cenil logics, včetně jeho vlastní tři-cenil počet propositional, první non-klasický logický počet. On je zodpovědný za jeden z nejelegantnějších axiomatizations klasické propositional logiky; to má právě tři axiómy a je jeden z nejvíce použitého axiomatizations dnes. On také honil filozofii, přibližující se lidské aspekty vědecké teorie-výroba se nápady podobnými těm Karl Popper.Łukasiewicz je Polská notace 1920 byl u kořenu myšlenky na rekurzivní hromadu minule-v, nejprve-ven počítačový pamětový obchod vynalezl Charles Hamblin Nová jižní Wales univerzita technologie (NSWUT), a nejprve splnil v roce 1957. Tento design vedl k anglickému elektrickému multi-naprogramovaný KDF9 počítačový systém 1963, který měl dvě takové hardwarové registrové hromady. Podobné pojetí underlies Obrácenou polskou notaci (nebo postfixová notace) Hewlett Packard kalkulaček.
| Tabulka s obsahem |
| 1 události života 2 vnější spojení 3 číst |
- 1878 Born
- 1890-1902 studuje s Kazimierz Twardowski v Lvov
- 1902 doktorátu (matematika a filozofie), univerzita Lvov s nejvyšším vyznamenáním možný
- 1906 Habilitation teze vyplněný, univerzita Lvov
- 1906 se stane odborným asistentem
- 1910 esejů o principu non-rozpor a vyloučený střed
- 1911 neobyčejného profesora na Lvov
- 1915 pozvaný k nově reopend univerzitě Varšavy
- 1916 nového království Polska deklarovalo
- 1917 se vyvíjí tři-cenil počet propositional
- 1919 polského ministra vzdělání
- 1920-39 profesor na varšavské univerzitě založí s Stanislaw Leśniewski Varšava škola logiky (vidět také Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
- ???? si vezme Reginu Barwinska
- 1946 vyhnanství v Belgii
- 1946 nabídl židli Univerzitou Dublina
- 1953 píše autobiografie
- 1956 zemře v Dublinu
Externí odkazy
Reading
- Aristotle a Łukasiewicz na principu rozporu, ed. Frederick Seddon (moderní logika, 1996) ASIN 1884905048
- Filozofická logika v Polsku, ed. Jan Wolenski (Kluwer, 1994) ISBN 0792322932