Prof. Jan Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski logik, matematyk, filozof. Jego praca O zasadzie sprzeczności u Arystotelesa
zapoczątkowała rozwój logiki matematycznej. Autor logiki trójwartościowej,
pierwszego nieklasycznego rachunku logicznego, na bazie którego powstały m.in.
logika modalna, logika probabilistyczna i logika rozmyta. Twórca notacji polskiej (1920), podstawy odwrotnej
notacji polskiej, sposobu zapisu wyrażeń arytmetycznych szeroko stosowanego w
informatyce do dnia dzisiejszego. Świat zna ten wynalazek pod nazwą Odwrotna
Notacja Polska (Reverse Polish Notation). Zapis ten pozwala na całkowitą
rezygnację z użycia nawiasów w wyrażeniach, jako że jednoznacznie określa
kolejność wykonywanych działań. RPN jest używana w niektórych językach
programowania (Forth, PostScript), w realizacji programowej arkuszy kalkulacyjnych
i kompilatorów języków programowania oraz w kalkulatorach naukowych firmy
Hewlett-Packard.
Brak komentarzy:
Prześlij komentarz