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 nmbers 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

 * "Some results in the theory of Schlicht functions" (1935)
 * "The theory of classes: A modification of Von Neumann's system" (1937)
 * "An Essentially Undecidable Axiom System" (1950)
 * "Undecidable theories" (1953) with Alfred Tarski and Andrzej Mostowski
 * "Undecidability and nonperiodicity for tilings of the plane" (1971)
 * "Minsky's small universal Turing machine" (1991)
 * "Two figures in the hyperbolic plane" (1994)