Mathematician:Raphael Mitchel Robinson

From ProofWiki
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


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

  • 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
  • 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"


Sources