Mathematician:Raphael Mitchel Robinson
(Redirected from Mathematician:R.M. 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"