# 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 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}$.

American

## 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
• 1971: Undecidability and nonperiodicity for tilings of the plane (Inventiones Mathematicae Vol. 12no. 3: 177 – 209)
• 1978: Undecidable tiling problems in the hyperbolic plane
• 1991: Minsky's small universal Turing machine
• 1994: Two figures in the hyperbolic plane"