Richard Laver
Richard Joseph Laver (20 de octubre de 1942-19 de septiembre de 2012) fue un matemático estadounidense que trabajaba en teoría de conjuntos .
Laver recibió su doctorado en la Universidad de California, Berkeley en 1969, bajo la supervisión de Ralph McKenzie , [1] con una tesis sobre Tipos de órdenes y Well-Cuasi-Orderings . La mayor parte de su carrera la pasó como profesor y luego como profesor emérito en la Universidad de Colorado en Boulder .
