Category:Axioms/Named Axioms/Robinson

This category contains axioms or axiom schemata named for Raphael Mitchel Robinson.

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