Solomon Feferman

Solomon Feferman Biyografi

Doğum	13 Aralık 1928 New York
Ölüm	26 Temmuz 2016 (87'de)
Milliyet	Amerikan
Eğitim	Berkeley'deki California Üniversitesi
Aktiviteler	Matematikçi , matematik tarihçisi , filozof , üniversite profesörü

Diğer bilgiler

İçin çalıştı	Stanford Felsefe Fakültesi ( d ) , Stanford Üniversitesi
Alan	Matematiksel mantık
Üyesi	American Mathematical Society American Academy of Arts and Sciences
Süpervizör	Alfred Tarski
Ödüller

Solomon Feferman (13 Aralık 1928-26 Temmuz 2016) matematiksel mantıkta aktif olan Amerikalı bir filozof ve matematikçiydi . New York'ta doğdu. Doktora derecesini , Alfred Tarski'nin gözetiminde Berkeley'deki California Üniversitesi'nden 1957'de aldı . Öyleydi Fahri Profesör Patrick Suppes (in) de matematik ve felsefe bölümlere aday ile, bilim ve insanlık Stanford Üniversitesi .

2003 yılında Feferman , Mantık ve Felsefede Schock Ödülü'nü kazandı . 2012 yılında, o bir seçildi dost arasında Amerikan Matematik Derneği .

Feferman yazı işleri müdürü oldu ve Kurt Gödel oluyor Toplu Eserler .

Yayınlar (seçim)

In the Light of Logic (Oxford University Press, 1998, ( ISBN 0-19-508030-0 ) , Mantık ve Felsefede Hesaplama serisi).
Avigad, J .; Feferman, S. (1998), Gödel'in işlevsel ( Dialectica ) yorumu. İspat teorisi el kitabı, 337–405, Stud. Mantık Bulundu. Math., 137, Kuzey-Hollanda, Amsterdam.
Feferman, S .; Vaught, RL (1959), Cebirsel sistemlerin çarpımlarının birinci dereceden özellikleri , Fund. Matematik. 47, 57–103.
Feferman, Solomon (1979), Fonksiyonların ve sınıfların yapıcı teorileri , Logic Colloquium 78 (Mons, 1978), s. 159–224 , Stud. Mantık Temelleri Matematik., 97, Kuzey-Hollanda, Amsterdam-New York.
Feferman, Solomon (1975), Açık matematik için bir dil ve aksiyomlar. Cebir ve mantık (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), s. 87–139 . Matematik Ders Notları, Cilt. 450, Springer, Berlin.
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), Yinelenen tümevarımlı tanımlamalar ve analiz alt sistemleri: son kanıt-teorik çalışmalar , Matematikte Ders Notları, 897. Springer-Verlag, Berlin-New York.
Feferman, Solomon; Hellman, Geoffrey (1995), aritmetiğin tahmini temelleri , J. Philos. Mantık 24, hayır. 1, 1–17.
ile Anita Burdman Feferman : Alfred Tarski: Yaşam ve Mantık (Cambridge University Press, 2004).

(fr) Bu makale kısmen veya tamamen alınır İngilizce Vikipedi başlıklı makalesinde " Solomon Feferman " ( yazarların listesini görmek ) .