Harvey Friedman ... Harvey Friedman
Harvey Friedman (1948 23 Eylül doğumlu) Amerikalı matematiksel mantıkçı de Ohio State Üniversitesi de Columbus, Ohio . Matematiğin aksiyomlarını gerekli olduğu düşünülen teoremlerden türetmeyi amaçlayan bir proje olan ters matematik üzerinde çalıştı . Son yıllarda bu, "somut" kabul edilen belirli önermeleri türetmek için gerekliliğini göstererek büyük ana aksiyomları haklı çıkarmaya çalışan Boolean ilişki teorisi çalışmasına kadar ilerlemiştir .
Friedman doktora derecesini aldı. dan Massachusetts Institute of Technology'den bir 1967 yılında, tez üzerinde Analiz Alt sistemler . Danışmanı Gerald Sacks'dı . Friedman , 1984'te Alan T. Waterman Ödülü'nü aldı. 2007'de Tarski Derslerini verdi .
1967 yılında Friedman içinde yer aldı Guinness Rekorlar Kitabı o öğretmenlik dünyanın en genç profesörü olduğu için Stanford Üniversitesi bir şekilde 18 yaş yardımcı doçent ait felsefesi . O da bir olmuştur profesör ait matematik ve müzik profesörü. Temmuz 2012'de resmen emekli oldu. Eylül 2013'te Ghent Üniversitesi'nden fahri doktora aldı .
Jordana Cepelewicz (2017), Nautilus'ta Friedman'ı "Sonsuzluğu Kurtarmak İsteyen Adam" olarak tanımladı .
Friedman İtalyan gazetesinde manşetlere taşındı La Repubblica onun el yazması için Matematik için bir İlahi Tutarlılık Belgesi (anlamında Allah'ın varlığının hipotez başlayarak nasıl ayrıntılı olarak gösterir, Gödel'in ontolojik kanıtı ), matematik olduğu gösterilebilir , olağan ZFC aksiyomları ile resmileştirildiği gibi , tutarlıdır.
Friedman, matematikçi Sy Friedman'ın kardeşidir .
Ayrıca bakınız
Referanslar
daha fazla okuma
- LA Harrington vd. , eds., Harvey Friedman'ın matematiğin temelleri üzerine araştırması , Studies in Logic and the Foundations of Mathematics 117, Amsterdam, North-Holland Publishing Company (1985)