Solomon Feferman

Solomon Feferman

Solomon Feferman (b. December 13, 1928) is an American philosopher and mathematician with major works in mathematical logic. He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley under Alfred Tarski. He is a Stanford University professor.

Feferman was awarded the Schock Prize in logic and philosophy in 2003 and delivered the Tarski Lectures in 2006.

Feferman was the editor-in-chief of the "Collected Works" of Kurt Gödel.

Partial list of publications

* "In the Light of Logic" (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) [http://orion.uci.edu/~aldo/papers/fef.pdf review] .

External links

* [http://math.stanford.edu/~feferman/ Solomon Feferman official website] at Stanford University
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Solomon Feferman — (* 13. Dezember 1928 in New York City) ist ein US amerikanischer Mathematiker, der sich mit mathematischer Logik und Philosophie der Mathematik beschäftigt. Inhaltsverzeichnis 1 Leben und Werk 2 Literatur 3 Schriften …   Deutsch Wikipedia

  • Solomon Feferman — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Feferman–Schütte ordinal — In mathematics, the Feferman–Schütte ordinal Gamma;0 is a large countable ordinal.It is the proof theoretic ordinal of several mathematical theories.It is named after Solomon Feferman and Kurt Schütte.It is sometimes said to be the first… …   Wikipedia

  • Ordinal de Feferman-Schütte — En mathématiques, et plus précisément en théorie des ensembles, l’ordinal de Feferman–Schütte, noté Γ0, est un grand ordinal dénombrable, étudié par Solomon Feferman (en) et Kurt Schütte (en). Définition L …   Wikipédia en Français

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

  • Dana Scott — Dana Stewart Scott Born October 11, 1932 (1932 10 11) (age 79) …   Wikipedia

  • Ordinal notation — In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal… …   Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Orch-OR — (Orchestrated Objective Reduction) is a theory of consciousness, which is the joint work of theoretical physicist Sir Roger Penrose and anesthesiologist Stuart Hameroff. Mainstream theories assume that consciousness emerges from the brain, and… …   Wikipedia

  • George Boolos — Infobox Person name = George Boolos birth date = birth date|1940|9|4|mf=y birth place = New York, New York, U.S. death date = death date and age|1996|5|27|1940|9|4|mf=y death place = Cambridge, Massachusetts, U.S.George Stephen Boolos (September… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”