Solomon Feferman
Encyclopedia
Solomon Feferman is an American
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...

 philosopher and mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....

 with major works in mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...

.
He was born in New York City, New York, and received his Ph.D. in 1957 from the University of California, Berkeley
University of California, Berkeley
The University of California, Berkeley , is a teaching and research university established in 1868 and located in Berkeley, California, USA...

 under Alfred Tarski
Alfred Tarski
Alfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...

. He is a Stanford University
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...

 professor
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...

.

Feferman was awarded the Schock Prize
Schock prize
The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock . The prizes were first awarded in Stockholm, Sweden, in 1993 and have been awarded every two years since...

 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
Kurt Gödel
Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...

.

Publications

  • In the Light of Logic (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.
  • 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
    Geoffrey Hellman
    Geoffrey Hellman is an American professor and philosopher. He is Chairman of the Department of Philosophy at the University of Minnesota in Minneapolis, Minnesota.-Education:He obtained his B.A. and Ph.D...

     (1995) Predicative foundations of arithmetic. J. Philos. Logic 24, no. 1, 1--17.

External links

  • Solomon Feferman official website at Stanford University
    Stanford University
    The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK