Jan Łukasiewicz-Twórca notacji polskiej (1920), podstawy odwrotnej notacji polskiej, sposobu zapisu wyrażeń arytmetycznych szeroko stosowanego w informatyce do dnia dzisiejszego.
Stanisław Leśniewski -autor teorii kategorii syntaktycznych, diagnozy paradoksów semantycznych przez odróżnienie języka od metajęzyka oraz pierwszej całkowicie poprawnej teorii definicji w systemach logicznych.
Marian Rejewski-wydedukował połączenia wewnętrzne jednego z wirników Enigmy. Zrekonstruował wewnętrzne połączenia Enigmy, co doprowadziło go wkrótce do odkrycia teoretycznej zasady jej działania i szybkiego odnalezienia metody odtwarzania kluczy depesz.
Stanisław Ulam-był twórcą metod numerycznych, na przykład metody Monte Carlo. Był też jednym z pierwszych naukowców, którzy wykorzystywali w swych pracach komputer.
Wacław Sierpiński-pozostawił olbrzymi dorobek naukowy, obejmujący, poza wieloma książkami, 724 prace i komunikaty, 113 artykułów i 13 skryptów. Prace te dotyczyły teorii liczb, analizy matematycznej, ogólnej i opisowej teorii mnogości, topologii mnogościowej, teorii miary i kategorii oraz teorii funkcji zmiennej rzeczywistej. Szczególne znaczenie mają jego prace na temat pewnika wyboru i hipotezy continuum.
Brak komentarzy:
Prześlij komentarz