 Andrzej Mostowski (1973) | |
| Data i miejsce urodzenia |
1 listopada 1913 |
|---|---|
| Data i miejsce śmierci |
22 sierpnia 1975 |
| Zawód, zajęcie |
matematyk |
Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver[1]) – polski matematyk zajmujący się głównie fundamentami matematyki, przedstawiciel warszawskiej szkoły matematycznej. Ojciec Tadeusza Mostowskiego i Jana Mostowskiego.
Syn Stanisława. W 1931 roku ukończył gimnazjum im. Stefana Batorego w Warszawie i wstąpił na Uniwersytet Warszawski, gdzie studiował pod kierunkiem Tarskiego, Kuratowskiego i Lindenbauma. Doktoryzował się w 1938 roku na podstawie rozprawy O niezależności definicji skończoności w systemie logiki napisanej pod kierunkiem Kuratowskiego i Tarskiego.
Po inwazji niemieckiej w 1939 na Polskę pracował jako księgowy. W latach 1942–1944 uczył na Tajnym Uniwersytecie Warszawskim.
We wrześniu 1944 roku ożenił się z Marią Matuszewską. Po powstaniu warszawskim Niemcy chcieli wysłać go do obozu koncentracyjnego, ale dzięki pomocy pielęgniarek ukrył się w szpitalu.
Habilitował się w 1945 na Uniwersytecie Jagiellońskim. Od 1946 aż do śmierci pracował na Uniwersytecie Warszawskim; od 1947 jako profesor nadzwyczajny na tej uczelni, a od 1951 jako profesor zwyczajny.
W roku akademickim 1948/1949 pracował w Instytucie Studiów Zaawansowanych w Princeton, w 1958–1959 wykładał na Uniwersytecie Kalifornijskim w Berkeley, a w 1969–1970 w All Souls College w Oksfordzie w Wielkiej Brytanii.
Został odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski (1954)[2].
W 1956 został członkiem korespondentem, a w 1963 członkiem rzeczywistym Polskiej Akademii Nauk; w 1973 został członkiem Fińskiej Akademii Nauk.
W latach 1945–1975 (to znaczy od końca II wojny światowej do swej śmierci) Mostowski był uczonym, wokół którego środkowały się badania podstaw matematyki w Polsce. Oprócz swoich uczniów, przede wszystkim na Uniwersytecie Warszawskim i w Instytucie Matematycznym Polskiej Akademii Nauk, Mostowski współpracował z wszystkimi polskimi grupami badaczy podstaw, tak matematyki, jak i innych dziedzin ścisłych (np. informatyki) czy filozofii. Książka Andrzej Mostowski and Foundational Studies[3] zawiera szereg artykułów i wspomnień poświęconych Mostowskiemu.
Mostowski był promotorem rozpraw doktorskich wielu polskich logików, doktoryzowali się u niego Zofia Adamowicz, Krzysztof Apt, Maciej Bryński, Andrzej Ehrenfeucht, Andrzej Grzegorczyk, Wojciech Guzicki, Andrzej Janiczak, Stanisław Krajewski, Michał Krynicki, Wiktor Marek, Janusz Onyszkiewicz, Helena Rasiowa, Roman Sikorski, Kazimierz Wiśniewski oraz Paweł Zbierski[a].
Mostowski był autorem ponad 100 publikacji naukowych, z których najważniejsze zostały w 1979 opublikowane w dwutomowym wydaniu Dzieł wybranych:
Mostowski był też autorem kilku monografii i podręczników akademickich, w tym
Osiągnięcia naukowe Andrzeja Mostowskiego zaliczają się głównie do podstaw matematyki i należą przede wszystkim do następujących dziedzin.
W dziedzinie podstaw teorii mnogości Mostowski badał zależności pomiędzy rozmaitymi formułami teoriomnogościowymi, w szczególności formami tzw. pewnika wyboru postulującego istnienie selektora dla rodzin zbiorów niepustych. W pierwszej połowie XX w. aksjomat ten budził kontrowersje ze względu na brak określenia konstruktywnych technik znajdowania selektora. (Dziś, w wieku XXI, na ogół nie jest już traktowany jako tak kontrowersyjny.) Istotnym problemem badawczym teorii mnogości, do mniej więcej roku 1970, były zależności pomiędzy różnymi formami aksjomatu wyboru. Aksjomat ten jest równoważny następującej własności zbiorów: każdy zbiór może być dobrze uporządkowany. Słabszą formą tego zdania jest „każdy zbiór może być uporządkowany liniowo”. Mostowski wykazał, że ta druga forma nie implikuje pierwszej[4], czyli jest istotnie słabsza. Dowód Mostowskiego, opierający się na wcześniejszych propozycjach B. Russela i – szczególnie – A. Fraenkla, doprowadził do stworzenia metody nazywanej obecnie metodą Fraenkla i Mostowskiego. Metoda ta zakłada istnienie indywiduów, tj. obiektów nieposiadających elementów, ale nie będących zbiorem pustym. Dziś powszechnie przyjmowana teoria mnogości, zazwyczaj oznaczana ZFC (aksjomatyka Zermela i Fraenkla z pewnikiem wyboru), nie dopuszcza istnienia indywiduów. Wyniki uzyskane metodami Fraenkla i Mostowskiego zostały odtworzone w latach 60. i 70. XX wieku przy użyciu metody wymuszania (forcingu) wprowadzonej przez P.J. Cohena we wczesnych latach 60. Mostowski poświęcił teorii wymuszania swą książkę[5]. Wykazał też, że struktury relacyjne postaci gdzie jest relacją ufundowaną (tj. nieposiadającą ciągów nieskończonych zstępujących), są izomorficzne ze strukturami postaci gdzie jest zbiorem przechodnim. Strukturę nazywa się często kolapsem Mostowskiego.
Mostowski był jednym z twórców teorii modeli (zdefiniowanej jako poddziedzina podstaw matematyki przez A. Tarskiego). Mostowski wprowadził szereg ważnych technik teorii modeli. Najważniejszą z tych technik jest metoda „elementów nieodróżnialnych”, wprowadzona wspólnie z A. Ehrenfeuchtem. Autorzy pokazują, że teorie mające modele nieskończone posiadają modele z dowolnie dużymi zbiorami elementów nieodróżnialnych[6]. Jako skutek tego wyniku teorie takie mają modele posiadające duże grupy automorfizmów. Metoda elementów nieodróżnialnych jest po dziś dzień jedną z podstawowych technik teorii modeli. Inne badania Mostowskiego w teorii modeli dotyczyły zależności zbioru zdań prawdziwych w produkcie kartezjańskim struktur i od zbiorów zdań prawdziwych w i zdań prawdziwych w [7]. Dalsze badania teorio-modelowe Mostowskiego dotyczyły topologicznych własności przestrzeni złożonych z modeli, z topologią generowaną poprzez zbiory struktur spełniających zadaną formułę.
Mostowski wprowadził pojęcie uogólnionego kwantyfikatora[8]. Przykładem takiego kwantyfikatora jest kwantyfikator „istnieje nieskończenie wiele obiektów takich że ”. Innymi słowy formuła prawdziwa jest w strukturze jeśli spełnione jest w strukturze przez nieskończenie wiele Kwantyfikator ten (i inne znalezione później przez innych badaczy) znalazł istotne zastosowania w badaniach podstaw informatyki. Pojęcie kwantyfikatora uogólnionego zostało następnie rozszerzone przez Pera Lindströma, co doprowadziło do zdefiniowania pojęcia abstrakcyjnej logiki. Kwantyfikatory podlegające definicji podanej przez Andrzeja Mostowskiego są często nazywane „kwantyfikatorami Mostowskiego”.
Definiowalne podzbiory zbioru liczb naturalnych i ogólniej iloczynu kartezjańskiego mogą być klasyfikowane ze względu na postać definicji. Ograniczając się do definicji w postaci normalnej (ang. prenex normal form), można klasyfikować zbiory ze względu na liczbę przemian kwantyfikatorów i pierwszy kwantyfikator w preneksie. Tak więc zbiory klasy mają definicję posiadającą preneks złożony z kwantyfikatorów egzystencjalnych, zbiory klasy to uzupełnienia zbiorów klasy dalej zaś indukcyjnie – zbiory klasy to rzuty zbiorów klasy zaś zbiory klasy to uzupełnienia zbiorów klasy Mostowski wykazał, że wszystkie te klasy są różne, że każda z tych klas posiada relację uniwersalną i wiele innych własności[9]. Podobne wyniki i w tym samym czasie uzyskał matematyk amerykański S. Kleene.
Hierarchia opisana powyżej nazywana jest zazwyczaj hierarchią Kleene i Mostowskiego. Hierarchię tę można rozszerzyć w pozaskończoność. Uzyskuje się w ten sposób hierarchię zbiorów hiperarytmetycznych nazywaną w literaturze hierarchią Davisa i Mostowskiego.
Rozwijając badania K. Gödla Mostowski studiował modele arytmetyki Peana. Jedną z konsekwencji twierdzenia o niezupełności aksjomatyzowalnych rozszerzeń arytmetyki Peana jest to, że zbiór numerów Gödla konsekwencji arytmetyki Peana jest klasy ale nie jest obliczalny. Mostowski studiował zbiory zdań prawdziwych w definiowalnych modelach arytmetyki Peana. Mostowski studiował, szczególnie w latach 40. XX wieku, szereg zagadnień związanych z twierdzeniem Gödla o niezupełności i poświęcił tej dziedzinie monografię[10], która była przez wiele lat klasycznym wprowadzeniem do problematyki niezupełności.
Mostowski zajmował się intensywnie badaniami tzw. teorii II rzędu, tj. dwusortowych teorii ze zmiennymi dla obiektów pierwszego rzędu, a także zmiennych dla obiektów drugiego rzędu, podklas klasy obiektów pierwszego rzędu. Pierwszą z tych teorii jest arytmetyka II rzędu, zakładająca aksjomaty Peana dla obiektów pierwszego rzędu i schemat istnienia zbiorów (ang. comprehension) dla obiektów rzędu drugiego. Mostowski studiował modele teorii tego typu. W szczególności wraz z A. Grzegorczykiem i Cz. Ryll-Nardzewskim studiował modele arytmetyki II rzędu, których liczby naturalne są uporządkowane w typ (tzw. – modele arytmetyki II rzędu)[11]. Mostowski rozważał też mniejsze rodziny takich modeli, na przykład zachowujące pojęcie dobrego porządku (tzw. -modele). Mostowski studiował również analogiczną konstrukcję dla teorii zbiorów i klas (zazwyczaj nazywaną teorią klas Kelleya i Morse’a), uzyskując wiele analogicznych wyników.
W 1966 otrzymał nagrodę państwową I stopnia[12]. W 2024 Rada Warszawy nadała jednej z ulic w dzielnicy Mokotów nazwę ul. Andrzeja Mostowskiego[13].
John J. O'Connor; Edmund F. Robertson: Andrzej Mostowski (matematyk) w MacTutor History of Mathematics archive (ang.) Andrzej Mostowski w bazie Mathematics Genealogy Project (ang.) [dostęp 2021-10-30].Uczę się języka hebrajskiego. Tutaj go sobie utrwalam.
Zawartość tej strony pochodzi stąd.
