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
Definitions of concepts named for Raphael Mitchel Robinson can be found here.
Axioms named for Raphael Mitchel Robinson can be found here.
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 (Proceedings of the International Congress of Mathematics pp. 729 – 730)
- 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"