Solomon Feferman

http://dbpedia.org/resource/Solomon_Feferman an entity of type: Thing

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. rdf:langString
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. rdf:langString
ソロモン・フェファーマン(Solomon Feferman、1928年12月13日 - 2016年7月16日)はアメリカの哲学者、論理学者。数理論理学に業績がある。 フェファーマンはニューヨークに生まれ、1957年、カリフォルニア大学バークレー校のタルスキの下で博士号を取得した。スタンフォード大学の教授として勤めた。フェファーマンは2003年ショック賞(論理学・哲学部門)を受賞し、2006年にはタルスキレクチャーを行っている。また彼はゲーデルの"Collected Works"の編集委員長でもあった。 主な著作に"In the Light of Logic"(Oxford University Press, 1998)など。 rdf:langString
Соломон Феферман (Solomon Feferman; 13 декабря 1928 г., Нью-Йорк — 26 июля 2016 г., Станфорд, Калифорния) — американский математический логик и историк логики. Эмерит-профессор Стэнфордского университета, член Американской академии искусств и наук.Лауреат премии Рольфа Шока по логике и философии (2003). rdf:langString
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. rdf:langString
所罗门·费弗曼(英語:Solomon Feferman,1928年12月13日-2016年7月26日)是一位美国哲学家和数学家,专攻数理逻辑,2003年获肖克獎。 rdf:langString
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: rdf:langString
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. rdf:langString
rdf:langString Solomon Feferman
rdf:langString Solomon Feferman
rdf:langString Solomon Feferman
rdf:langString Solomon Feferman
rdf:langString ソロモン・フェファーマン
rdf:langString Solomon Feferman
rdf:langString Феферман, Соломон
rdf:langString 所罗门·费弗曼
rdf:langString Solomon Feferman
rdf:langString Solomon Feferman
rdf:langString Stanford, California, US
xsd:date 2016-07-26
rdf:langString The Bronx, New York City, US
xsd:date 1928-12-13
xsd:integer 355401
xsd:integer 1114435902
rdf:langString Formal Consistency Proofs and Interpretability of Theories
xsd:integer 1957
rdf:langString University of California, Berkeley
xsd:date 1928-12-13
rdf:langString Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004
xsd:date 2016-07-26
rdf:langString 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.
rdf:langString 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.
rdf:langString 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.
rdf:langString Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic.
rdf:langString ソロモン・フェファーマン(Solomon Feferman、1928年12月13日 - 2016年7月16日)はアメリカの哲学者、論理学者。数理論理学に業績がある。 フェファーマンはニューヨークに生まれ、1957年、カリフォルニア大学バークレー校のタルスキの下で博士号を取得した。スタンフォード大学の教授として勤めた。フェファーマンは2003年ショック賞(論理学・哲学部門)を受賞し、2006年にはタルスキレクチャーを行っている。また彼はゲーデルの"Collected Works"の編集委員長でもあった。 主な著作に"In the Light of Logic"(Oxford University Press, 1998)など。
rdf:langString Соломон Феферман (Solomon Feferman; 13 декабря 1928 г., Нью-Йорк — 26 июля 2016 г., Станфорд, Калифорния) — американский математический логик и историк логики. Эмерит-профессор Стэнфордского университета, член Американской академии искусств и наук.Лауреат премии Рольфа Шока по логике и философии (2003).
rdf:langString 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.
rdf:langString 所罗门·费弗曼(英語:Solomon Feferman,1928年12月13日-2016年7月26日)是一位美国哲学家和数学家,专攻数理逻辑,2003年获肖克獎。
rdf:langString Stratified systems for the foundations of category theory
xsd:nonNegativeInteger 13503
xsd:gYear 1928
xsd:gYear 2016

data from the linked data cloud