# Mathematician:Raphael Mitchel Robinson

Jump to navigation
Jump to search

## Mathematician

American mathematician who worked on mathematical logic, set theory, geometry, number theory and combinatorics.

One of the early computer pioneers, he implemented a program for the Lucas-Lehmer Test.

In 1952, determined or confirmed the primality of all the Mersenne numbers up to $M_{2304}$.

In the process, he discovered the Mersenne primes $M_{521}, M_{607}, M_{1279}, M_{2203}$ and $M_{2281}$.

## Nationality

American

## History

- Born: November 2, 1911
- 1941: Married Julia Hall Bowman
- Died: January 27, 1995

## Theorems and Inventions

## Publications

- 1933:
*E69*(*Amer. Math. Monthly***Vol. 40**: p. 607) www.jstor.org/stable/2301693

- 1935:
*Some results in the theory of Schlicht functions* - 1937:
*The theory of classes: A modification of Von Neumann's system* - 1939:
*On numerical bounds in Schottky's Theorem* - 1940:
*On the mean values of an analytic function* - 1940:
*The approximation of irrational numbers by fractions with odd or even terms* - 1945:
*Finite sequences of classes* - 1950:
*An Essentially Undecidable Axiom System*

- 1953:
*Undecidable theories*(with Alfred Tarski and Andrzej Mostowski)

- 1954:
*Mersenne and Fermat Numbers*(*Proc. Amer. Math. Soc.***Vol. 5**,*no. 5*: pp. 842 – 846) www.jstor.org/stable/2031878 (in which he announced his findings concerning $M_{521}, M_{607}, M_{1279}, M_{2203}$ and $M_{2281}$)

- 1971:
*Undecidability and nonperiodicity for tilings of the plane*(*Inventiones Mathematicae***Vol. 12**,*no. 3*: pp. 177 – 209)

- 1978:
*Undecidable tiling problems in the hyperbolic plane* - 1991:
*Minsky's small universal Turing machine* - 1994:
*Two figures in the hyperbolic plane*"