Harvey Friedman
Harvey Friedman · Sciences & médecine
Friedman est un logicien mathématique américain qui a contribué à fonder les mathématiques inversées, le programme déterminant exactement quels axiomes sont nécessaires pour prouver les théorèmes mathématiques, et qui a sondé les limites de la prouvabilité et de la force des grands cardinaux.
1948, Chicago, Illinois, États-Unis
États-Unis
Friedman est un logicien mathématique américain qui a contribué à fonder les mathématiques inversées, le programme déterminant exactement quels axiomes sont nécessaires pour prouver les théorèmes mathématiques, et qui a sondé les limites de la prouvabilité et de la force des grands cardinaux. Il est entré à l'université et dans le monde universitaire à un âge remarquablement jeune. Il est documenté comme étant d'origine juive.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jews in Mathematics
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Friedman est un logicien mathématique américain qui a contribué à fonder les mathématiques inversées, le programme déterminant exactement quels axiomes sont nécessaires pour prouver les théorèmes mathématiques, et qui a sondé les limites de la prouvabilité et de la force des grands cardinaux.
Source : Jinfo.org — Jews in Mathematics
Contributeurs similaires
Adolf Lindenbaum
Andrzej Mostowski
Georg Kreisel
Laszlo Kalmar
Solomon Feferman
