Solomon Feferman
Solomon Feferman · Sciences & médecine
Solomon Feferman, logicien mathématique américain à Stanford, apporta de profondes contributions à la théorie de la démonstration et à la prédicativité, développant des systèmes mesurant la force des théories mathématiques.
1928, New York, États-Unis — 2016, Stanford, Californie, États-Unis
États-Unis
Solomon Feferman, logicien mathématique américain à Stanford, apporta de profondes contributions à la théorie de la démonstration et à la prédicativité, développant des systèmes mesurant la force des théories mathématiques. Il édita aussi les œuvres complètes de Kurt Gödel. Il est juif.
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.
Solomon Feferman, logicien mathématique américain à Stanford, apporta de profondes contributions à la théorie de la démonstration et à la prédicativité, développant des systèmes mesurant la force des théories mathématiques.
Source : Jinfo.org — Jews in Mathematics
Contributeurs similaires
Georg Kreisel
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
