Raphael M. Robinson, matemático, filósofo e teórico americano (m. 1995)
Raphael Mitchel Robinson (2 de novembro de 1911 - 27 de janeiro de 1995) foi um matemático americano.
Nascido em National City, Califórnia, Robinson era o caçula de quatro filhos de um advogado e um professor. Ele foi premiado pela Universidade da Califórnia, Berkeley em matemática: BA (1932), MA (1933) e Ph.D. (1935). Seu Ph.D. A tese, sobre análise complexa, foi intitulada Alguns resultados na teoria das funções de Schlicht.
Em 1941, Robinson se casou com sua ex-aluna Julia Bowman. Ela se tornou sua colega de Berkeley e a primeira mulher presidente da American Mathematical Society.
Robinson trabalhou em lógica matemática, teoria dos conjuntos, geometria, teoria dos números e combinatória. Em 1937, ele apresentou uma versão mais simples e convencional da teoria axiomática dos conjuntos de John von Neumann de 1923. Logo depois que Alfred Tarski ingressou no departamento de matemática de Berkeley em 1942, Robinson começou a fazer um grande trabalho sobre os fundamentos da matemática, desenvolvendo o conceito de indecidibilidade essencial de Tarski, provando que várias teorias matemáticas eram indecidíveis. Em 1950, Robinson provou que uma teoria essencialmente indecidível não precisa ter um número infinito de axiomas, apresentando um contra-exemplo: A aritmética de Robinson Q. Q é finitamente axiomatizável porque carece do esquema axiomático de indução da aritmética de Peano; no entanto, Q, como a aritmética de Peano, é incompleta e indecidível no sentido de Gödel. O trabalho de Robinson sobre indecidibilidade culminou em sua coautoria Tarski et al. (1953), que estabeleceu, entre outras coisas, a indecidibilidade da teoria dos grupos, teoria da rede, geometria projetiva abstrata e álgebras de fechamento.
Robinson trabalhou em teoria dos números, empregando até mesmo computadores muito antigos para obter resultados. Por exemplo, ele codificou o teste de primalidade Lucas–Lehmer para determinar se 2n − 1 era primo para todos os primos n < 2304 em um SWAC. Em 1952, ele mostrou que esses números de Mersenne eram todos compostos, exceto por 17 valores de n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203 , 2281. Ele descobriu os últimos cinco desses primos de Mersenne, os maiores conhecidos na época.
Robinson escreveu vários artigos sobre ladrilhos do avião, em particular um artigo claro e notável de 1971 Indecidibilidade e não periodicidade para ladrilhos do avião simplificando o que havia sido uma teoria emaranhada.
Robinson tornou-se professor titular em Berkeley em 1949, aposentou-se em 1973 e permaneceu ativo em seus interesses educacionais durante toda a vida, tendo publicado no final de sua vida:
(idade 80 anos) a pequena máquina de Turing universal de Minsky, descrevendo uma máquina de Turing universal com quatro símbolos e sete estados;
(idade 83 anos) Duas figuras no plano hiperbólico.