Mostowski Andrzej
ur: 1 listopada 1913 we Lwowie - Ukraina
zm: 22 sierpnia 1975 w Vancouver (Kolonia Brytyjska) - Kanada
Andrzej Mostowski był matematykiem i logikiem. Zajmował sie logiką matematyczną i podstawami matematyki. Wniósł istotny wkład do teorii mnogości, teorii rekursji (opartej na pojęciu obliczalności), teorii modeli (dla teorii aksjomatycznej), teorii dowodu (w teoriach sformalizowanych). Studiował na Uniwerytecie Warszawskim (UW), a także w Wiedniu i Zurychu, gdzie zetknął sie z jednym z najwybitniejszych logików XX wieku - matematykiem austriackim K.Gödlem. Od 1947 był profesorem UW. Cieszył sie wielkim szacunkiem w środowisku matematycznym zarówno w Polsce, jak i za granicą. Od 1972 był prezesem Sekcji Logiki, Metodologii i Filozofii Nauki w Międzynarodowej Unii Historii i Filozofii Nauki. Był członkiem komitetów redakcyjnych wielu czasopism krajowych i zagranicznych. Po wojnie Mostowski nie tylko odbudował w Polsce logikę matematyczną, ale również kształcił algebraików.
Wraz z Marcelim Starkiem napisał podręczniki: "Algebra wyższa" (1953-54), "Elementy algebry wyższej" (1956), "Algebra liniowa" (1958).
Inne znane podręczniki Mostowskiego to "Logika matematyczna" (1948) "Teoria Mnogości"(1952), tłumaczona na jezyki obce, napisana wspólnie z Kazimierzem Kuratowskim. W teorii mnogości znana jest metoda Fraenkla - Mostowskiego tworzenia modeli aksjomatycznej teorii mnogości (A.A.Fraenkel - matematyk izraelski). Późniejszym wynikom dotyczącym modeli teorii mnogości poświęcił Mostowski monografię wydaną w języku angielskim"Constructible Sets with Applications" "Zbiory konstruowalne i ich zastosowania" 1969). Mostowski zapoczątkował badania fragmentu teorii mnogości, zwaną aksjomatyczną arytmetyką drugiego rzędu ( w której opisuje sie liczby naturalne i ich zbiory). W ogólnej teorii modeli zainicjował m.in. badanie modeli z automorfizmami. Uzyskał ważne wyniki dotyczące różnych logik nieklasycznych. Wysunął tez ideę badania kwantyfikatorów uogólnionych, co zaowocowało później teorią logik abstrakcyjnych. Mostowski wniósł też wkład w rozwijanie i uogólnianie słynnego twierdzenia Gödla o niezupełności i nierozstrzygalności teorii aksjomatycznych zawierających elementarną arytmetykę. Opublikował o nim monografię wydaną w języku angielskim"Sentences Undecidable in Formalised Arithmetic", 1964("Zdania nierozstrzygalne w sformalizowanej arytmetyce" ). Mostowski jest autorem ponad 100 publikacji naukowych.
