Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory.
