Roman Sikorski

Życiorys

Roman Sikorski - ur. 11 czerwca 1920 w Mszczonowie, zm. 12 września 1983 w Warszawie – polski matematyk, profesor Uniwersytetu Warszawskiego i Instytutu Matematycznego PAN, członek korespondent PAN, autor prac z logiki matematycznej (Algebry Boole'a), topologii, funkcji rzeczywistych, analizy funkcjionalnej (przestrzenie Banacha). Swoje studia rozpoczął w okresie II wojny światowej, z tego też powodu kształcił się na tajnych kompletach. Jego naukowy życiorys jest związany z Warszawą. Razem z Heleną Rasiową udowodnił twierdzenie, nazywane dziś lematem Rasiowej–Sikorskiego. Lemat ten posłużył im do konstrukcji nowego dowodu twierdzenia Gödla. Wspólnie z Rasiową napisał też monografię The Mathematics of metamathematics (Matematyka metamatematyki, 1963). Ponadto jest autorem monografii Boolean Algebras (Algebry Boole'a, 1960), pisał również podręczniki takie jak: Funkcje rzeczywiste (t I i II 1958-1959), Rachunek różniczkowy i całkowy. Funkcje wielu zmiennych (1967), Wstęp do geometrii różniczkowej (1972)

Złota myśl

• W matematyce raz udowodnione twierdzenie na zawsze zachowuje swoją prawdziwość. 
•  Matematyk naprawdę dobrze zna jakieś pojęcie gdy zapomni jego definicję, a mimo to umie je stosować.