HF
Ciencia y medicina

Harvey Friedman

Quién

Harvey Friedman · Ciencia y medicina

Qué

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.

Cuándo

1948, Chicago, Illinois, USA

Dónde

United States

Biografía

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.

Fuentes y enlaces externos

Verifique y profundice con estas referencias externas.

Fuente: Jinfo.org — Jews in Mathematics

Contribuciones y fuentes

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

Fuente: Jinfo.org — Jews in Mathematics