Matthew Cook

For other people named Matthew Cook, see Matthew Cook (disambiguation).

Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who is best known for having proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete.

Biography

Cook was born in Morgantown, West Virginia and grew up in Evanston, Illinois. He completed his undergraduate studies at the University of Illinois and the Budapest Semesters in Mathematics program. In 1987, Cook qualified as a member of the six-person US team to the International Mathematical Olympiad and won a bronze medal. In 1990, Cook went to work for Wolfram Research, makers of the computer algebra system Mathematica. He did his doctoral work in Computation and Neural Systems at Caltech from 1999 to 2005. He is now at the Institute of Neuroinformatics at Zurich in Switzerland.

Work with Stephen Wolfram

In the 1990s Cook worked as a research assistant to Stephen Wolfram, assisting with work on Wolfram's book, A New Kind of Science. Among other things, he developed a proof showing that the Rule 110 cellular automaton is Turing-complete.

Cook presented his proof at the Santa Fe Institute conference CA98 before the publishing of Wolfram's book—an action that led Wolfram Research to accuse Cook of violating his NDA and resulted in the blocking of the publication of the proof in the conference proceedings. [1]

A New Kind of Science was released in 2002 with an outline of the proof. In 2004, Cook published his proof in Wolfram's journal Complex Systems.[2]

References

  1. ^ Martinez, Genaro J.; Seck Tuoh Mora, Juan; Chapa, Sergio; Lemaitre, Christian (April 2019). "Brief notes and history computing in Mexico during 50 years". International Journal of Parallel, Emergent and Distributed Systems. 35 (2): 185–192. arXiv:1905.07527. doi:10.1080/17445760.2019.1608990. S2CID 150262966. Retrieved 2020-04-15.
  2. ^ Cook, Matthew (2004). "Universality in Elementary Cellular Automata". Complex Systems. 15: 1–40. doi:10.25088/ComplexSystems.15.1.1. Archived (PDF) from the original on 28 May 2016.

Read other articles:

Angela Bowie

Angela Bowie nel 2010 Angela Angie Bowie, nome con cui è famosa Mary Angela Barnett (Agios Dometios, 25 settembre 1949), è una modella, attrice e musicista statunitense nota per essere stata la prima moglie del musicista inglese David Bowie, dal quale divorziò nel 1980.[1] La coppia ebbe nel 1971 il figlio Duncan Jones, diventato un regista cinematografico. Indice 1 Biografia 1.1 David Bowie 1.2 Vita privata dopo il divorzio da Bowie 1.3 Carriera artistica 1.3.1 Attrice 1.3.2 Scrit...

 

 

Anak kolong

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada April 2012. Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber:&#...

 

 

Meranti daun lebar

Meranti daun lebar Shorea uliginosa Status konservasiRentanIUCN33140 TaksonomiDivisiTracheophytaSubdivisiSpermatophytesKladAngiospermaeKladmesangiospermsKladeudicotsKladcore eudicotsKladSuperrosidaeKladrosidsKladmalvidsOrdoMalvalesFamiliDipterocarpaceaeSubfamiliDipterocarpoideaeGenusShoreaSpesiesShorea uliginosa Foxw., 1932 lbs Shorea uliginosa atau meranti daun lebar adalah spesies tumbuhan dalam keluarga Dipterocarpaceae . Ini adalah pohon yang ditemukan di Sumatera, Semenanjung Malaysia da...

La Porte City Station

United States historic placeLa Porte City StationU.S. National Register of Historic Places Show map of IowaShow map of the United StatesLocation202 Main St.La Porte City, IowaCoordinates42°18′55.1″N 92°11′33.2″W / 42.315306°N 92.192556°W / 42.315306; -92.192556Arealess than one acreBuilt1912ArchitectWaterloo, Cedar Falls & NorthernNRHP reference No.79003781[1]Added to NRHPMarch 13, 1979 The La Porte City Station, also known as the La P...

 

 

Bellyache (lagu Billie Eilish)

