Harvey Friedman (nacido el 23 de septiembre de 1948) [1] es un matemático lógico estadounidense de la Universidad Estatal de Ohio en Columbus, Ohio . Ha trabajado en matemáticas inversas , un 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 las relaciones booleanas, que intenta justificar los grandes axiomas cardinales demostrando su necesidad para derivar ciertas proposiciones consideradas "concretas".
Friedman obtuvo su doctorado en el 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] Dictó las Tarski Lectures en 2007.
En 1967, Friedman fue incluido en el Libro Guinness de los récords mundiales por ser el profesor más joven del mundo cuando enseñó 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 Ghent . [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, partiendo 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, tal como se formalizan mediante los axiomas ZFC habituales , son consistentes. [9]
Inventó y demostró teoremas importantes sobre los juegos de promesa finita y las secuencias de camarillas codiciosas , y la gran conjetura de Friedman lleva su nombre.
Friedman es el 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 curso de su carrera académica. [10]