"Najwybitniejsi polscy informatycy"

 

Jan Łukasiewicz (ur. 21 grudnia 1878,zm. 13 lutego 1956) – polski logik i filozof, najbardziej znany z notacji i logiki Łukasiewicza. Urodził się we Lembergu, mieście galicyjskim austro-węgiersko-węgierskim (obecnie Lwów, Ukraina). Jego praca koncentrowała się na logice filozoficznej, logice matematyczneji historii logiki. Myślał innowacyjnie o tradycyjnej logice propositional, zasadzie braku sprzeczności i prawie wykluczonych środku. Współczesne prace nad logiką Arystotelesa opierają się na tradycji rozpoczętej w 1951 roku od ustanowienia przez Łukasiewicza rewolucyjnego paradygmatu. Podejście Łukasiewicza zostało ożywione na początku lat 70., w serii artykułów Johna Corcorana i Timothy'ego Smiley'a, które informują o współczesnych tłumaczeniach Prior Analytics Robina Smitha w 1989 roku i Gisela Striker w 2009 roku. Łukasiewicz uważany jest za jednego z najważniejszych historyków logiki.

Stanisław Leśniewski (1886-1939) był jednym z głównych założycieli i przeprowadzek szkoły logiki, która rozkwitła w Warszawie w okresie międzywojennym. Był pomysłodawcą niekonwencjonalnego systemu podstaw matematyki, opartego na trzech formalnych systemach: prototetycznym, logiki propozycji i ich funkcji; Ontologia: logika nazw i functors dowolnego porządku; i Mereologia, ogólna teoria części i całości. Jego troska o najwyższy rygor w formalizacji i realizacji logiki, w połączeniu z nominalnym odrzuceniem abstrakcyjnych istot, doprowadziła do precyzyjnej, ale bardzo nietypowej metalogicznej. Jego zwężenia dotyczące prawidłowego odróżniania używania od wzmianki o wyrażeniach, jego kanonach poprawnej definicji i jego mereologii, wszystkie poinformowały logiczny nurt, ale większość jego logicznych poglądów i innowacji nie została powszechnie przyjęta. Mimo to, jego wpływ jako nauczyciela i jako motor logicznych innowacji są powszechnie uznawane. Pozostaje jedną z najbardziej oryginalnych postaci logiki.

Marian Adam Rejewski (ur. 16 sierpnia 1905 w Bydgoszczy, zm. 13 lutego 1980 w Warszawie) – polski matematyk i kryptolog, który w 1932 roku złamał szyfr Enigmy, najważniejszej maszyny szyfrującej używanej przez hitlerowskie Niemcy, porucznik Armii Polskiej w Wielkiej Brytanii. Sukces Rejewskiego i współpracujących z nim kryptologów z Biura Szyfrów, między innymi Henryka Zygalskiego i Jerzego Różyckiego, umożliwił odczytywanie przez Brytyjczyków zaszyfrowanej korespondencji niemieckiej podczas II wojny światowej, przyczyniając się do wygrania wojny przez aliantów.

Stanisław Marcin Ulam (ur. 13 kwietnia 1909 we Lwowie, zm. 13 maja 1984 w Santa Fe w stanie Nowy Meksyk) – polski i amerykański (obywatelstwo amerykańskie przyjął w 1943) matematyk, przedstawiciel lwowskiej szkoły matematycznej, współtwórca amerykańskiej bomby termojądrowej. Ulam ma wielkie dokonania w zakresie matematyki i fizyki matematycznej w dziedzinach topologii, teorii mnogości, teorii miary, procesów gałązkowych. Ulam był także twórcą metod numerycznych, na przykład metody Monte Carlo. Był też jednym z pierwszych naukowców, którzy wykorzystywali w swych pracach komputer. Metody komputerowe zostały użyte przez Ulama do modelowania powielania neutronów oraz rozwiązania problemu drgającej struny zawierającej element nieliniowy (układ oscylujący Fermiego-Pasty-Ulama).

Wacław Franciszek Sierpiński (ur. 14 marca 1882 w Warszawie, zm. 21 października 1969 tamże) – polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej i twórców polskiej szkoły matematycznej. 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.