BellyacheSingel oleh Billie Eilishdari album Don't Smile at MeDirilis24 Februari 2017 (2017-02-24)FormatDownload digitalDurasi2:59LabelDarkroomInterscopePencipta Billie O'Connell Finneas O'Connell ProduserFinneas O'ConnellKronologi singel Six Feet Under (2016 Video musikBellyache di YouTube ) Bellyache (2017) Bellyache adalah lagu oleh penyanyi dan penulis lagu asal Amerika Serikat, Billie Eilish. Lagu ini dirilis pada 24 Februari 2017, melalui Darkroom dan Interscope Records.[1]...

 

 

Liste des présidents des conseils départementaux français

Étiquettes politiques desprésidents des conseils départementauxaprès les élections départementales de 2021[1]. Péyi Guyane PS EELV DVG PRG MoDem Renaissance Régionalistes UDI LR DVD Divers La liste des présidents des conseils départementaux français énumère les conseillers départementaux le jour de la première réunion du conseil qui se tient de plein droit le deuxième jeudi suivant le premier tour des élections départementales[2]. Après les élections de 2015, les présid...

Growing Up is Getting Old (chanson)

Cet article est une ébauche concernant le Concours Eurovision de la chanson et la Bulgarie. Vous pouvez partager vos connaissances en l’améliorant (comment ?) ; pour plus d’indications, visitez le projet Eurovision. Growing Up is Getting Old Chanson de VICTORIA auConcours Eurovision de la chanson 2021 Sortie 18 février 2021 Langue Anglais Genre Pop Auteur-compositeur Victoria Georgieva, Helena Larsson, Maya Nalani, Oliver Björkvall Chansons représentant la Bulgarie au...

 

 

Бисексуальность

Флаг гордости бисексуалов Бисексуальность      Сексуальные ориентации Бисексуальность Пансексуальность Полисексуальность Моносексуальность Сексуальные идентичности Би-любопытство Гетерогибкость и гомогибкость Сексуальная текучесть Исследования Шк...

 

 

جون كينيدي (سياسي أمريكي)

  لمعانٍ أخرى، طالع جون كينيدي (توضيح). هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (مارس 2019) جون كينيدي (بالإنجليزية: John Kennedy)‏  معلومات شخصية الميلاد 22 مارس 1938 (86 سنة)  يونغزتاون  مواطنة الولايات المتح...

Ōnohara Station

Railway station in Chichibu, Saitama Prefecture, Japan Ōnohara Station大野原駅Ōnohara Station, March 2006General informationLocation306-2 Ōnohara, Chichibu-shi, Saitama-ken 368-0005JapanCoordinates36°01′08″N 139°05′39″E / 36.01889°N 139.09417°E / 36.01889; 139.09417Operated by Chichibu RailwayLine(s)■ Chichibu Main LineDistance56.6 km from HanyūPlatforms1 side + 1 island platformOther informationStatusStaffedWebsiteOfficial websiteHistoryOpen...

 

 

Brunei LNG

Liquified natural gas company in Brunei Brunei LNGLNG plant in 2022Company typeLLCIndustryEnergyFounded1969; 55 years ago (1969)FounderMitsubishi CorporationShell PlcHeadquarters4°40′07″N 114°27′52″E / 4.6686438°N 114.4645827°E / 4.6686438; 114.4645827, Lumut, BruneiKey peopleAl-Muhtadee Billah (Chairman)[1] Farida Talib (CEO)ProductsLiquefied natural gasOwnerGovernment of Brunei (50%) Mitsubishi Corporation (25%) Shell Overseas Tr...

 

 

Limas

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Limas – berita · surat kabar · buku · cendekiawan · JSTOR Halaman ini berisi artikel tentang limas dalam bidang geometri. Untuk lainnya, lihat Limas (disambiguasi). Sebuah limas segi empat dengan tinggi ...

Clare Boothe Luce

American author and politician (1903–1987) For the Broadway and movie actress, see Claire Luce. Clare Boothe LuceUnited States Ambassador to Italy In officeMay 4, 1953 – December 27, 1956PresidentDwight D. EisenhowerPreceded byEllsworth BunkerSucceeded byJames David ZellerbachMember of the U.S. House of Representativesfrom Connecticut's 4th districtIn officeJanuary 3, 1943 – January 3, 1947Preceded byLe Roy D. DownsSucceeded byJohn Lodge Personal detailsBor...

 

 

