Gerald E. Sacks

Gerald E. Sacks

Gerald Enoch Sacks (* 1933 in Brooklyn) ist ein US-amerikanischer mathematischer Logiker.

Sacks promovierte 1961 bei John Barkley Rosser an der Cornell University (On Suborderings of Degrees of Recursive Unsolvability). Ab 1962 war er Assistant Professor und danach Associate Professor an der Cornell University. 1961/62 und 1974/75 war er am Institute for Advanced Study. Ab 1967 war er Professor am Massachusetts Institute of Technology (bis 2006 ist er dort Professor Emeritus) und gleichzeitig ab 1972 Professor an der Harvard University. Er war Gastprofessor am Caltech (1983/83) und an der University of Chicago (1988/89).

1966/67 war er Guggenheim Fellow und 1979 Senior Fulbright-Hayes Scholar.

Zu seinen Doktoranden zählen Harvey Friedman, Sy Friedman, Leo Harrington, Richard A. Shore, Theodore Slaman, Stephen G. Simpson (Professor an der Pennsylvania State University), Lenore Blum, R. W. Robinson (Professor an der University of Georgia).

Sacks beschäftigte sich besonders mit Rekursionstheorie. Sein Dichtesatz besagt, dass die rekursiv aufzählbaren Turing Grade (auch Degrees of unsolvability genannt) dicht liegen[1]. Nach ihm ist eine Forcing-Methode benannt (Sacks Forcing)[2].

Schriften

  • Degrees of unsolvability, Princeton University Press 1963, 1966
  • Saturated Model Theory, Benjamin 1972
  • Higher Recursion theory, Springer 1990
  • Selected Logic Papers, World Scientific 1999
  • Mathematical Logic in the 20th Century, World Scientific 2003

Weblinks

Einzelnachweise

  1. The recursively enumerable degrees are dense, Annals of Mathematics, Bd. 80, 1964, S.300
  2. Sacks Forcing with perfect closed sets, Proc.Symp.Pure Math. Bd.13, Teil 1 (Axiomatic Set Theory), 1971, S.331

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Gerald Sacks — is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute of Technology as a Professor Emeritus. His most important contributions have been in recursion theory. Named… …   Wikipedia

  • Sacks — may refer to:* David O. Sacks (21st century), American film producer * David Sacks (21st century), television writer and producer * Gerald Sacks (21st century), American logician * Glenn Sacks (21st century), American radio personality * Greg… …   Wikipedia

  • Gerald McCoy — Infobox NCAA Athlete name = Gerald McCoy caption = college = Oklahoma conference = Big 12 sport = Football position = DT jersey = 93 class = Freshman major = career start = 2007 nickname = height ft = 6 height in = 4 weight lb = 288 nationality …   Wikipedia

  • Gerald Alexander — Infobox NFLactive name=Gerald Alexander currentteam=Detroit Lions currentnumber=42 currentpositionplain=Safety birthdate=birth date and age|1984|6|28 birthplace=Rancho Cucamonga, California heightft=6 heightin=0 weight=204 debutyear=2007… …   Wikipedia

  • Gerald Hayes — Infobox NFLactive currentteam=Arizona Cardinals currentnumber=54 currentpositionplain=Middle linebacker birthdate=birth date and age|1980|10|10 birthplace=Paterson, New Jersey heightft=6 heightin=1 weight=253 debutyear=2003 debutteam=Arizona… …   Wikipedia

  • Gerald Dixon — Infobox NFLretired |caption= position=Linebacker number=51 birthdate=birth date and age|1969|6|20 Charlotte, North Carolina debutyear=1992 finalyear=2001 draftyear=1992 draftround=3 draftpick=78 college=South Carolina teams= * Cleveland Browns… …   Wikipedia

  • List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the extension ); to force a… …   Wikipedia

  • Sy Friedman — Infobox Scientist name = Sy David Friedman image width = 300px caption = Professor Sy Friedman before a lecture during The First European Set Theory Meeting , Będlewo (Poland), July 2007 birth date = Birth date and age|1953|5|6 birth place =… …   Wikipedia

  • List of Guggenheim Fellowships awarded in 1966 — 1966 U.S. and Canadian Fellows= *Peter Agostini, Deceased. Fine Arts: Sculpture: 1966. *Philip Aisen, Professor of Biophysics and Medicine, Albert Einstein College of Medicine, Yeshiva University: 1966 *Calvin Albert, Sculptor; Retired Professor… …   Wikipedia

  • Liste von Persönlichkeiten aus Brooklyn — Diese Liste enthält Persönlichkeiten, die in Brooklyn, einem der fünf Stadtbezirke von New York City, geboren wurden: Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z …   Deutsch Wikipedia

Share the article and excerpts

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