Raphael M. Robinson

Raphael M. Robinson
Born	(1911-11-02)November 2, 1911 National City, California
Died	January 27, 1995(1995-01-27) (aged 83) Berkeley, California
Alma mater	California
Spouse	Julia Robinson
Scientific career
Fields	Mathematics

Raphael Mitchel Robinson (November 2, 1911 – January 27, 1995

In 1941, Robinson married his former student Julia Bowman. She became his Berkeley colleague and the first woman president of the American Mathematical Society.

Robinson worked on

Robinson worked in

Robinson wrote several papers on tilings of the plane, in particular a clear and remarkable 1971 paper Undecidability and nonperiodicity for tilings of the plane simplifying what had been a tangled theory.

Robinson became a full professor at Berkeley in 1949, retired in 1973, and remained active in his educational interests for the duration of his life having published late in his life:

• (age 80 years) Minsky's small universal Turing machine, describing a universal Turing machine with four symbols and seven states;
• (age 83 years) Two figures in the
  hyperbolic plane
  .

See also

• Robinson arithmetic

References

• Robinson, R. M. (1937), "The theory of classes: A modification of Von Neumann's system",
  JSTOR 2268798
  .
• ——— (1950), "An Essentially Undecidable Axiom System", Proceedings of the International Congress of Mathematics: 729–730.
• A. Mostowski
  , and R. M. Robinson, 1953. Undecidable theories. North Holland.
• Bulletin of Symbolic Logic
  1: 340–43.
• "In memoriam : Raphael Mitchell Robinson (1911–1995)," Modern Logic 5: 329.

• O'Connor, John J.; Robertson, Edmund F., "Raphael M. Robinson", MacTutor History of Mathematics Archive, University of St Andrews. The source for much of this entry.
• Raphael M. Robinson at the Mathematics Genealogy Project