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.