Ronald Jensen
| Ronald B. Jensen | |
|---|---|
 Ronald Jensen em julho de 2007 | |
| Nascimento | 1 de abril de 1936 Charlottesville, Estados Unidos |
| Morte | 16 de setembro de 2025 (89 anos) |
| Residência | Berlim |
| Nacionalidade | estadunidense |
| Cidadania | Estados Unidos |
| Alma mater | Universidade de Bonn |
| Ocupação | matemático, filósofo, professor universitário |
| Distinções | Gödel Lecturer (1990), Tarski Lectures (2001), Prêmio Leroy P. Steele (2003) |
| Empregador(a) | Universidade de Bonn, Universidade de Friburgo, Universidade Humboldt de Berlim |
| Orientador(a)(es/s) | Gisbert Hasenjaeger |
| Instituições | Universidade Humboldt de Berlim |
| Tese | 1964: Unabhängigkeit in Teilsystemen der elementaren Zahlentheorie |
Ronald Björn Jensen (Charlottesville, 1 de abril de 1936 — 16 de setembro de 2025) foi um matemático americano radicado na Alemanha, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Biografia
Jensen cursou economia e matemática na American University em Washington D.C. e na Universidade de Bonn, onde obteve seu doutorado em 1964. Entre 1969 e 1973, foi professor de matemática na Universidade de Oslo, período durante o qual também lecionou na Rockefeller University, em Nova York (até 1971), e na Universidade da Califórnia em Berkeley (de 1971 a 1973).
Entre 1974 e 1975, recebeu o prêmio Humboldt na Universidade de Bonn, onde foi professor de matemática de 1976 a 1978. Em seguida, foi bolsista visitante no Wolfson College da Universidade de Oxford (1978-1979), professor na Universidade de Freiburg (1979-1981) e pesquisador sênior no All Souls College de Oxford (1981-1994). De 1994 a 2001, atuou como professor de lógica matemática na Universidade Humboldt de Berlim. Sua principal linha de pesquisa se concentra na teoria dos conjuntos, com ênfase na propriedade de grande cardinal e no universo construível de Gödel.
Em 2003, foi laureado com o prestigiado Prêmio Steele da American Mathematical Society por seu artigo seminal The fine structure of the constructible hierarchy (Annals of Mathematical Logic 4 (1972) pp. 229-308).
Resultados
Os resultados mais conhecidos de Jensen incluem:
- Teoria axiomática dos conjuntos NFU, uma variante de New Foundations (NF) onde a extensionalidade é enfraquecida para permitir vários conjuntos sem elementos, e a prova da consistência da NFU em relação à aritmética de Peano;
- Teoria da estrutura fina do universo construtível L. Este trabalho o levou a ser premiado em 2003 com o Prêmio Leroy P. Steele de Contribuição Seminal para Pesquisa da American Mathematical Society por seu artigo de 1972 intitulado "A estrutura fina da hierarquia construível";
- Definições e provas de vários princípios combinatórios infinitos em L, incluindo diamante , quadrado e pântano;
- Teorema de cobertura de Jensen para L;
- Teoria geral dos modelos centrais e a construção do modelo central de Dodd-Jensen;
- Consistência da hipótese do contínuo mais a hipótese de Suslin;
- Técnica de codificação do universo por um real.
Publicações selecionadas
Artigos
- Ronald Jensen, 1969, « On the Consistency of a Slight(?) Modificação do NF de Quine », Synthese 19: 250–263. Com discussão de Quine. doi:10.1007/BF00568059
- The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol 4, Edição 3, agosto de 1972, pp. 229–308 doi:10.1016/0003-4843(72)90001-0
- com Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp. 43–75. doi:10.1016/0003-4843(81)90011-5
- com Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp. 1–30. doi:10.1016/0003-4843(82)90013-4
- Inner models and large cardinals. Bulletin of Symbolic Logic vol 1, Edição 4 (1995): 393-407. doi:10.2307/421129
- com John R. Steel: K without the measurable, The Journal of Symbolic Logic, vol 78, Edição 3, 2013, pp. 708–734. doi:10.2178/jsl.7803020
Livros
- Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Notas de aula em matemática; vol. 37). Springer, Berlim 1967.
- como editor com Alexander Pestel: Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1–3, 1979. Berlim; Nova York: Springer-Verlag, 1981.
- com Aaron Beller e Philip Welch: Coding the Universe. Cambridge University Press, Cambridge 1982, ISBN 0-521-28040-0.
Referências
- 1 2 «Ronald B. Jensen». Mathematisches Institut der Universität Bonn (em alemão). Universität Bonn. Consultado em 19 de setembro de 2025
- 1 2 3 4 «Our Presidents» (em inglês). Kurt Gödel Society. 6 de fevereiro de 2018. Consultado em 19 de setembro de 2025
- 1 2 «Prof. Dr. Ronald Jensen». Institut für Mathematik (em alemão). Humboldt-Universität zu Berlin. Consultado em 19 de setembro de 2025. Cópia arquivada em 2 de outubro de 2011
- ↑ Mitchell, William J. (1983). «Review: Coding the universe by A. Beller, R. B. Jensen and P. Welch». Bull. Amer. Math. Soc. (N.S.). 8 (2): 350–353. doi:10.1090/s0273-0979-1983-15117-0
Ligações externas
- Ronald Jensen (em inglês) no Mathematics Genealogy Project
- Jensen's page at the Humboldt-Universität zu Berlin.
- Brief biographies of past presidents of the Kurt Gödel Society.
- «2003 Steele Prizes» (PDF) (em inglês)
