Поляк математигі, Анджей Мостовский

Кіріспе

Польша математигі Анджей Мостовский (1 қараша 1913 жыл - 22 тамыз 1975 жыл) – поляк математигі. Ол, әсіресе, Мостовскийдің құлдырау леммасымен танымал.

Өмірбаян

Австрия-Мажарстанның Лемберг қаласында туған Мостовский 1931 жылы Варшава университетіне қабылданды. Оған Куратовский, Линденбаум және Тарскидің әсері тиді. Оның Ph.D. диссертациясы 1939 жылы қорғалды, ресми жетекшісі Куратовский болса, іс жүзінде сол кезде жас лекторы болған Тарски басшылық еткен. Польшаға неміс басқыншылығынан кейін ол бухгалтер болып жұмыс істеді, бірақ сонымен қатар Жер асты Варшава университетінде жұмысын жалғастырды. 1944 жылғы Варшава көтерілісінен кейін нацистер оны концлагерге тығып қоюға тырысты. Бірнеше польша медбикелерінің көмегімен ол ауруханаға қашып, зерттеулерін қамтитын дәптерінен гөрі нан алып кетуді жөн көрді. Соғыстан кейін ол осы зерттеулердің бір бөлігін қайта құрды, алайда оның көп бөлігі жоғалып кетті. 1954 жылы Мостовскийге Польшаны қайта құру орденінің рыцарь кресі табысталды, ал 1963 жылы ол Ғылым академиясының толық мүшесі болып сайланды. Екінші дүниежүзілік соғыстан кейін ол Расиованың логика және математика негіздері бойынша магистрлік және докторлық диссертацияларын жетекшілік етті. Оның жұмысының басым бөлігі рекурсия теориясы және шешілмейтін мәселелерге арналған. 1946 жылдан бастап, өмірінің соңына дейін, Канаданың Британ Колумбиясы провинциясындағы Ванкувер қаласында қайтыс болғанға дейін Варшава университетінде жұмыс істеді. Оның сол кездегі еңбектерінің көп бөлігі бірінші реттік логика және модельдер теориясымен байланысты болды. Оның ұлы Тадеуш та математик, ол дифференциалдық геометрия саласында жұмыс істейді. Кшиштоф Курдыка мен Адам Парусинскимен бірлесіп, Тадеуш Мостовский 2000 жылы Рене Томның градиенттік гипотезасын шешті.

Қағаздар

