Gerald Sacks


Gerald Sacks

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 after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense.

Sacks earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with a dissertation entitled "On Suborderings of Degrees of Recursive Insolvability". Among his notable students are Harvey Friedman, Leo Harrington, Richard Shore, and Theodore Slaman. A distinctive characteristic of his logic classes was that in the middle of each class, a previously selected student would have to get up and tell a joke. The joke had to be short, funny, and inoffensive to receive credit.

External links

*


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • 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 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… …   Deutsch 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

  • Harvey Friedman — Pour les articles homonymes, voir Friedman. Harvey Friedman (23 septembre 1948[1]) est un mathématicien logicien à l Université de l Ohio. Il est particulièrement connu pour ses travaux de mathématiques à rebours : un projet pour “remonter… …   Wikipédia en Français

  • Joseph Halpern — Joseph Yehuda Halpern Residencia  Estados Unidos Campo Ciencias de la computación …   Wikipedia Español

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • J. Barkley Rosser — Infobox Scientist box width = name = John Barkley Rosser image size = caption = birth date = 1907 birth place = death date = 1989 death place = residence = citizenship = USA nationality = USA ethnicity = fields = Mathematical logic Number theory… …   Wikipedia