Solomon Feferman

Solomon Feferman, 2004

Solomon Feferman (* 13. Dezember 1928 in New York City; † 26. Juli 2016 in Stanford, Kalifornien) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Philosophie der Mathematik beschäftigte.

Leben und Werk

Feferman studierte am Caltech (Bachelor 1948) Mathematik, war zwei Jahre 1953 bis 1955 bei der US-Armee als Wehrdienstleistender und promovierte 1957 bei Alfred Tarski an der University of California, Berkeley (Formal Consistency Proofs and Interpretability of Theories). Ab 1956 war er an der Stanford University, zuerst als Instructor, ab 1958 als Assistant Professor für Mathematik und Philosophie, ab 1962 als Associate Professor und ab 1968 als Professor. Ab 2004 ist er dort Professor Emeritus. Er war unter anderem Gastprofessor an der Universität Oxford, der Universität Paris, am Massachusetts Institute of Technology (1967/68), der Universität Amsterdam, der Universität Rom, der ETH Zürich, der Stanford University, dem Mittag-Leffler-Institut in Stockholm.

Feferman beschäftigte sich mit mathematischer Logik (Beweistheorie, Berechenbarkeitstheorie), Grundlagen der Mathematik, Philosophie der Mathematik und Geschichte der Logik. Er war in den 1960er Jahren der erste nach Paul Cohen, der dessen Forcing Methode für Unabhängigkeitsbeweise in der Mengenlehre anwandte (und wurde auch von Cohen häufig konsultiert, als dieser seine Forcing Methode in Stanford entwickelte).

Feferman führte Mitte der 1960er Jahre unabhängig von Kurt Schütte die Feferman-Schütte-Ordinalzahl in der Beweistheorie ein.

Sein Vortrag Does Mathematics Need New Axioms?[1] auf dem Treffen der American Mathematical Society 1997 war Anlass einer Debatte.[2]

1972/73 und 1986/87 war er Guggenheim Fellow. 1990 wurde er Fellow der American Academy of Arts and Sciences. 2003 erhielt er den Rolf-Schock-Preis. 2006 hielt er die Tarski Lectures in Berkeley. 1970 war er Invited Speaker auf dem Internationalen Mathematikerkongress (ICM) in Nizza (Ordinals and functionals in proof theory). Er ist Fellow der American Mathematical Society.

1982 bis 2003 war er Herausgeber der Gesammelten Werke von Kurt Gödel. Er gab auch die Werke von Julia Robinson heraus und schrieb eine Biografie von Alfred Tarski, zusammen mit seiner Ehefrau, der Schriftstellerin Anita Burdman Feferman[3] (* 1927 † 2015), für deren Biographie von Jean Van Heijenoort er auch einen Anhang schrieb. Beide kannten diesen persönlich.

Zu seinen Doktoranden zählt Jon Barwise.

Schriften

  • mit Anita Burdman Feferman: Alfred Tarski. Life and Logic. Cambridge University Press, Cambridge u. a. 2004, ISBN 0-521-80240-7.
  • In the light of Logic. Oxford University Press, Oxford u. a. 1998, ISBN 0-19-508030-0 (Essays).

Literatur

  • Wilfried Sieg, Richard Sommer, Carolyn Talcott (Hrsg.): Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman (= Lecture Notes in Logic. 15). A. K. Peters u. a., Natick MA 2002, ISBN 1-56881-169-1.

Einzelnachweise

  1. ↑ American Mathematical Monthly. Band 106, Nr. 2, 1999, S. 99–111, JSTOR:2589047.
  2. ↑ Solomon Feferman, Harvey Friedman, Penelope Maddy, John R. Steel: Does Mathematics Need New Axioms? In: Bulletin of Symbolic Logic. Bd. 6, Nr. 4, 2000, S. 401–446, JSTOR:420965.
  3. ↑ Biografie von Anita Burdman Feferman (Memento vom 5. August 2010 im Internet Archive)
Personendaten
NAME Feferman, Solomon
KURZBESCHREIBUNG US-amerikanischer Mathematiker
GEBURTSDATUM 13. Dezember 1928
GEBURTSORT New York City
STERBEDATUM 26. Juli 2016
STERBEORT Stanford (Kalifornien)

Read other articles:

ISTAC

ISTAC (International Institute of Islamic Thought and Civilization atau Institut Antarabangsa Pemikiran dan Tamadun Islam) Kuala Lumpur Malaysia adalah lembaga pendidikan tinggi yang digagas dan dipimpin oleh Profesor Syed Muhammad Naquib al-Attas khusus untuk program studi pascasarjana (S2 dan S3)[1] dengan tiga pilihan konsentrasi: Pemikiran Islam (Islamic Thought), Sains Islam (Islamic Science), dan Peradaban Islam (Islamic Civilization).[2] Didirikan pada 27 Februari 1987 ...

 

