Jan Łukasiewicz
Stanisław Leśniewski
- (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik. Gimnazjalne wykształcenie otrzymał w 1904 na Syberii w Irkucku, a na studia uniwersyteckie wyjechał do Lipska, Heidelbergu i w 1909 do Monachium. Po studiach za granicą pojechał do Lwowa, by zrobić doktorat na tamtejszym uniwersytecie, gdzie kierownikiem katedry filozofii był Kazimierz Twardowski. W 1912 na podstawie pracy Przyczynek do analizy zdań egzystencjalnych obronił stopień doktora filozofii. Po wybuchu I wojny światowej w 1914 r. Leśniewski wyjechał do Rosji i przez kilka lat przebywał w Moskwie, pracując jako nauczyciel matematyki w polskim gimnazjum. W 1918 przeniósł się do Warszawy, został członkiem założonego w 1915 roku Warszawskiego Instytutu Filozoficznego. Na przełomie 1918 i 1919 pracował w Departamencie Wyznań Religijnych i Szkolnictwa Wyższego Ministerstwa Edukacji. W tym samym czasie wynikły poważne problemy z jego habilitacją, spowodowane sprzeciwem Mścisława Wartenberga ostatecznie uzyskał w habilitację, jednak nie we Lwowie, a w Warszawie. W 1919 został powołany na katedrę filozofii matematyki w Uniwersytecie Warszawskim. Jego prace obejmują stworzenie rachunku zdań – prototetyki, rachunku nazw – ontologii Leśniewskiego, ogólnej teorii zbiorów – mereologii. Wymienione systemy Leśniewskiego powstały w wyniku poszukiwań ugruntowania podstaw matematyki oraz w celu wyeliminowania antynomii z nauk dedukcyjnych. Systemy Leśniewskiego stanowią w logice wzór pod względem ścisłości i intuicyjności. W dorobku Leśniewskiego szczególnie warto również wymienić opracowanie teorii kategorii semantycznych, wprowadzenie rozróżnienia poziomów języka (na język i metajęzyk) oraz rozróżnienie zbiorów w sensie dystrybutywnym i kolektywnym. W 1936 Leśniewski został profesorem zwyczajnym. Zmarł trzy lata później po nieskutecznej operacji usunięcia nowotworu tarczycy. Został pochowany na Cmentarzu Powązkowskim.
Krótkie podsumowanie dokonań:
- Twórca najsłynniejszego zapisu w językach informatycznych (i++). Zamiast przy konstruowaniu pętli podstawowej konstrukcji w programowaniu informatycznym pisać : i = i + 1, piszemy i++ , i ten zapis przyspieszył wielokrotnie prace komputera a przede wszystkim prace tzw. jądra systemu operacyjnego.
Marian Rejewski
- (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).
Krótkie podsumowanie dokonań:
- Ulam był twórcą pierwszych metod numerycznych, np. metody Monte Carlo. Był też jednym z pierwszych naukowców, którzy wykorzystywali w swych pracach komputery.
Wacław Sierpiński
Brak komentarzy:
Prześlij komentarz