Solomon Feferman (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (de) Solomon Feferman (13 de diciembre de 1928-26 de julio de 2016) fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Nació en Nueva York, y recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski. El proceso de su doctorado fue especialmente largo: comenzó trabajando sobre dos problemas propuestos por Tarski, en los que logró resultados, pero no totalmente del gusto de su director, que se negó a aceptar el resultado como tesis. Tras pasar por el ejército, donde sirvió dos años, un encargo de revisión de A. Church para el Journal of Symbolic Logic le puso en la pista de un nuevo tema bastante alejado de los intereses de Tarski; esto inició su obra sobre progresiones de teorías en primer orden y le condujo al doctorado. Fue profesor de la Universidad de Stanford desde 1958, ocupando la cátedra Patrick Suppes desde 1993. En Stanford colaboró con colegas importantes, tales como Paul Cohen, , Dana Scott, y , convirtió a esa universidad en un centro relevante de la teoría de la demostración (proof theory). Feferman fue galardonado con el Premio Schock en lógica y filosofía en 2003 y con las Tarski Lectures en 2006. En 2008 decía de sí mismo: "I’m a philosopher by temperament but not by training, and a philosopher of logic and mathematics in part... by accidents of study and career. Yet it seems to me that if I was destined to be anything it was to be a logician primarily motivated by philosophical concerns." Durante muchos años desarrolló ideas relacionadas con la matemática predicativista, que no acepta todos los principios habituales de la teoría de conjuntos, sino que impone restricciones (relacionadas con el rechazo de las llamadas definiciones impredicativas). Su libro In the Light of Logic ofrece una exposición de los motivos que subyacen a dicho punto de vista, y de cómo toda la matemática empleada en teorías científicas consolidadas es reducible a sistemas de matemática predicativa. Feferman fue el de Collected Works de Kurt Gödel. Junto a su mujer, Anita Feferman, es también el autor de una magnífica biografía de Alfred Tarski. (es) Solomon Feferman (13 décembre 1928-26 juillet 2016) 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 (en) de sciences et humanité, avec des nominations aux départements de mathématiques et philosophie à l'université Stanford. En 2003, Feferman est lauréat du prix Schock en logique et philosophie. En 2012, il est élu fellow de l'American Mathematical Society. Feferman a été rédacteur en chef des Collected Works de Kurt Gödel. (fr) Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. (en) ソロモン・フェファーマン（Solomon Feferman、1928年12月13日 - 2016年7月16日）はアメリカの哲学者、論理学者。数理論理学に業績がある。 フェファーマンはニューヨークに生まれ、1957年、カリフォルニア大学バークレー校のタルスキの下で博士号を取得した。スタンフォード大学の教授として勤めた。フェファーマンは2003年ショック賞（論理学・哲学部門）を受賞し、2006年にはタルスキレクチャーを行っている。また彼はゲーデルの"Collected Works"の編集委員長でもあった。 主な著作に"In the Light of Logic"(Oxford University Press, 1998)など。 (ja) Соломон Феферман (Solomon Feferman; 13 декабря 1928 г., Нью-Йорк — 26 июля 2016 г., Станфорд, Калифорния) — американский математический логик и историк логики. Эмерит-профессор Стэнфордского университета, член Американской академии искусств и наук.Лауреат премии Рольфа Шока по логике и философии (2003). (ru) Solomon Feferman (Nova Iorque, 13 de dezembro de 1928 - 26 de julho de 2016) foi um matemático e filósofo estadunidense. Trabalhou com lógica matemática. Obteve o seu Ph.D. em 1957 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski. Foi professor da Universidade Stanford. Feferman recebeu o Prêmio Schock de Filosofia e Lógica de 2003 e apresentou a Tarski Lectures de 2006. Em 2012 foi eleito fellow da American Mathematical Society. Feferman foi editor chefe do Collected Works de Kurt Gödel. (pt) 所罗门·费弗曼（英語：Solomon Feferman，1928年12月13日－2016年7月26日）是一位美国哲学家和数学家，专攻数理逻辑，2003年获肖克獎。 (zh) |
| dbo:birthDate | 1928-12-13 (xsd:date) |
| dbo:birthPlace | dbr:The_Bronx,_New_York_City |
| dbo:birthYear | 1928-01-01 (xsd:gYear) |
| dbo:deathDate | 2016-07-26 (xsd:date) |
| dbo:deathPlace | dbr:Stanford,_California |
| dbo:deathYear | 2016-01-01 (xsd:gYear) |
| dbo:era | dbr:Contemporary_philosophy |
| dbo:influenced | dbr:Jon_Barwise |
| dbo:influencedBy | dbr:Kurt_Gödel |
| dbo:mainInterest | dbr:Philosophy_of_mathematics |
| dbo:notableIdea | dbr:New_Foundations dbr:Ordinal_collapsing_function dbr:Feferman–Schütte_ordinal dbr:Explicit_mathematics |
| dbo:philosophicalSchool | dbr:Analytic_philosophy dbr:Predicativism |
| dbo:region | dbr:Western_philosophy |
| dbo:thumbnail | wiki-commons:Special:FilePath/Feferman_Solomon.jpg?width=300 |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20171024072327/http:/math.stanford.edu/~feferman https://archive.org/details/alfredtarskilife0000fefe |
| dbo:wikiPageID | 355401 (xsd:integer) |
| dbo:wikiPageLength | 13503 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1114435902 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:California_Institute_of_Technology dbr:Cambridge_University_Press dbr:Carolyn_Talcott dbr:New_Foundations dbc:Rolf_Schock_Prize_laureates dbr:Anita_Burdman_Feferman dbr:Patrick_Suppes dbc:20th-century__American_mathematicians dbr:University_of_California,_Berkeley dbr:Rolf_Schock_Prizes dbc:1928_births dbr:Mathematical_logic dbr:Ordinal_collapsing_function dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:Geoffrey_Hellman dbr:Contemporary_philosophy dbr:Stanford,_California dbr:Stanford_University dbr:Stroke dbr:Feferman–Schütte_ordinal dbr:Mathematician dbc:Jewish_American_scientists dbc:Jewish_philosophers dbc:Mathematical_logicians dbc:University_of_California,_Berkeley_alumni dbc:Philosophers_of_mathematics dbr:Western_philosophy dbr:Gödel_Lecture dbr:Jon_Barwise dbr:Alfred_Tarski dbr:American_Mathematical_Society dbr:Analytic_philosophy dbc:21st-century_American_Jews dbc:Stanford_University_Department_of_Mathematics_faculty dbr:Oxford_University_Press dbc:2016_deaths dbr:Guggenheim_Fellowship dbr:Internet_Archive dbr:The_Bronx dbc:Fellows_of_the_American_Mathematical_Society dbc:American_historians_of_mathematics dbc:American_logicians dbc:Stanford_University_Department_of_Philosophy_faculty dbr:Jeremy_Avigad dbc:21st-century__American_mathematicians dbr:Philosophy_of_mathematics dbr:Kurt_Gödel dbr:New_York_City dbr:Category_theory dbr:World_War_I dbr:Mathematical_Association_of_America dbr:Philosopher dbr:The_Bronx,_New_York_City dbr:Tarski_Lectures dbr:Criticism_of_non-standard_analysis dbr:Predicativism dbr:Predicative_mathematics dbr:Explicit_mathematics |
| dbp:almaMater | dbr:California_Institute_of_Technology University of California, Berkeley (en) |
| dbp:birthDate | 1928-12-13 (xsd:date) |
| dbp:birthPlace | The Bronx, New York City, US (en) |
| dbp:caption | Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004 (en) |
| dbp:deathDate | 2016-07-26 (xsd:date) |
| dbp:deathPlace | Stanford, California, US (en) |
| dbp:doctoralAdvisor | dbr:Alfred_Tarski |
| dbp:doctoralStudents | dbr:Carolyn_Talcott dbr:Jon_Barwise |
| dbp:era | dbr:Contemporary_philosophy |
| dbp:influenced | dbr:Jon_Barwise |
| dbp:influences | dbr:Kurt_Gödel |
| dbp:mainInterests | dbr:Philosophy_of_mathematics |
| dbp:name | Solomon Feferman (en) |
| dbp:notableIdeas | dbr:Ordinal_collapsing_function dbr:Feferman–Schütte_ordinal dbr:Explicit_mathematics Stratified systems for the foundations of category theory (en) |
| dbp:region | dbr:Western_philosophy |
| dbp:schoolTradition | dbr:Analytic_philosophy dbr:Predicativism |
| dbp:thesisTitle | Formal Consistency Proofs and Interpretability of Theories (en) |
| dbp:thesisYear | 1957 (xsd:integer) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Birth_date dbt:Cite_book dbt:ISBN dbt:Infobox_philosopher dbt:Reflist dbt:Short_description dbt:Use_mdy_dates dbt:Death_date_and_age dbt:Schock_Prize_laureates |
| dcterms:subject | dbc:Rolf_Schock_Prize_laureates dbc:20th-century__American_mathematicians dbc:1928_births dbc:Gödel_Lecturers dbc:Tarski_lecturers dbc:Jewish_American_scientists dbc:Jewish_philosophers dbc:Mathematical_logicians dbc:University_of_California,_Berkeley_alumni dbc:Philosophers_of_mathematics dbc:21st-century_American_Jews dbc:Stanford_University_Department_of_Mathematics_faculty dbc:2016_deaths dbc:Fellows_of_the_American_Mathematical_Society dbc:American_historians_of_mathematics dbc:American_logicians dbc:Stanford_University_Department_of_Philosophy_faculty dbc:21st-century__American_mathematicians |
| gold:hypernym | dbr:Philosopher |
| schema:sameAs | http://viaf.org/viaf/34535231 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q4964182 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanLogicians yago:WikicatAmericanPeople dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatLogicians yago:WikicatMathematicalLogicians yago:WikicatRolfSchockPrizeLaureates yago:Acquirer109764201 yago:Adult109605289 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Educator110045713 yago:Expert109617867 yago:Historian110177150 yago:Honoree110183757 yago:Intellectual109621545 yago:Laureate110249011 yago:Lector110252222 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Recipient109627906 yago:WikicatGuggenheimFellows yago:WikicatHistoriansOfMathematics yago:WikicatJewishAmericanScientists yago:WikicatJewishPhilosophers yago:YagoLegalActor yago:YagoLegalActorGeo dbo:Philosopher yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat21st-centuryMathematicians yago:WikicatFellowsOfTheAmericanMathematicalSociety yago:WikicatPhilosophersOfMathematics yago:WikicatTarskiLecturers |
| rdfs:comment | 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. (de) Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. (en) ソロモン・フェファーマン（Solomon Feferman、1928年12月13日 - 2016年7月16日）はアメリカの哲学者、論理学者。数理論理学に業績がある。 フェファーマンはニューヨークに生まれ、1957年、カリフォルニア大学バークレー校のタルスキの下で博士号を取得した。スタンフォード大学の教授として勤めた。フェファーマンは2003年ショック賞（論理学・哲学部門）を受賞し、2006年にはタルスキレクチャーを行っている。また彼はゲーデルの"Collected Works"の編集委員長でもあった。 主な著作に"In the Light of Logic"(Oxford University Press, 1998)など。 (ja) Соломон Феферман (Solomon Feferman; 13 декабря 1928 г., Нью-Йорк — 26 июля 2016 г., Станфорд, Калифорния) — американский математический логик и историк логики. Эмерит-профессор Стэнфордского университета, член Американской академии искусств и наук.Лауреат премии Рольфа Шока по логике и философии (2003). (ru) Solomon Feferman (Nova Iorque, 13 de dezembro de 1928 - 26 de julho de 2016) foi um matemático e filósofo estadunidense. Trabalhou com lógica matemática. Obteve o seu Ph.D. em 1957 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski. Foi professor da Universidade Stanford. Feferman recebeu o Prêmio Schock de Filosofia e Lógica de 2003 e apresentou a Tarski Lectures de 2006. Em 2012 foi eleito fellow da American Mathematical Society. Feferman foi editor chefe do Collected Works de Kurt Gödel. (pt) 所罗门·费弗曼（英語：Solomon Feferman，1928年12月13日－2016年7月26日）是一位美国哲学家和数学家，专攻数理逻辑，2003年获肖克獎。 (zh) Solomon Feferman (13 de diciembre de 1928-26 de julio de 2016) fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Nació en Nueva York, y recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski. Feferman fue galardonado con el Premio Schock en lógica y filosofía en 2003 y con las Tarski Lectures en 2006. En 2008 decía de sí mismo: (es) Solomon Feferman (13 décembre 1928-26 juillet 2016) 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 (en) de sciences et humanité, avec des nominations aux départements de mathématiques et philosophie à l'université Stanford. En 2003, Feferman est lauréat du prix Schock en logique et philosophie. En 2012, il est élu fellow de l'American Mathematical Society. (fr) |
| rdfs:label | Solomon Feferman (en) Solomon Feferman (de) Solomon Feferman (es) Solomon Feferman (fr) ソロモン・フェファーマン (ja) Solomon Feferman (pt) Феферман, Соломон (ru) 所罗门·费弗曼 (zh) |
| owl:sameAs | freebase:Solomon Feferman http://d-nb.info/gnd/128682167 http://viaf.org/viaf/34535231 yago-res:Solomon Feferman https://dblp.org/pid/27/4592 wikidata:Solomon Feferman http://data.bibliotheken.nl/id/thes/p072743379 http://arz.dbpedia.org/resource/سولومون_فيفيرمان dbpedia-de:Solomon Feferman dbpedia-es:Solomon Feferman dbpedia-fa:Solomon Feferman dbpedia-fr:Solomon Feferman dbpedia-ja:Solomon Feferman dbpedia-pt:Solomon Feferman dbpedia-ru:Solomon Feferman dbpedia-sk:Solomon Feferman dbpedia-zh:Solomon Feferman https://global.dbpedia.org/id/56ZZy |
| prov:wasDerivedFrom | wikipedia-en:Solomon_Feferman?oldid=1114435902&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Feferman_Solomon.jpg |
| foaf:homepage | https://web.archive.org/web/20171024072327/http:/math.stanford.edu/~feferman |
| foaf:isPrimaryTopicOf | wikipedia-en:Solomon_Feferman |
| foaf:name | Solomon Feferman (en) |
| is dbo:doctoralAdvisor of | dbr:Carolyn_Talcott |
| is dbo:doctoralStudent of | dbr:Alfred_Tarski |
| is dbo:wikiPageRedirects of | dbr:Feferman dbr:S._Feferman dbr:Sol_Feferman |
| is dbo:wikiPageWikiLink of | dbr:Carolyn_Talcott dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:Model_theory dbr:New_Foundations dbr:1928_in_philosophy dbr:Bienvenido_Nebres dbr:Anita_Burdman_Feferman dbr:List_of_philosophers_born_in_the_20th_century dbr:Peano_axioms dbr:Reverse_mathematics dbr:Richard_Montague dbr:Robert_Lawson_Vaught dbr:Deaths_in_July_2016 dbr:Double-negation_translation dbr:Index_of_philosophy_articles_(R–Z) dbr:List_of_logicians dbr:List_of_people_by_Erdős_number dbr:Rolf_Schock_Prizes dbr:Penrose–Lucas_argument dbr:Mathematical_logic dbr:Gentzen's_consistency_proof dbr:Geoffrey_Hellman dbr:George_Boolos dbr:Continuum_hypothesis dbr:Controversy_over_Cantor's_theory dbr:Theta dbr:Orchestrated_objective_reduction dbr:Ordinal_analysis dbr:Ordinal_notation dbr:Andrzej_Grzegorczyk dbr:Angus_Macintyre dbr:Zermelo–Fraenkel_set_theory dbr:Feferman–Schütte_ordinal dbr:Feferman–Vaught_theorem dbr:Wanda_Szmielew dbr:William_Boone_(mathematician) dbr:Gödel_Lecture dbr:Jon_Barwise dbr:Large_countable_ordinal dbr:List_of_California_Institute_of_Technology_people dbr:Primitive_recursive_functional dbr:Paraconsistent_logic dbr:Alfred_Tarski dbr:Dana_Scott dbr:Hilbert's_tenth_problem dbr:History_of_the_Church–Turing_thesis dbr:List_of_Guggenheim_Fellowships_awarded_in_1972 dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:List_of_Jewish_mathematicians dbr:List_of_Stanford_University_people dbr:Proof_theory dbr:2003_in_philosophy dbr:Gödel's_incompleteness_theorems dbr:Jean_van_Heijenoort dbr:Stanford_University_centers_and_institutes dbr:Charles_Parsons_(philosopher) dbr:Theory_of_everything dbr:Association_for_Symbolic_Logic dbr:Automatic_Press_/_VIP dbr:Impredicativity dbr:Independence-friendly_logic dbr:Kurt_Gödel dbr:Set_theory dbr:Mechanism_(philosophy) dbr:Shadows_of_the_Mind dbr:Richard's_paradox dbr:Ruy_de_Queiroz dbr:Tarski_Lectures dbr:Feferman dbr:Takeuti–Feferman–Buchholz_ordinal dbr:S._Feferman dbr:Sol_Feferman |
| is dbp:doctoralAdvisor of | dbr:Carolyn_Talcott |
| is foaf:primaryTopic of | wikipedia-en:Solomon_Feferman |
