Harvey paistettu

Harvey Friedman (23. syyskuuta 1948) On logician matemaatikko klo Ohio State University . Hänet tunnetaan erityisesti käänteisen matematiikan työstään  : projekti "palata aksioomiin  " matematiikan päälauseista . Viime vuosina hän on työskennellyt kirjaprojektissa, joka kokoaa kaikki hänen tutkimuksensa, nimeltään Boolen relaatioteoria , osoittaakseen suurten kardinaalien aksioomien tarpeen tiettyjen ehdotusten esittelyyn.

Harvey Friedman valmistui tohtoriksi väitöskirjassa analyysin osajärjestelmistä Gerald Sacksin valvonnassa .

Hänen veljensä Sy Friedman on myös logistiikka.

Palkinnot ja tunnustaminen

Vuonna 2002 hän toimi Gödel-lehtorina konferenssissa, jonka otsikko oli Matematiikan perusteet.

Ulkoiset linkit

• Auktoriteettitiedot  :
  • Virtuaalinen kansainvälisen viranomaisen tiedosto
  • Kansainvälinen standardinimen tunniste
  • CiNii
  • Ranskan kansalliskirjasto ( tiedot )
  • Kongressin kirjasto
  • Gemeinsame Normdatei
  • Alankomaiden kuninkaallinen kirjasto
  • Puolan yliopiston kirjasto
  • WorldCat-tunnus
  • WorldCat
• (en) Harvey Friedmanin sivu on Ohio State University sivusto

Viitteet

1. Filosofisen logiikan käsikirja , ( ISBN  0-7923-7018-X ) , s. 38.
2. Boolen suhdeteoria ja epätäydellisyys . 819 sivun käsikirjoitus, 13. kesäkuuta 2011.