Solomon Feferman

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Feferman.

Solomon Feferman
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 87 ans)
StanfordVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Département de philosophie de l'université Stanford (d)
Université StanfordVoir et modifier les données sur Wikidata
Membre de
Directeur de thèse
Distinctions

modifier - modifier le code - modifier WikidataDocumentation du modèle

Solomon Feferman (-[1]) est un philosophe et mathématicien américain actif en logique mathématique. Né à New York, il obtient son Ph.D. en 1957 de l'université de Californie à Berkeley sous la direction d'Alfred Tarski. Il est professeur émérite Patrick Suppes (en) de sciences et humanité, avec des nominations aux départements de mathématiques et philosophie à l'université Stanford[2].

En 2003, Feferman est lauréat du prix Schock en logique et philosophie[3]. En 2012, il est élu fellow de l'American Mathematical Society[4].

Feferman a été rédacteur en chef des Collected Works de Kurt Gödel.

Publications (sélection)

  • In the Light of Logic (Oxford University Press, 1998, (ISBN 0-19-508030-0), Logic and Computation in Philosophy series).
  • Avigad, J. ; Feferman, S. (1998), Gödel's functional (Dialectica) interpretation. Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
  • Feferman, S. ; Vaught, R. L. (1959), The first order properties of products of algebraic systems, Fund. Math. 47, 57–103.
  • Feferman, Solomon (1979), Constructive theories of functions and classes, Logic Colloquium 78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
  • Feferman, Solomon (1975), A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
  • Buchholz, Wilfried ; Feferman, Solomon ; Pohlers, Wolfram ; Sieg, Wilfried (1981), Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
  • Feferman, Solomon; Hellman, Geoffrey (1995), Predicative foundations of arithmetic, J. Philos. Logic 24, no. 1, 1--17.
  • avec Anita Burdman Feferman : Alfred Tarski: Life and Logic (Cambridge University Press, 2004).

Notes et références

  1. ↑ (en) « Solomon Feferman (1928-2016) », sur illc.uva.nl (consulté le )
  2. ↑ (en) « Solomon Feferman's homepage », sur math.stanford.edu
  3. ↑ (en) « Feferman awarded Rolf Schock Prize in logic and philosophy », sur news.stanford.edu,
  4. ↑ List of Fellows of the American Mathematical Society, consulté le 12 janvier 2012.

Liens externes

v · m
Lauréats du prix Schock
Logique et philosophie
Mathématiques
Arts visuels
Arts musicaux

Read other articles:

Mechanized infantry

Units with transport and combat vehicles 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: Mechanized infantry – news · newspapers · books · scholar · JSTOR (September 2014) (Learn how and when to remove this template message) U.S. Army mechanized infantry dismount from an M113 armored personnel carrier durin...

 

العلاقات النرويجية الموريشيوسية

العلاقات النرويجية الموريشيوسية النرويج موريشيوس   النرويج   موريشيوس تعديل مصدري - تعديل   العلاقات النرويجية الموريشيوسية هي العلاقات الثنائية التي تجمع بين النرويج وموريشيوس.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدول�...

 

العلاقات الإماراتية السنغالية

العلاقات الإماراتية السنغالية الإمارات العربية المتحدة السنغال   الإمارات العربية المتحدة   السنغال تعديل مصدري - تعديل   العلاقات الإماراتية السنغالية هي العلاقات الثنائية التي تجمع بين الإمارات العربية المتحدة والسنغال.[1][2][3][4][5] مقار...

العلاقات البوسنية الفرنسية

العلاقات البوسنية الفرنسية البوسنة والهرسك فرنسا   البوسنة والهرسك   فرنسا تعديل مصدري - تعديل   العلاقات البوسنية الفرنسية هي العلاقات الثنائية التي تجمع بين البوسنة والهرسك وفرنسا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية لل...

 

Public hearings of the United States House Select Committee on the January 6 Attack

2022 series of congressional hearings Public hearings of the United States House Select Committee on the January 6 AttackEventHouse hearings derived from the January 6 United States Capitol attackTimeJune–December 2022PlaceWashington, D.C.Congressman Bennie ThompsonResultRecommendation of criminal charges against former President Donald Trump January 6 United States Capitol attack Timeline • Planning Background 2020 presidential election and other causes 2020–21 presidential election pr...

 

2022 Saarland state election

German state election 2022 Saarland state election ← 2017 27 March 2022 2027 → All 51 seats in the Landtag of Saarland26 seats needed for a majorityTurnout458,223 (61.4% 8.3pp)   First party Second party Third party   AfD Candidate Anke Rehlinger Tobias Hans None[a] Party SPD CDU AfD Last election 17 seats, 29.6% 24 seats, 40.7% 3 seats, 6.2% Seats won 29 19 3 Seat change 12 5 0 Popular vote 196,801 129,154 25,719 Percentage 43.5% 28...

The Cult of the Self

Book trilogy by French author Maurice Barrès Sous l’Œil des Barbares (1888) Un Homme Libre (1889) Le Jardin de Bérénice (1891) The Cult of the Self (French: Le Culte du moi) is a trilogy of books by French author Maurice Barrès, sometimes called his trilogie du moi.[1] The trilogy was influenced by Romanticism, and it also made an apology of the pleasure of the senses.[2] Background Barrès wrote the works while living in Italy. The first book, Under the Eyes of the Bar...

 

Человек прямоходящий

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

Dorothy Parker

