Harvey Friedman
Harvey Friedman · Ciencia y medicina
Friedman es un lógico matemático estadounidense que ayudó a fundar las matemáticas inversas, el programa que determina exactamente qué axiomas se necesitan para demostrar los teoremas matemáticos, y que ha explorado los límites de la demostrabilidad y la fuerza de los grandes cardinales.
1948, Chicago, Illinois, Estados Unidos
Estados Unidos
Friedman es un lógico matemático estadounidense que ayudó a fundar las matemáticas inversas, el programa que determina exactamente qué axiomas se necesitan para demostrar los teoremas matemáticos, y que ha explorado los límites de la demostrabilidad y la fuerza de los grandes cardinales. Ingresó en la universidad y en la academia a una edad notablemente temprana. Está documentado como de origen judío.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Mathematics
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Friedman es un lógico matemático estadounidense que ayudó a fundar las matemáticas inversas, el programa que determina exactamente qué axiomas se necesitan para demostrar los teoremas matemáticos, y que ha explorado los límites de la demostrabilidad y la fuerza de los grandes cardinales.
Fuente: Jinfo.org — Jews in Mathematics
Contribuidores similares
Adolf Lindenbaum
Andrzej Mostowski
Georg Kreisel
Laszlo Kalmar
Solomon Feferman
