Category:Definitions/Named Definitions/Robinson

From ProofWiki
Jump to navigation Jump to search

This category contains definitions 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}$.

This category currently contains no pages or media.