Andrzej Mostowski - Andrzej Mostowski
Andrzej Mostowski | |
---|---|
Nascer |
|
1 de novembro de 1913
Faleceu | 22 de agosto de 1975 |
(com 61 anos)
Nacionalidade | Polônia |
Alma mater | Universidade de Varsóvia |
Conhecido por |
Lema do colapso de Mostowski da hierarquia aritmética |
Carreira científica | |
Campos | Matemática |
Instituições | Universidade de Varsóvia |
Conselheiros de doutorado |
Kazimierz Kuratowski Alfred Tarski |
Alunos de doutorado |
Andrzej Ehrenfeucht Moshé Machover Helena Rasiowa Roman Sikorski |
Andrzej Mostowski (1 de novembro de 1913 - 22 de agosto de 1975) foi um matemático polonês . Ele talvez seja mais lembrado pelo lema do colapso de Mostowski .
Biografia
Nascido em Lemberg , Áustria-Hungria , Mostowski ingressou na Universidade de Varsóvia em 1931. Ele foi influenciado por Kuratowski , Lindenbaum e Tarski . Seu Ph.D. veio em 1939, oficialmente dirigido por Kuratowski, mas na prática dirigido por Tarski, que era um jovem palestrante na época.
Ele se tornou contador após a invasão alemã da Polônia, mas continuou trabalhando na Universidade Subterrânea de Varsóvia . Após o levante de Varsóvia de 1944, os nazistas tentaram colocá-lo em um campo de concentração. Com a ajuda de algumas enfermeiras polonesas, ele fugiu para um hospital, optando por levar pão com ele em vez de seu bloco de notas com suas pesquisas. Algumas dessas pesquisas ele reconstruiu após a guerra, embora muitas delas permanecessem perdidas.
Seu trabalho foi em grande parte na teoria da recursão e indecidibilidade . De 1946 até sua morte em Vancouver, British Columbia , Canadá, trabalhou na Universidade de Varsóvia . Muito de seu trabalho, durante esse tempo, foi sobre lógica de primeira ordem e teoria do modelo .
Seu filho Tadeusz também é um matemático que trabalha com geometria diferencial . Com Krzysztof Kurdyka e Adam Parusinski , Tadeusz Mostowski resolvido René Thom de conjecturar gradiente em 2000.
Veja também
Trabalho
Livros
- 1968 e 1976: (com Kazimierz Kuratowski ) Teoria dos conjuntos. Com uma Introdução à Teoria Descritiva dos Conjuntos , Estudos em Lógica e Fundamentos da Matemática # 86, North Holland, MR 0485384
- 1952: Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel , North-Holland, Amsterdam, ISBN 978-0313231513
- 1969: Conjuntos construtíveis com aplicações , North-Holland, Amsterdam.
Papéis
- Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, No.1, ss. 201-252, (1939).
- Andrzej Mostowski, "Em conjuntos definíveis de inteiros positivos" , 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 problems de la théorie des groupes et son rapport à la topologie" , Colloquium Mathematicae Vol. 2, No. 3-4, ss. 212-215, (1951).
- Andrzej Mostowski, "Grupos conectados com álgebras booleanas. (Solução parcial do problema 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, "Sobre um sistema de axiomas que não tem modelo aritmético recursivamente enumerável" , Fundamenta Mathematicae Vol. 40, No. 1, ss. 56-61, (1953).
- Andrzej Mostowski, "Uma fórmula sem modelo recursivamente enumerável" , Fundamenta Mathematicae Vol. 42, No. 1, ss. 125-140, (1955).
- Andrzej Mostowski, "Exemplos de conjuntos definíveis por meio de dois e três quantificadores" , Fundamenta Mathematicae Vol. 42, No. 2, ss. 259-270 (1955).
- Andrzej Mostowski, "Contribuições para a teoria de conjuntos e funções definíveis" , 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 computablesequences" , Fundamenta Mathematicae Vol. 44, No. 1, ss. 37-51, (1957).
- Andrzej Grzegorczyk , Andrzej Mostowski e Czesław Ryll-Nardzewski , "A aritmética clássica e ω-completa" , 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, "Uma generalização do teorema da incompletude" , Fundamenta Mathematicae Vol. 49, No. 2, ss. 205-232, (1961).
- Andrzej Mostowski, "Axiomatizability of some many value predicate calculi" , Fundamenta Mathematicae Vol. 50, No. 2, ss. 165-190 (1961).
- Yoshindo Suzuki, Andrzej Mostowski, "On ω-models que não são β-models" , Fundamenta Mathematicae Vol. 65, No. 1, ss. 83-93, (1969).
Referências
links externos
- O'Connor, John J .; Robertson, Edmund F. , "Andrzej Mostowski" , arquivo MacTutor History of Mathematics , University of St Andrews
- Stanislaw Krejewski e Marian Srebrny sobre a vida e obra de Andrzek Mostowski