Siege of Paris (845)

First siege of the Vikings to the capital of the kingdom of the West Franks For other sieges of Paris, see Siege of Paris (disambiguation). Siege of Paris (845)Part of the Viking expansionA Viking siege of Paris, 19th-century portrayalnote: The ramparts here depicted did not exist in 845.Date845, siege began on 28/29 MarchLocationParis, West FranciaResult Viking victory • Viking plunder and occupation of Paris; departed for 7,000 livres (2.6 tonnes) of silver and goldBelligerents Vikings (m...

 

 

梅拉蒂·达伊瓦·奥克塔维亚尼

梅拉蒂·达伊瓦·奥克塔维亚尼Melati Daeva Oktavianti基本資料代表國家/地區 印度尼西亞出生 (1994-10-28) 1994年10月28日（29歲）[1] 印度尼西亞万丹省西冷[1]身高1.68米（5英尺6英寸）[1]握拍右手[1]主項：女子雙打、混合雙打職業戰績48勝–27負（女雙）109勝–56負（混雙）最高世界排名第4位（混雙-普拉文·喬丹）（2020年3月17日[2]）現時世界排名第...

Aryeh Levin

Israeli rabbi (1885–1969) For the diplomat, see Aryeh Levin (diplomat). RabbiAryeh LevinSimcha Holtzberg (left) with Rabbi Aryeh LevinPersonalBornMarch 22, 1885OrlaDied28 March 1969(1969-03-28) (aged 84)JerusalemReligionJudaismPositionMashgiachYeshivaEtz Chaim YeshivaBuriedSanhedria Cemetery Aryeh Levin (Hebrew: אריה לוין; March 22, 1885 - March 28, 1969) was an Orthodox rabbi dubbed the Father of Prisoners for his visits to members of the Jewish underground imprisoned in the C...

 

 

Tratado de 1856 entre Argentina y Chile

El Tratado de Paz, Amistad, Comercio y Navegación entre la República de Chile y la Confederación Argentina fue el primer tratado limítrofe entre Argentina y Chile, firmado en 1856. Disputa de la Patagonia Oriental, Tierra del Fuego y el estrecho de Magallanes entre Argentina y Chile durante el siglo XIX, ambos países manifestaron sus diferencias sobre cuál eran los territorios heredados bajo el principio de uti possidetis iuris. Establece que la frontera entre ambos países tendrí...

 

 

Siege of Ani (1124)

Battle between the Georgians and the Shaddadids Siege of AniPlan of AniDateAugust 1124LocationAniResult Georgian victoryBelligerents  Kingdom of Georgia ShaddadidsCommanders and leaders David IV Abu'l-Aswar Shavur ibn ManuchihrStrength 60,000 Unknown The Siege of Ani (Georgian: ანისის ალყა) took place in 1124, which the Georgian army under the command of David IV the Builder liberated the ancient capital of Armenia, the city of Ani, from the Muslim emirs.[1 ...

إيمي بي. سميث

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) إيمي بي. سميث معلومات شخصية الميلاد 3 نوفمبر 1962 (62 سنة)  ليكسينغتون  مواطنة الولايات المتحدة  عضوة في هيئة السلام  الحياة العملية المدرسة الأم معهد م...

 

 

Edward Luttwak

Edward N. LuttwakLahir04 November 1942 (umur 81)Arad, RumaniaDikenal atasCoup d'État: A Practical Handbook Edward Nicolae Luttwak (lahir 4 November 1942) adalah ilmuwan politik yang dikenal atas karya-karyanya tentang strategi besar, sejarah militer, dan hubungan internasional. Ia menjadi konsultan untuk berbagai pemerintahan negara dan perusahaan internasional, termasuk sejumlah cabang pemerintahan dan militer Amerika Serikat.[1] Karya Buku Coup d'État: A Practical Handbook, ...