Michael Makkai
| Michael Makkai | |
|---|---|
| Nascimento | 24 de junho de 1939 Budapeste |
| Cidadania | Canadá |
| Progenitores |
|
| Alma mater |
|
| Ocupação | matemático, professor universitário |
Michael Makkai (em húngaro: Makkai Mihály; Budapeste, Hungria, 24 de junho de 1939) é um matemático canadense de origem húngara, especialista em Lógica matemática.[1]
Trabalha com teoria dos modelos, teoria das categorias, lógica algébrica e teoria de topoi. Graduado pela Universidade Eötvös Loránd, Budapeste, trabalhando depois no Instituto de Matemática Alfréd Rényi da Academia de Ciências da Hungria. Obteve um doutorado em 1966, orientado por Rózsa Péter e Andrzej Mostowski.[2][3] Entre 1974 e 2010 foi professor de matemática da Universidade McGill. Aposentou-se em 2010. É membro externo da Academia de Ciências da Hungria (1995).
Com Leo Harrington e Saharon Shelah provou a conjectura de Vaught para teorias ω-estáveis.
Publicações selecionadas
[editar | editar código-fonte]- M. Makkai, G. E. Reyes: First Order Categorical Logic, Lecture Notes in Mathematics, 611, Springer, 1977, viii+301 pp.[4]
- L. Harrington, M. Makkai, S. Shelah: A proof of Vaught's conjecture for ω-stable theories, Israel J. Math., 49(1984), 259–280.
- Michael Makkai, Robert Paré: Accessible categories: the foundations of categorical model theory. Contemporary Mathematics, 104. American Mathematical Society, Providence, RI, 1989. viii+176 pp. ISBN 0-8218-5111-X
- M. Makkai: Duality and Definability in First Order Logic, Memoirs of the American Mathematical Society, 503, 1993, ISSN 0065-9266
Referências
- ↑ Benthem, Johan Van; Heinzmann, Gerhard; Rebuschi, Manuel; Henk Visser (14 de novembro de 2006). The age of alternative logics: assessing philosophy of logic and mathematics today. [S.l.]: Springer. pp. 182–. ISBN 978-1-4020-5011-4. Consultado em 28 de junho de 2011
- ↑ Michael Makkai (em inglês) no Mathematics Genealogy Project
- ↑ «Makkai's CV at his McGill University Homepage» (PDF)
- ↑ Monk, J. D. (1978). «Review: First order categorical logic by Michael Makkai and Gonzalo E. Reyes» (PDF). Bull. Amer. Math. Soc. 84 (6): 1378–1380. doi:10.1090/s0002-9904-1978-14587-x