Harvey Friedman

Harvey Friedman Harvey Friedman i 2011. Biografi

Fødsel	23. september 1948 Chicago
Nasjonalitet	amerikansk
Opplæring	Massachusetts Institute of Technology
Aktiviteter	Matematiker , logiker , universitetsprofessor
Søsken	Sy Friedman

Annen informasjon

Jobbet for	Ohio State University
Veileder	Gerald Sacks
Utmerkelser	Guggenheim Gödel lektorstipend (2002)

Harvey Friedman (23. september 1948) er logikmatematiker ved Ohio State University . Han er spesielt kjent for sitt arbeid innen omvendt matematikk  : et prosjekt for å "gå tilbake til aksiomer  " fra de viktigste setningene i matematikk. De siste årene har han jobbet med et bokprosjekt som samler all sin forskning, med tittelen Boolean Relation Theory , for å demonstrere behovet for aksiomer av store kardinaler for demonstrasjon av visse proposisjoner.

Harvey Friedman oppnådde sin doktorgrad i en avhandling om undersystemer av analyse, under veiledning av Gerald Sacks .

Hans bror Sy Friedman er også logiker.

Priser og anerkjennelse

I 2002 var han Gödel-foreleser med et foredrag med tittelen Issues in the fundament of matematics.

Eksterne linker

• Myndighetsregistreringer  :
  • Virtuell internasjonal myndighetsfil
  • Internasjonal standardnavnidentifikator
  • CiNii
  • Nasjonalbiblioteket i Frankrike ( data )
  • Library of Congress
  • Gemeinsame Normdatei
  • Royal Netherlands Library
  • Universitetsbiblioteket i Polen
  • WorldCat Id
  • WorldCat
• (no) Harvey Friedmans side på nettstedet til Ohio State University

Referanser

1. Handbook of Philosophical Logic , ( ISBN  0-7923-7018-X ) , s. 38.
2. Boolsk relasjonsteori og ufullstendighet . Manuskript på 819 sider, 13. juni 2011.