Advanced Calculus Functions of Several Variables

Advanced Calculus Functions of Several Variables - Roman Sikorski

Roman Sikorski – polski matematyk, profesor Uniwersytetu Warszawskiego i Instytutu Matematycznego PAN, członek rzeczywisty PAN, autor prac z logiki matematycznej, algebr Boole’a, topologii, funkcji rzeczywistych, analizy funkcjonalnej, oryginalne ujęcie teorii dystrybucji.

Swoje studia rozpoczął w okresie II wojny światowej, był żołnierzem Armii Krajowej, aresztowany, ukrywał się. Kształcił się na tajnych kompletach, kończąc studia na Uniwersytecie Warszawskim w 1947, ale już wcześniej prowadził zajęcia dla studentów od 1945. W 1948 przebywał 8 miesięcy na stypendium w Zurychu, gdzie napisał pracę doktorską, w której udowodnił twierdzenie, nazwane później twierdzeniem Loomisa-Sikorskiego o reprezentowalności {\displaystyle \sigma }-algebr Boole'a.

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).