Анджей Мостовский, "Ордер принципінің тәуелсіздігі туралы". Fundamenta Mathematicae Vol. 32, No 1, бб. 201–252, (1939). Анджей Мостовский, "Позитивті бүтін сандардың анықталатын жиындары туралы", Fundamenta Mathematicae Vol. 34, No. 1, бб. 81–112, (1947). Анджей Мостовский, "Un théorème sur les nombres cos 2πk/n", Colloquium Mathematicae Vol. 1, No. 3, бб. 195–196, (1948). Казимир Куратовский, Анджей Мостовский, "Sur un problème de la théorie des groupes et son rapport à la topologie", Colloquium Mathematicae Vol. 2, No. 3–4, бб. 212–215, (1951). Анджей Мостовский, "Буль алгебраларымен байланысты топтар. (P92 мәселесінің ішінара шешімі)", Colloquium Mathematicae Vol. 2, No. 3–4, бб. 216–219, (1951). Анджей Мостовский, "Теориялардың тікелей көбейтінділері туралы", Journal of Symbolic Logic, Vol. 17, No. 1, бб. 1–31, (1952). Анджей Мостовский, "Аксиомалық жүйелердің модельдері", Fundamenta Mathematicae Vol. 39, No. 1, бб. 133–158, (1952). Анджей Мостовский, "Рекурсивті түрде саналатын арифметикалық модельі жоқ аксиомалар жүйесі туралы", Fundamenta Mathematicae Vol. 40, No. 1, бб. 56–61, (1953). Анджей Мостовский, "Рекурсивті түрде саналатын модельі жоқ формула", Fundamenta Mathematicae Vol. 42, No. 1, бб. 125–140, (1955). Анджей Мостовский, "Екі және үш квантор арқылы анықталатын жиындардың мысалдары", Fundamenta Mathematicae Vol. 42, No. 2, бб. 259–270, (1955). Анджей Мостовский, "Анықталатын жиындар мен функциялар теориясына үлесі", Fundamenta Mathematicae Vol. 42, No. 2, бб. 271–275, (1955). Анджей Эренфеухт, Анджей Мостовский, "Автоморфизмдерді қабылдайтын аксиомалық теориялардың модельдері", Fundamenta Mathematicae, Vol. 43, No. 1, бб. 50–68, (1956). Анджей Мостовский, "Ян Лукашевичтің математикалық логика саласындағы ғылыми еңбектері", Fundamenta Mathematicae Vol. 44, No. 1, бб. 1–11, (1957). Анджей Мостовский, "Кванторларды жалпылау туралы", Fundamenta Mathematicae Vol. 44, No. 1, бб. 12–36, (1957). Анджей Мостовский, "Есептелетін тізбектер туралы", Fundamenta Mathematicae Vol. 44, No. 1, бб. 37–51, (1957). Анджей Грегорчик, Анджей Мостовский және Чеслав Рылл-Нардзевский, "Классикалық және ω-толық арифметика", Journal of Symbolic Logic Vol. 23, No. 2, бб. 188–206, (1958). Анджей Мостовский, "В. Кинна мен К. Вагнердің мәселесі туралы", Colloquium Mathematicae Vol. 6, No. 1, бб. 207–208, (1958). Анджей Мостовский, "Толық еместік теоремасының жалпылауы", Fundamenta Mathematicae Vol. 49, No. 2, бб. 205–232, (1961). Анджей Мостовский, "Көпмәнді предикат есептеулерінің аксиоматизациялануы", Fundamenta Mathematicae Vol. 50, No. 2, бб. 165–190, (1961). Ёсииндо Сузуки, Анджей Мостовский, "β-модель емес ω-модельдер туралы", Fundamenta Mathematicae Vol. 65, No. 1, бб. 83–93, (1969).

Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, No.1, ss. 201 252, (1939). Andrzej Mostowski, "On definable sets of positive integers", Fundamenta Mathematicae Vol. 34, No. 1, ss. 81 112, (1947). Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n", Colloquium Mathematicae Vol. 1, No. 3, ss. 195 196, (1948). Casimir Kuratowski, Andrzej Mostowski, "Sur un problème de la théorie des groupes et son rapport à la topologie", Colloquium Mathematicae Vol. 2, No. 3 4, ss. 212 215, (1951). Andrzej Mostowski, "Groups connected with Boolean algebras. (Partial solution of the problem P92)", Colloquium Mathematicae Vol. 2, No. 3 4, ss. 216 219, (1951). Andrzej Mostowski, "On direct products of theories", Journal of Symbolic Logic, Vol. 17, No. 1, ss. 1 31, (1952). Andrzej Mostowski, "Models of axiomatic systems", Fundamenta Mathematicae Vol. 39, No. 1, ss. 133 158, (1952). Andrzej Mostowski, "On a system of axioms which has no recursively enumerable arithmetic model", Fundamenta Mathematicae Vol. 40, No. 1, ss. 56 61, (1953). Andrzej Mostowski, "A formula with no recursively enumerable model", Fundamenta Mathematicae Vol. 42, No. 1, ss. 125 140, (1955). Andrzej Mostowski, "Examples of sets definable by means of two and three quantifiers", Fundamenta Mathematicae Vol. 42, No. 2, ss. 259 270, (1955). Andrzej Mostowski, "Contributions to the theory of definable sets and functions", Fundamenta Mathematicae Vol. 42, No. 2, ss. 271 275, (1955). Andrzej Ehrenfeucht, Andrzej Mostowski, "Models of Axiomatic Theories Admitting Automorphisms", Fundamenta Mathematicae, Vol. 43, No. 1, ss. 50 68 (1956). Andrzej Mostowski, "L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique", Fundamenta Mathematicae Vol. 44, No. 1, ss. 1 11, (1957). Andrzej Mostowski, "On a generalization of quantifiers", Fundamenta Mathematicae Vol. 44, No. 1, ss. 12 36, (1957). Andrzej Mostowski, "On computable sequences", Fundamenta Mathematicae Vol. 44, No. 1, ss. 37 51, (1957). Andrzej Grzegorczyk, Andrzej Mostowski and Czesław Ryll Nardzewski, "The classical and ω complete arithmetic", Journal of Symbolic Logic Vol. 23, No. 2, ss. 188 206, (1958). Andrzej Mostowski, "On a problem of W. Kinna and K. Wagner", Colloquium Mathematicae Vol. 6, No. 1, ss. 207 208, (1958). Andrzej Mostowski, "A generalization of the incompleteness theorem", Fundamenta Mathematicae Vol. 49, No. 2, ss. 205 232, (1961). Andrzej Mostowski, "Axiomatizability of some many valued predicate calculi", Fundamenta Mathematicae Vol. 50, No. 2, ss. 165 190, (1961). Yoshindo Suzuki, Andrzej Mostowski, "On ω models which are not β models", Fundamenta Mathematicae Vol. 65, No. 1, ss. 83 93, (1969).