| 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
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:deathYear
| |
| dbo:era
| |
| dbo:influenced
| |
| dbo:influencedBy
| |
| dbo:mainInterest
| |
| dbo:notableIdea
| |
| dbo:philosophicalSchool
| |
| dbo:region
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 13503 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| 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
| |
| dbp:deathPlace
|
- Stanford, California, US (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:era
| |
| dbp:influenced
| |
| dbp:influences
| |
| dbp:mainInterests
| |
| dbp:name
| |
| dbp:notableIdeas
| |
| dbp:region
| |
| dbp:schoolTradition
| |
| dbp:thesisTitle
|
- Formal Consistency Proofs and Interpretability of Theories (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is foaf:primaryTopic
of | |
