Gerald Sacks

Gerald Enoch Sacks (1933 – October 4, 2019) was an American logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets[1] and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense.[2] Sacks had a joint appointment as a professor at the Massachusetts Institute of Technology and at Harvard University starting in 1972 and became emeritus at M.I.T. in 2006 and at Harvard in 2012.[3][4][5]

Sacks was born in Brooklyn in 1933. He earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with his dissertation On Suborderings of Degrees of Recursive Insolvability. Among his notable students are Lenore Blum, Harvey Friedman, Sy Friedman, Leo Harrington, Richard Shore, Steve Simpson and Theodore Slaman.[6]

Selected publications

  • Degrees of unsolvability, Princeton University Press 1963, 1966[7]
  • Saturated Model Theory, Benjamin 1972; 2nd edition, World Scientific 2010[8]
  • Higher Recursion theory, Springer 1990[9]
  • Selected Logic Papers, World Scientific 1999[10]
  • Mathematical Logic in the 20th Century, World Scientific 2003

References

  1. ^ Halbeisen, Lorenz J. (2011), Combinatorial Set Theory: With a Gentle Introduction to Forcing, Springer Monographs in Mathematics, Springer, pp. 380–381, ISBN 9781447121732.
  2. ^ Soare, Robert I. (1987), Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, Perspectives in Mathematical Logic, Springer, p. 245, ISBN 9783540152996.
  3. ^ Short CV, retrieved 2015-06-26.
  4. ^ "Professor Gerald Sacks Retires from MIT" (PDF), Integral: News from the Mathematics Department at MIT, 1: 6, Autumn 2006.
  5. ^ Chi Tat Chong, Yue Yang, "An interview with Gerald E. Sacks", Recursion Theory: Computational Aspects of Definability, ISBN 3110275643, 2015, p. 275
  6. ^ Gerald Sacks at the Mathematics Genealogy Project
  7. ^ Review of Degrees of unsolvability by Kenneth Appel, MR0186554
  8. ^ Review of Saturated model theory by P. Stepanek, MR0398817
  9. ^ Review of Higher recursion theory by Dag Normann, MR1080970
  10. ^ Review of Selected logic papers by Dag Normann, MR1783306


Flag of United StatesScientist icon

This article about an American mathematician is a stub. You can help Wikipedia by expanding it.

Read other articles:

Girl's Day Everyday 4

Girl's Day Everyday #4Album mini karya Girl's DayDirilis14 Juli 2014 (2014-07-14)Durasi14:42Label Dream Tea Entertainment LOEN Entertainment Produser Duble Sidekick David Kim Radio Galaxi Tenzo&Tasco Kronologi Girl's Day Girl's Day Everyday #3(2014) Girl's Day Everyday #4(2014) Love(2015) Singel dalam album Girl's Day Everyday #4 DarlingDirilis: 14 Juli 2014 Video musikDarling' di YouTube Judul yang benar dari artikel ini adalah Girl's Day Everyday #4. penggantian tanda # karena ...

 

Daftar keuskupan di Nikaragua

Daftar keuskupan di Nikaragua adalah sebuah daftar yang memuat dan menjabarkan pembagian terhadap wilayah administratif Gereja Katolik Roma yang dipimpin oleh seorang uskup ataupun ordinaris di Nikaragua. Konferensi para uskup Nikaragua bergabung dalam Konferensi Waligereja Nikaragua. Per Juni 2020, terdapat 9 buah yurisdiksi, di mana 1 merupakan keuskupan agung dan 8 merupakan keuskupan sufragan. Daftar keuskupan Provinsi Gerejawi Managua Keuskupan Agung Managua: Kardinal Leopoldo José Bren...

 

أنجيلو دي بيترو

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) أنجيلو دي بيترو معلومات شخصية الميلاد سنة 1950 (العمر 73–74 سنة)  مواطنة إيطاليا  الحياة العملية المهنة مخترع  اللغات الإيطالية  تعديل مصدري - تعديل &...

Kisah Para Rasul 16

Kisah Para Rasul 16Sebuah lembaran dari Papirus 127 (abad ke-5). Naskah ini memuat bagian-bagian Kisah Para Rasul 10-12 dan 15-17.KitabKisah Para RasulKategoriSejarah gerejaBagian Alkitab KristenPerjanjian BaruUrutan dalamKitab Kristen5← pasal 15 pasal 17 → Kisah Para Rasul 16 (disingkat Kis 16) adalah bagian Kitab Kisah Para Rasul dalam Perjanjian Baru di Alkitab Kristen. Ditulis oleh Lukas, seorang Kristen yang merupakan teman seperjalanan Rasul Paulus.[1][2] Tek...

 

Raymond Hatton

Raymond HattonHatton dalam Screenland, 1922Lahir(1887-07-07)7 Juli 1887Red Oak, Iowa, Amerika SerikatMeninggal21 Oktober 1971(1971-10-21) (umur 84)Palmdale, California, Amerika SerikatPekerjaanPemeranTahun aktif1909–1967Suami/istriFrances Hatton ​ ​(m. 1909; meninggal 1971)​ Hatton dan Esther Ralston dalam Fashions for Women (1927) Raymond William Hatton (7 Juli 1887 – 21 Oktober 1971) adalah seorang pemeran film Ame...

 

David Sassoon & Co.

David Sassoon (seated) and his sons Elias David, Albert (Abdallah) & Sassoon David. Offices of David Sassoon & Co at Shanghai in 1908 Aerial view of Sassoon Docks The steamliner Chusan, built in 1851 for P&O, bought by the Shanghai branch of David Sassoon & Sons in 1861 David Sassoon & Co., Ltd. (in the early years called ″David Sassoon & Sons″) was a trading company operating in the 19th century and early 20th century predominantly in India, China and Japan. Hist...

Distrik Aveiro

District of AveiroDistrictCountryPortugalRegionNorte andCentroHistorical provinceBeira Litoral(partly Douro Litoral)No. of municipalities19No. of parishes208CapitalAveiroLuas • Total2,808 km2 (1,084 sq mi)Populasi • Total713.578 • Kepadatan250/km2 (660/sq mi)No. of parliamentary representatives16 Distrik Aveiro (pengucapan bahasa Portugis: [aˈvɐjɾu], bahasa Portugis: Distrito de Aveiro) merupakan sebuah distrik di Portugal ya...

 

Feast of Our Lady of the Hens

Italian festival on the Second Sunday of Easter Feast of Saint Mary the Crowned of CarmelOfficial nameItalian: Festa di Santa Maria Incoronata del Carmine, lit. 'Feast of Saint Mary the Crowned of Carmel'Also calledItalian: Festa della Madonna delle Galline, lit. 'Feast of Our Lady of the Hens'Observed byChristiansTypeCultural, Historical, ChristianSignificancePatronal festival of Our Lady of the Hens: commemoration of the finding of the miraculous Marian icon...

 

Danse aérienne

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. La mise en forme de cet article est à améliorer (septembre 2022). La mise en forme du texte ne suit pas les recommandations de Wikipédia : il faut le « wikifier ». Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bib...

Bille August

Danish film director and screenwriter Bille AugustRDAugust in 2008Born (1948-11-09) 9 November 1948 (age 75)Brede, DenmarkOccupationFilm directorYears active1978–presentSpouses Annie Munksgaard Lauritzen ​ ​(m. 1970; div. 1978)​ Masja Dessau ​ ​(m. 1978; div. 1990)​ Pernilla August ​ ​(m. 1991; div. 1997)​ Sara-Marie Maltha ​(...

 

List of acts of the Scottish Parliament from 2019

Part of a series onBritish law Acts of Parliament of the United Kingdom Year      1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 ...

 

James John Thomas

Untuk orang lain dengan nama yang sama, lihat James Thomas (disambiguasi). James John Thomas Wali kota ke-40 ColumbusMasa jabatan1 Januari 1920 – 1931PendahuluGeorge J. KarbPenggantiHenry W. Worley Informasi pribadiLahir1868Wrexham, North WalesMeninggal6 Agustus 1947Partai politikDemokratProfesiDewan Kota anggotaWali kotaSunting kotak info • L • B James John Thomas (1868 – 6 Agustus 1947) adalah seorang politikus Republik dari A.S. negara bagian dari Ohio. Ia adalah...

Rhee, Sumbawa

RheeKecamatanNegara IndonesiaProvinsiNusa Tenggara BaratKabupatenSumbawaPemerintahan • Camat-Populasi • Total9,091 jiwa jiwaKode Kemendagri52.04.21 Kode BPS5204062 Luas- km²Desa/kelurahan4 desa Untuk desa di Belanda, lihat Rhee. Pantai Rhee Loka Rhee adalah sebuah kecamatan di kabupaten Sumbawa, Nusa Tenggara Barat, Indonesia. Agama: Islam(55,3%) Hindu(44,2%) Kristen(0,3%) Katolik(0,2%) [butuh rujukan] lbsKecamatan Rhee, Kabupaten Sumbawa, Nusa Tenggara B...

 

Населённые пункты в составе Санкт-Петербурга

Содержание 1 Районы и города и посёлки в их границах 1.1 Выборгский 1.2 Колпинский 1.3 Красносельский 1.4 Кронштадтский 1.5 Курортный 1.6 Петродворцовый 1.7 Приморский 1.8 Пушкинский 2 См. также 3 Комментарии 4 Примечания По состоянию на 1 января 2020 года город федерального значения Са...

 

Sharavati

River in India SharavatiSharavati RiverJog Falls formed by the Sharavati river.LocationCountryIndiaStateKarnatakaCitiesSiddapura , Sagar, HonnavarPhysical characteristicsSourceAmbutheertha • locationThirthahalli Taluk, Shimoga, Karnataka • coordinates13°47′33″N 75°10′35″E / 13.79250°N 75.17639°E / 13.79250; 75.17639 • elevation730 m (2,400 ft) MouthLaccadive Sea • locationHonnava...

Leo Broe

Irish sculptor Leo BroeBornBernard Joseph Broe16 April 1899Dublin, IrelandDied9 April 1965(1965-04-09) (aged 65)Dublin, IrelandNationalityIrishOccupationSculptor Leo Broe (16 April 1899 – 9 April 1965) was an Irish sculptor. Life Leo Broe was born Bernard Joseph Broe on 16 April 1899 in Stillorgan, County Dublin.[1][2] He was called Leo by his family after Pope Leo XIII, to whom his mother was devoted.[2][3] Monument by Broe to the Irish Volunteers i...

 

总线竞争

此條目需要补充更多来源。 (2017年5月4日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：总线竞争 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 总线竞争（Bus contention）也称总线争用，是计算机设计中总线的不良状态——总�...

 

Takht Jamshid Cup

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Takht Jamshid Cup – news · newspapers · books · scholar · JSTOR (February 2024) (Learn how and when to remove this message) Football leagueTakht Jamshid Cup جام تخت جمشید (Jâm-e Taxt-e Jamšid)Founded1974Folded1979Country Imperial State of Iran...

Black Rock Desert–High Rock Canyon Emigrant Trails National Conservation Area

Black Rock Desert–High Rock Canyon Emigrant TrailsBLM map of the Black Rock–High Rock NCA and its 10 Wilderness AreasLocation of Black Rock-High Rock NCA in NevadaLocationBlack Rock Desert-Great Basin, Nevada, United StatesCoordinates40°54′38.64″N 119°3′21.64″W / 40.9107333°N 119.0560111°W / 40.9107333; -119.0560111Area1,245.46 sq mi (3,225.7 km2)Established2000OperatorBureau of Land ManagementWebsiteBLM: Black Rock–High Rock NCA The Bl...

 

The Blue Light (fairy tale)

Literary work For other uses, see Blue Light (disambiguation). The Blue LightFolk taleNameThe Blue LightAlso known asDas blaue LichtAarne–Thompson groupingATU 562 (The Spirit in the Blue Light)CountryGermanyPublished inGrimms' Fairy Tales The Blue Light is a Brothers Grimm fairy tale about a soldier who finds a magical object that provides him a supernatural helper. Many of the features from Hans Christian Andersen's later work The Tinderbox and from the story of Aladdin and his magic lamp ...