Gerald E. Sacks

Gerald Sacks Biyografi
Doğum 22 Mart 1933
Brooklyn
Ölüm 4 Ekim 2019(86'da)
Falmouth
Milliyet Amerikan
Eğitim Harvard
Üniversitesi Cornell Üniversitesi
Aktiviteler Matematikçi , filozof , üniversite profesörü
Diğer bilgiler
İçin çalıştı Massachusetts Teknoloji Enstitüsü , Harvard Üniversitesi
Süpervizör John Barkley Rosser
Ayrım Guggenheim bursu

Gerald Enoch Sacks (1933, Brooklyn doğumlu ), esas olarak özyineleme teorisinde çalışan Amerikalı bir matematikçi mantıkçıdır .

Gerald E. Sacks bir elde Ph. D. gözetiminde 1961 yılında John Barkley Rosser de Cornell Üniversitesi ( "  Yinelemeli Unsolvability derecelerinin üzerinde Suborderings  " ). 1962'den itibaren yardımcı doçent, ardından Cornell Üniversitesi'nde doçent oldu. 1961 / 62'de ve ayrıca 1974 / 75'te Institute for Advanced Study'deydi . 1967'den itibaren Massachusetts Teknoloji Enstitüsü'nde profesördü (2006'dan beri fahri profesördür) ve aynı zamanda 1972'den beri Harvard Üniversitesi'nde profesördür . Caltech'te (1983/84) ve Chicago Üniversitesi'nde (1988/89) misafir profesördür .

1966 / 67'de Gerald E. Sacks, Guggenheim Üyesi ve 1979'da Kıdemli Fulbright-Hayes Scholar'dı . 1970 yılında, o bir misafir konuşmacı oldu Uluslararası Kongre matematikçiler de , Nice ( sonlu türden nesneler içinde Özyineleme Stockholm) ve 1962 yılında ( yinelemeli enumerable derece ).

Öğrencileri arasında Harvey Friedman , Sy Friedman , Leo Harrington , Richard A. Shore , Theodore A. Slaman , Stephen G. Simpson  (itibaren) , Lenore Blum , RW Robinson (Georgia Üniversitesi'nde profesör) bulunmaktadır.

Sacks esas olarak özyineleme teorisinde çalıştı . Yoğunluk teoremi, yinelemeli olarak sıralanabilen Turing derecelerinin yoğun olduğunu söylüyor . Mükemmel setlere dayanan bir zorlama yöntemi onun adını taşır (Sacks forcing).

Yayınlar

Notlar ve referanslar

  1. (in) "  Gerald Sacks Enoch  " üzerine sitenin Matematik Şecere Projesi
  2. "  Profesör Gerald Sacks MIT'den Emekli Oluyor  " , Integral: MIT'de Matematik Bölümünden Haberler,2006 sonbahar, s.  6.
  3. Gerald E. Sacks, "  Yinelemeli olarak numaralandırılabilen dereceler yoğundur  " Annals of Mathematics , cilt.  80,1964, s.  300-312 ( DOI  10.2307 / 1970393, ).
  4. (in) Lorenz J. Halbeisen , Combinatorial Set Theory: With A Gentle Introduction to Forcing , London / New York, Springer al.  "Matematikte Springer Monografileri", 2011, 453  s. ( ISBN  978-1-4471-2173-2 , çevrimiçi okuyun ) , s.  380–381.
  5. Gerald E. Sacks, "Mükemmel kapalı kümelerle zorlama" , Aksiyomatik Küme Teorisi (Proc. Sympos. Pure Math. Cilt XIII, Kısım I) , Los Angeles, Amer. Matematik. Soc., Providence, UR,1971( Matematik İncelemeleri  0276079 ) , s.  331-355.
  6. Robert I. Soare , Yinelemeli Olarak Numaralandırılabilir Kümeler ve Dereceler: Hesaplanabilir Fonksiyonlar ve Hesaplanabilir Olarak Üretilen Kümeler Üzerine Bir Çalışma , Springer, coll.  "Matematiksel Mantıkta Perspektifler",1987, 437  s. ( ISBN  978-3-540-15299-6 , çevrimiçi okuyun ) , s.  245.

Dış bağlantılar