Raphael Mitchel Robinson
| Raphael Mitchel Robinson | |
|---|---|
 | |
| Nascimento | 2 de novembro de 1911 National City |
| Morte | 27 de janeiro de 1995 (83 anos) Berkeley, Califórnia |
| Nacionalidade |  Estadunidense
|
| Alma mater | Universidade da Califórnia em Berkeley |
| Orientador(es)(as) | John Hector McDonald |
| Instituições | Universidade da Califórnia em Berkeley |
| Campo(s) | Matemática |
Raphael Mitchel Robinson (National City, 2 de novembro de 1911 — Berkeley, Califórnia, 27 de janeiro de 1995) foi um matemático estadunidense.[1]
Nascido em National City, Califórnia, Robinson foi o mais jovem dos quatro filhos de um advogado e de uma professora. Foi formação universitária transcorreu toda na Universidade da Califórnia em Berkeley: BA em 1932, MA em 1933 e Ph.D. em 1935. Sua tese de Ph.D., sobre análise complexa, foi intitulada Some results in the theory of Schlicht functions.
Em 1941 Robinson casou com sua ex-aluna Julia Bowman, que passou a ser chamada então Julia Robinson. Ela foi sua colega em Berkeley e a primeira mulher a ser presidente da American Mathematical Society.
Robinson trabalhou com lógica matemática, teoria dos conjuntos, geometria, teoria dos números e combinatória. Em 1937 estabeleceu uma versão simples e mais convencional da teoria axiomática dos conjuntos de John von Neumann de 1923. Pouco depois, em 1942, Alfred Tarski tornou-se membro do Departamento de Matemática de Berkeley, e Robinson começou a desenvolver um trabalho maior sobre os fundamentos da matemática, construindo sobre o conceito da "indecisão essencial", provando uma série de teorias matemáticas como indecididas.
Referências
- ↑ O'Connor, John J.; Robertson, Edmund F., «Raphael Mitchel Robinson», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews
Bibliografia
[editar | editar código-fonte]- Robinson, R. M. (1937), «The theory of classes: A modification of Von Neumann's system», Journal of Symbolic Logic, 2 (1): 29–36, JSTOR 2268798, doi:10.2307/2268798.
- ——— (1950), «An Essentially Undecidable Axiom System», Proceedings of the International Congress of Mathematics: 729–730.
- Alfred Tarski, Andrzej Mostowski e R. M. Robinson, 1953. Undecidable theories. North Holland.
- Leon Henkin, 1995, "In memoriam: Raphael Mitchell Robinson," Bull. Symbolic Logic 1: 340–43.
- "In memoriam: Raphael Mitchell Robinson (1911–1995)," Modern Logic 5: 329.
Ver também
[editar | editar código-fonte]Ligações externas
[editar | editar código-fonte]- O'Connor, John J.; Robertson, Edmund F., «Raphael Mitchel Robinson», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews
- Raphael Mitchel Robinson (em inglês) no Mathematics Genealogy Project
