Harvey Friedman (nacido el 23 de septiembre de 1948) [1] es un lógico matemático estadounidense de la Universidad Estatal de Ohio en Columbus, Ohio . Ha trabajado en matemáticas inversas , proyecto destinado a derivar los axiomas de las matemáticas a partir de los teoremas considerados necesarios. En los últimos años, esto ha avanzado hacia un estudio de la teoría de la relación booleana, que intenta justificar grandes axiomas cardinales demostrando su necesidad para derivar ciertas proposiciones consideradas "concretas".
Friedman obtuvo su doctorado. del Instituto Tecnológico de Massachusetts en 1967, a los 19 años, con una disertación sobre Subsistemas de Análisis . Su asesor fue Gerald Sacks . [2] Friedman recibió el premio Alan T. Waterman en 1984. También asumió el título de científico visitante en IBM . [3] Pronunció las Conferencias Tarski en 2007.
En 1967, Friedman figuraba en el Libro Guinness de los Récords Mundiales por ser el profesor más joven del mundo cuando enseñaba en la Universidad de Stanford a los 18 años como profesor asistente de filosofía . [1] [4] [5] También ha sido profesor de matemáticas y profesor de música. [6] Se jubiló oficialmente en julio de 2012. En septiembre de 2013, recibió un doctorado honorario de la Universidad de Gante . [7]
Jordana Cepelewicz (2017) describió a Friedman en Nautilus como "El hombre que quiere rescatar el infinito". [8]
Friedman fue noticia en el periódico italiano La Repubblica por su manuscrito Una prueba de consistencia divina para las matemáticas, que muestra en detalle cómo, a partir de la hipótesis de la existencia de Dios (en el sentido de la prueba ontológica de Gödel ), se puede demostrar que las matemáticas , formalizado por los axiomas habituales de ZFC , es consistente. [9]
Inventó y demostró importantes teoremas sobre los juegos de promesas finitas y las secuencias de camarillas codiciosas , y la gran conjetura de Friedman lleva su nombre.
Friedman es hermano del matemático Sy Friedman .
Según ResearchGate , Friedman publicó más de 200 artículos de investigación revisados por pares durante el transcurso de su carrera académica. [10]