Dorothy ParkerPekerjaanNovelis, Penyair, Kritikus, Penulis NaskahKebangsaanAmericanGenrePoetry, satireAliran sastramodernismeKarya terkenalEnough Rope, A Star Is BornPenghargaanO. Henry Award 1929 PasanganEdwin Pond Parker II (1917-1928) Alan Campbell (1934-1947) Alan Campbell (1950-1963) Dorothy Parker ( lahir di West End, New Jersey, 22 Agustus 1893 – 7 Juni 1967) adalah seorang novelis, penyair, kritikus, dan penulis naskah Amerika.[1][2] Dorothy P...

Teorema binomial

Koefisien binomial dapat dilihat pada segitiga Pascal dimana setiap entri adalah hasil penjumlahan dua angka di atasnya. Dalam aljabar elementer, teorema binomial adalah teorema yang menjelaskan mengenai pengembangan eksponen dari penjumlahan antara dua variabel (binomial). Berdasarkan teorema ini, dimungkinkan untuk mengembangkan eksponen (x + y)n menjadi sebuah penjumlahan dari suku-suku dengan bentuk axbyc, dimana eksponen b dan c adalah bilangan bulat non negatif dengan b + c = ...

 

Marmaduke Pickthall

Marmaduke PickthallLahir(1876-04-07)7 April 1876Harrow, LondonMeninggal19 Mei 1936(1936-05-19) (umur 60)Brookwood, SurreyPekerjaanSarjana muslim Muhammad Marmaduke William Pickthall (1875-1936) adalah seorang intelektual Muslim Barat, yang terkenal dengan terjemahan Al Qur'an yang puitis dan akurat dalam bahasa Inggris. Ia merupakan pemeluk agama Kristen yang kemudian berpindah agama memeluk Islam. Pickthall adalah juga seorang novelis, yang diakui oleh D.H Lawrence, H.G Wells dan E.M F...

 

约翰斯顿环礁

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌：《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

Rhinecanthus

Rhinecanthus Rhinecanthus aculeatus Klasifikasi ilmiah Domain: Eukaryota Kerajaan: Animalia Filum: Chordata Kelas: Actinopterygii Ordo: Tetraodontiformes Famili: Balistidae Genus: RhinecanthusSwainson, 1839 Spesies[1] Rhinecanthus abyssus Matsuura & Shiobara, 1989 Rhinecanthus aculeatus Linnaeus, 1758 Rhinecanthus assasi Forsskål, 1775 Rhinecanthus cinereus Bonnaterre, 1788 Rhinecanthus lunula J. E. Randall & Steene, 1983 Rhinecanthus rectangulus Bloch & J. G. Schneider,...

 

2016 in video games

Overview of the events of 2016 in video games List of years in video games … 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 … Art Archaeology Architecture Literature Music Philosophy Science +... Numerous video games were released in 2016. New hardware came out as well, albeit largely refreshed and updated versions of consoles in the PlayStation 4 Pro, PlayStation 4 Slim, and Xbox One S. Commercially available virtual reality head...

 

Humanoid robot

Body shape similar to a human Ameca generation 1 pictured in the lab at Engineered Arts Ltd. A humanoid robot is a robot resembling the human body in shape. The design may be for functional purposes, such as interacting with human tools and environments, for experimental purposes, such as the study of bipedal locomotion, or for other purposes. In general, humanoid robots have a torso, a head, two arms, and two legs, though some humanoid robots may replicate only part of the body, for example,...

Billboard Year-End Hot 100 singles of 2007

This is a list of Billboard magazine's Top Hot 100 songs of 2007.[1] Beyoncé topped the chart with her song Irreplaceable and reached number 62 with Beautiful Liar, a collaboration with Shakira. Barbadian singer Rihanna had three songs on the chart, Umbrella at position 2 and Shut Up and Drive at position 90 from her album Good Girl Gone Bad, and Break It Off at position 85 from her album A Girl Like Me. Akon lent his vocals to six songs on the chart, four of which are in the top tw...

 

1920 North Dakota gubernatorial election

Election for the governor of North Dakota For related races, see 1920 United States gubernatorial elections. 1920 North Dakota gubernatorial election ← 1918 November 2, 1920 1921 (recall) →   Nominee Lynn Frazier James Francis Thaddeus O'Connor Party Republican Democratic Popular vote 117,118 112,488 Percentage 51.01% 48.99% County results Frazier:      50–60%      60–70%      70–8...

 

Reichskammergericht

One of two high courts of Holy Roman Empire This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Reichskammergericht – news · newspapers · books · scholar · JSTOR (February 2012) Session of the Imperial Chamber Court in Wetzlar, 1750 The Reichskammergericht (German for 'Imperial Chamber Court'; ...

246e régiment d'infanterie

Cet article est une ébauche concernant une unité ou formation militaire française. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. 246e régiment d'infanterie Création août 1914 Pays France Branche Armée de terre Type Régiment d'infanterie Rôle Infanterie Inscriptionssur l’emblème La Marne 1914Artois 1915 Anniversaire Saint-Maurice Guerres Première Guerre mondiale Batailles 1918 - 2e Bataille de...

 

North Towne Square

Former shopping mall in Toledo, Ohio NorthTowne SquareLocationToledo, Ohio, United StatesCoordinates41°43′31″N 83°32′30″W / 41.725395°N 83.541567°W / 41.725395; -83.541567Opening dateMarch 13th 1981Closing dateFebruary 21st 2005(demolished January-spring 2013)DeveloperMelvin Simon & AssociatesNo. of stores and services91 (when open)No. of anchor tenants3 (all vacant)Total retail floor area758,000 square feet (70,420.5 m2)[1]No. of floors1 (...