Mitologi Meitei

Mitologi Meitei (Mitologi Manipuri atau Mitologi Kanglei), adalah kumpulan cerita tradisional, yang berkaitan dengan asal muasal legendaris Manipur Kuno dan sistem religius, sebagaimana direpresentasikan dalam sastra dan seni visual etnis Manipuri.[1][2][3][4] Tablo Manipur , yang menggambarkan makhluk mitos dari mitologi Meitei , dalam Parade Hari Republik India , di New Delhi Mitologi Meitei juga dapat berarti analisis modern atas representasi ini, dan subjek...

 

Chinese Taipei at the 2017 World Aquatics Championships

Sporting event delegationChinese Taipei at the2017 World Aquatics ChampionshipsFlag of Chinese TaipeiFINA codeTPENational federationChinese Taipei Swimming AssociationWebsitewww.swimming.org.twin Budapest, HungaryCompetitors9 in 1 sportMedals Gold 0 Silver 0 Bronze 0 Total 0 World Aquatics Championships appearances197319751978198219861991199419982001200320052007200920112013201520172019202220232024 Chinese Taipei competed at the 2017 World Aquatics Championships in Budapest, Hungary from 14 J...

Байда (лодка)

У этого термина существуют и другие значения, см. Байда. Большая морская моторная лодка «Самурай-615», длина 6150 мм, ширина 2200 мм, подвесные моторы мощностью до 175 л. с., выпускается во Владивостоке.У браконьеров Каспия моторные лодки ещё больше. Байда (браконьерская морс...

 

Brazilian Integralist Action

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Brazilian Integralist Action – news · newspapers · books · scholar · JSTOR (October 2013) (Learn how and when to remove this message) Political party in Brazil Brazilian Integralist Action Ação Integralista BrasileiraPresidentPlínio SalgadoFoundedOctober...

 

Cyanonilutamide

Chemical compound CyanonilutamideClinical dataOther namesRU-56279Drug classNonsteroidal antiandrogenIdentifiers IUPAC name 4-(4,4-Dimethyl-2,5-dioxoimidazolidin-1-yl)-2-(trifluoromethyl)benzonitrile CAS Number143782-20-1 YPubChem CID11162285ChemSpider9337385UNII6PAG4TC385ChEMBLChEMBL146858Chemical and physical dataFormulaC13H10F3N3O2Molar mass297.237 g·mol−13D model (JSmol)Interactive image SMILES CC1(C(=O)N(C(=O)N1)C2=CC(=C(C=C2)C#N)C(F)(F)F)C InChI InChI=1S/C13H10F3N3O2/c1-12(2...

Всемирная ассоциация по развитию филателии

Содержание 1 Состав 2 История и цели 3 Издание пособия 4 Проект WNS 5 «Кодекс этики» 6 См. также 7 Примечания 8 Литература 9 Ссылки Всемирная ассоциация по развитию филателии Тип организации международная ассоциация[d] Основание Дата основания 1997 Всеми́рная ассоциа́ция по разв...

 

نوكيا 3285

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) نوكيا 3285معلومات عامةالنوع هاتف محمول الصانع نوكيا تعديل - تعديل مصدري - تعديل ويكي بيانات نوكيا 3285 هو أحد أج...

 

Ken Griffey Jr.'s Slugfest

1999 video game 1999 video gameKen Griffey Jr.'s SlugfestNorth American Nintendo 64 box artDeveloper(s)Angel Studios (N64)Software Creations (GBC)Publisher(s)NintendoPlatform(s)Game Boy Color, Nintendo 64ReleaseNintendo 64NA: May 10, 1999[1]Game Boy ColorNA: June 3, 1999[2]Genre(s)SportsMode(s)Single-player, multiplayer Ken Griffey Jr.'s Slugfest is a baseball video game developed by Angel Studios and published by Nintendo for the Nintendo 64. It was released in May 1999 only ...

أويتا ترينيتا

أويتا ترينيتا تأسس عام 1994  الملعب ملعب أويتا  البلد اليابان  الدوري الدوري الياباني لكرة القدم 2019  [لغات أخرى]‏  المدرب توموهيرو كاتانوساكا  الموقع الرسمي الموقع الرسمي  تعديل مصدري - تعديل   أويتا ترينيتا (باليابانية: 大分トリニータ) هو نادي كرة قدم ي�...

 

History of the Central Intelligence Agency

See also: Director of Central Intelligence and Clandestine HUMINT and Covert Action Main article: Central Intelligence Agency The lives of 139 fallen CIA officers are represented by 139 stars on the CIA Memorial Wall in the Original Headquarters building. The United States Central Intelligence Agency (CIA) dates from September 18, 1947, when President Harry S. Truman signed the National Security Act of 1947 into law. A major impetus that has been cited over the years[citation needed]...

 

BBC Studios Productions

British content production company BBC Studios Productions LimitedFormerlyBBC Studios Limited (2015–2018)[1]Company typeDivisionIndustryTelevision productionFounded27 February 2015[1]Area servedUnited KingdomRevenue £423 million (2022)Net income £24 million (2022)Total assets £32 million (2022)OwnerBBCParentBBC StudiosDivisionsBBC Studios Science UnitBBC Studios Factual Entertainment ProductionsBBC Studios Music ProductionsBBC Studios Entertainment ProductionsBBC Studios ...

فوكسبورو

فوكسبورو     الإحداثيات 42°03′55″N 71°14′54″W / 42.065277777778°N 71.248333333333°W / 42.065277777778; -71.248333333333   [1] تاريخ التأسيس 1704  تقسيم إداري  البلد الولايات المتحدة[2][3]  التقسيم الأعلى مقاطعة نورفولك  خصائص جغرافية  المساحة 54.130751 كيلومتر مربع  ارتف...

 

Alfred Hitchcock

English film director (1899–1980) Hitchcock and Master of Suspense redirect here. For the album, see Master of Suspense (album). For the police officer, see Alf Hitchcock. For other uses, see Hitchcock (disambiguation). SirAlfred HitchcockKBEHitchcock, c. 1960sBornAlfred Joseph Hitchcock(1899-08-13)13 August 1899Leytonstone, Essex, EnglandDied29 April 1980(1980-04-29) (aged 80)Los Angeles, California, USCitizenshipUnited KingdomUnited States (from 1955)OccupationsFilm directorpro...

 

Antonio de Nebrija

Monumento ad Antonio de Nebrija a Madrid (Anselmo Nogués, XIX secolo). Elio Antonio de Nebrija, nato Antonio Martínez de Calá y Xarava (Lebrija, 1441 – Alcalá de Henares, 5 luglio 1522), è stato un umanista, pedagogo e grammatico spagnolo. Scrisse anche opere minori sul diritto, sui numeri e sulla botanica. È conosciuto anche come Antonio de Lebrija (o Antonio Nebrissense; in latino Antonius Nebrissensis nell'edizione delle Introductiones Latinae del 1501, oppure Antonio Lebrisse...

ديناميكا جزيئية

مثال على محاكاة ديناميات الجزيئية في نظام بسيط: ترسب أحد النحاس (النحاس) ذرة في البلورة الباردة من النحاس (مؤشر ميلر (001) سطح). تمثل كل دائرة موضع ذرة واحدة. يتم إعادة توزيع الطاقة الحركية للذرة التي تقترب من القمة بين الذرات الأخرى، لذلك بدلاً من الارتداد، تظل مرتبطة بسبب قوى ...

 

Martin Sorrell

British businessman Sir Martin SorrellSorrell in 2022BornMartin Stuart Sorrell (1945-02-14) 14 February 1945 (age 79)London, EnglandEducationHaberdashers' Boys' School, ElstreeAlma materChrist's College, CambridgeHarvard UniversityOccupationBusinessmanKnown forSaatchi & SaatchiWPP GroupS4 CapitalSpouses Sandra Finestone ​ ​(m. 1970⁠–⁠2005)​ Cristiana Falcone-Sorrell ​ ​(m. 2008)​ Child...

 

Années 1970

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article contient une ou plusieurs listes (mars 2008). Ces listes gagneraient à être rédigées sous la forme de paragraphes synthétiques, plus agréables à la lecture, les listes pouvant être aussi introduites par une partie rédigée et sourcée, de façon à bien resituer les différents items.D'autre part, Wikipédia n'a pas pour rôle de constituer une base de données et privilégie un contenu encyc...

Christian Rudolph (billiards player)

German carom billiards player For the East German athlete, see Christian Rudolph. Christian Rudolph 2013 after winning his 9th German Championship in 3-cushion. Christian Rudolph (born 14 January 1965 in Cologne) is a German carom billiards player and multiple world champion in three-cushion billiards.[1] He is the son of carom billiards champion Ernst Rudolph.[2] Personal life His father Ernst, a 17-time German champion and two-time European Vice Champion, was an important Ge...

 

List of highways numbered 318

The following highways are numbered 318: Canada Nova Scotia Route 318 Prince Edward Island Route 318 Saskatchewan Highway 318 China China National Highway 318 Costa Rica National Route 318 Japan Japan National Route 318 United States Arkansas Highway 318 Colorado State Highway 318 Connecticut Route 318 Florida: Florida State Road 318 (former) County Road 318, several roads in Florida Georgia State Route 318 (former) Indiana State Road 318 (former) Louisiana Highway&#...