Mathematician:Raphael Mitchel Robinson

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 and 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
 * Died: January 27, 1995

Theorems and Inventions

 * Robinson Arithmetic

Books and Papers

 * 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 (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
 * 1978: Undecidable tiling problems in the hyperbolic plane
 * 1991: Minsky's small universal Turing machine
 * 1994: Two figures in the hyperbolic plane"