Najwybitniejsi polscy informatycy

Jan Łukasiewicz

Jego praca O zasadzie sprzeczności u Arystotelesa zapoczątkowała rozwój logiki matematycznej. Był autorem logiki trójwartościowej, pierwszego nieklasycznego rachunku logicznego, na bazie którego powstały 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. Zapis ten pozwala na całkowitą rezygnację z użycia nawiasów w wyrażeniach, jako że jednoznacznie określa kolejność wykonywanych działań.

Łukasiewicz zaproponował też podział rozumowań logicznych na dedukcyjne i redukcyjne (zamiast tradycyjnych indukcyjnych), który jednak nie przyjął się szerzej.

Marian Rejewski

Złamał szyfr Enigmy, czyli maszyny, której Niemcy używali do szyfrowanie wiadomości.

Stanisław Ulam

Twórca pierwszych metod numerycznych takich jak Monte Carlo. W swych pracach wykorzystywał komputery jako jeden z nielicznych.

Wacław Sierpiński

Twórca:

• Przestrzeni Sierpińskiego
• Dywanu Sierpińskiego
• liczb Sierpińskiego
• Trójkąta Sierpińskiego

Stanisław Leśniewski

Twórca najsłynniejszego zapisu w językach informatycznych (i++). Zamiast pisać i= i+1 piszemy i++ , co wielokrotnie przyspiesza prace komputera, a najważniejsze pracę jądra systemu operacyjnego.