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, USA
United States
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
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