Gregory Chaitin

Gregory Chaitin, 2008

Gregory J. Chaitin (* 25. Juni 1947[1] in Chicago) ist ein US-amerikanischer Mathematiker und Philosoph. Sein Hauptarbeitsgebiet ist die Berechenbarkeitstheorie. Er steht damit in der Tradition von Kurt Gödel und Alan Turing, deren Theoreme (Unvollständigkeitssatz, Turing-Berechenbarkeit) er zur Algorithmischen Informationstheorie verallgemeinerte, die der Kolmogorow-Komplexität ähnlich ist.

Leben

Chaitin wurde als Kind argentinischer Einwanderer aus Buenos Aires geboren. Die Familie zog aber schon früh nach New York, wo er bereits in jungen Jahren durch das Buch Gödel's Proof von Ernest Nagel und James R. Newman über Gödels Unvollständigkeitssatz zur Berechenbarkeitstheorie hingezogen wurde. (Chaitin geht diese jedoch von Seiten der Informationstheorie Shannons an.) Er besuchte ab 1962 die Bronx High School of Science und ab 1965 die City University of New York (CUNY). 1966 ging er mit der Familie zurück nach Buenos Aires, wo er bei IBM als Programmierer anfing und Kurse in LISP-Programmierung und Metamathematik an der University of Buenos Aires hielt. Anfang der 1970er entstand seine Arbeit Information theoretic limits of formal systems (erweitert publiziert im ACM Journal 1974), die ihm eine Einladung ans Thomas J. Watson Research Center der IBM einbrachte, wo er bis heute tätig ist. Von 1976 bis 1985 arbeitete er dort als Software- und Hardwareingenieur an IBMs RISC Projekt. Zurzeit ist er auch Gastprofessor im Computer Science Department der University of Auckland in Neuseeland.

Werk

Seine Ergebnisse betreffen die Struktur mathematischer Theorien. Chaitin sucht Aussagen zur prinzipiellen Berechenbarkeit und zur prinzipiellen Entscheidbarkeit mathematischer Sätze.

Er beschäftigte sich mit Beispielen für prinzipiell unentscheidbare Sätze. Bei solchen Sätzen sei es komplett „zufällig“, ob sie wahr oder falsch seien. Der englische Begriff random kann allerdings auch wahllos oder regellos heißen; gemeint ist hier, dass diese Sätze nicht „begründet“ werden können, sondern „dass es eben so ist“.

Laut Chaitin hat er bewiesen, dass es bis auf endlich viele Ausnahmen unentscheidbar ist, ob eine Zahl Kolmogorow-reduzibel ist, d. h. ob es ein kleineres Programm gibt, das diese Zahl erzeugt. Es existiert also kein allgemeines Verfahren, mit dem die Kolmogorow-Komplexität gemessen werden könnte.

Die Interpretation von Chaitins Ergebnissen ist unter einigen Mathematikern umstritten. Von ihm stammt die Chaitinsche Konstante.

Chaitin hat auch viel zur Philosophie der Mathematik geschrieben, insbesondere in Zusammenhang mit den Unvollständigkeitssätzen Gödels und Komplexitätsfragen.

1995 wurde er Ehrendoktor der University of Maine und erhielt 2002 eine Ehren-Professur in Buenos Aires. Von 2012 bis 2015 war er Mitglied der Leibniz-Sozietät der Wissenschaften zu Berlin.

Schriften

  • Algorithmic information theory, Cambridge University Press 1987
  • The Limits of Mathematics, Springer-Verlag, 1998.
  • The Unknowable, Springer-Verlag, 1999.
  • Exploring Randomness, Springer-Verlag, 2001.
  • Conversations with a Mathematician, Springer-Verlag, 2002.
  • Meta Math!, Pantheon Books 2005
  • Thinking about Gödel and Turing - Essays on Complexity 1970-2007, Singapore 2007.
  • Randomness and mathematical proof, Scientific American 1975
  • Randomness in Arithmetic, Scientific American 1988

Literatur

Einzelnachweise

  1. Chaitin. Archiviert vom Original (nicht mehr online verfügbar) am 23. März 2012; abgerufen am 18. April 2023 (englisch).

Read other articles:

Francesca ComenciniFrancesca Comencini (kanan) dengan Carlo Azeglio Ciampi (kiri)Lahir19 Agustus 1961 (umur 62)Roma, ItaliaPekerjaanSutradara, penulis naskahTahun aktif1984–kini Francesca Comencini (pengucapan bahasa Italia: [franˈtʃeska komenˈtʃiːni]; lahir 19 Agustus 1961) adalah seorang sutradara dan penulis naskah asal Italia. Ia masuk sekolah Lycée français Chateaubriand dengan para saudarinya. Ia menyutradarai 14 film sejak 1984. Film buatannya Le parole di mio ...

 

 

Jenna GozaliBerkas:Picc527dd.jpgInformasi pribadiKebangsaan IndonesiaLahir24 Maret 1990 (umur 33)IndonesiaPeganganKananGanda PutriPeringkat tertinggi39 Komala Dewi (1 Januari 2012)Peringkat saat ini46 Komala Dewi (19 April 2012) Jenna Gozali (lahir 24 Maret 1990) adalah salah satu pemain bulu tangkis ganda Putri Indonesia yang berpasangan dengan Komala Dewi. Prestasi Ganda Putri 2008 Semifinal Laos Future Series 2008 (bersama Maria Ulfa Luluk) 2009 Juara 2009 Auckland Inte...

 

 

F-16 Fighting Falcon Nampak F-16C Angkatan Udara Amerika Serikat terbang melintasi padang gurun di Irak pada tahun 2008 Jenis Pesawat tempur multiperan Negara asal Amerika Serikat Pembuat General Dynamics (1974–1993)Lockheed Corporation (1993–1995)Lockheed Martin (1995–sekarang) Penerbangan perdana 20 Januari 1974; 50 tahun lalu (1974-01-20) (tidak terencana)2 Februari 1974; 50 tahun lalu (1974-02-02) (resmi) Diperkenalkan 17 Agustus 1978; 45 tahun lalu (1978-08-17) Stat...

Province Sud Héraldique Administration Pays France Collectivité Nouvelle-Calédonie (sui generis) Chef-lieu Nouméa Commissaire délégué Grégory Lecru Présidente Sonia Backès (2019-2024) Démographie Population 203 144 hab. (2019) Densité 28 hab./km2 Groupes ethniques Européens : 35,9 %Kanak : 26,7 %Wallisiens-Futuniens : 11,4 %Métis : 9,7 %Asiatiques : 4,2 %Tahitiens : 2,6 %Ni-Vanuatu : 1,2 %Autre...

 

 

Baššār Ḥāfiẓ al-Assadبشار حافظ الأسدBashar al-Assad nel 2022 Presidente della SiriaIn caricaInizio mandato17 luglio 2000 Vice presidenteʿAbd al-Ḥalīm KhaddāmZuhayr MasharqaFaruq al-Shara'Najah al-Attar Capo del governoMuhammad Mustafa MeroMuhammad Naji al-OtariAdel SafarRiyad Farid HijabOmar Ibrahim GhalawanjiWael Nader al-HalqiImad KhamisHussein Arnous PredecessoreʿAbd al-Ḥalīm Khaddām (ad interim) Segretario generale del Comando centrale del Partito ...

 

 

Maltese government building This article is about the former courthouse in Valletta, Malta. For other uses, see Castellania. CastellaniaKastellanja, Kastellanija,Kistlanija, Klistanija, Klistjanija, ChistlaniaThe main façade of the Castellania in 2018Former namesGran Corte della Castellania (many variants)Gran Corte della VallettaPalais de JusticePalace/Courts of JusticePalazzo di GiustiziaPalazzo della CastellaniaPalazzo del TribunaleCastellanyAlternative namesPalazzo CastellaniaCastellania...

Federico TedeschiniDatarius Dataria ApostolikTedeschini difoto pada 21 November 1935.GerejaGereja Katolik RomaPenunjukan25 Februari 1938Masa jabatan berakhir2 November 1959PendahuluLuigi CapotostiPenerusPaolo GiobbeImamatTahbisan imam25 Juli 1896oleh Domenico RinaldiTahbisan uskup5 Mei 1921oleh Paus Benediktus XVPelantikan kardinal13 Maret 1933 (in pectore)16 Desember 1935 (dibocorkan)oleh Paus Pius XIPeringkatKardinal-Imam (1936-51)Kardinal-Uskup (1951-59)Informasi pribadiNama lahi...

 

 

I. liga 1959-1960 Competizione I. liga Sport Calcio Edizione 53ª Organizzatore ČMFS Luogo  Cecoslovacchia Partecipanti 14 Risultati Vincitore  Spartak Hradec Králové(1º titolo) Retrocessioni  Jednota Košice Pardubice Statistiche Miglior marcatore Michal Pucher (18) Incontri disputati 182 Gol segnati 513 (2,82 per incontro) Cronologia della competizione 1958-1959 1960-1961 Manuale L'edizione 1959/60 del campionato cecoslovacco di calcio vide la vittoria fin...

 

 

Newspaper in Poughkeepsie, New York Poughkeepsie JournalHistoric headquarters in downtown PoughkeepsieTypeDaily newspaperFormatBroadsheetOwner(s)GannettPublisherJim FoglerEditorStu ShinskeFounded1785Headquarters85 Civic Center PlazaPoughkeepsie 12601Circulation24,628 Daily (as of 2017)[1]Websitepoughkeepsiejournal.com The Poughkeepsie Journal is a newspaper based in Poughkeepsie, New York, and owned by Gannett, which bought the paper in 1977. Founded in 1785 (though not a daily ne...

American college basketball season 2023–24 Oakland Golden Grizzlies men's basketballHorizon League regular season and tournament championsNCAA tournament, Second RoundConferenceHorizon LeagueRecord24–12 (15–5 Horizon)Head coachGreg Kampe (40th season)Associate head coachJeff SmithAssistant coaches Mychal Covington Bobby Naubert Home arenaOU Credit Union O'renaSeasons← 2022–232024–25 → 2023–24 Horizon League men's basketball standings vte Conf O...

 

 

This article is about the year 1215. For aviation frequency 121.5, see Aircraft emergency frequency. Calendar year Millennium: 2nd millennium Centuries: 12th century 13th century 14th century Decades: 1190s 1200s 1210s 1220s 1230s Years: 1212 1213 1214 1215 1216 1217 1218 1215 by topic Leaders Political entities State leaders Religious leaders Birth and death categories Births – Deaths Establishments and disestablishments categories Establishments – Disestablishments ...

 

 

Medical conditionCollagenous colitisMicrograph of collagenous colitis. H&E stain.SpecialtyGastroenterology Collagenous colitis is an inflammatory condition of the colon. Together with the related condition lymphocytic colitis, it is a subtype of microscopic colitis, which is characterized by inflammation that specifically affects the colon (i.e. colitis), and a clinical presentation that involves watery diarrhea but a lack of rectal bleeding. Microscopic colitis does not usually cause mac...

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (June 2014) (Learn how and when to remove this message) 17th-century English literary figure A 1798 engraving of Kirkman Francis Kirkman (1632 – c. 1680) appears in many roles in the English literary world of the second half of the seventeenth century, as a publisher, booksel...

 

 

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view. (December 2014) (Learn how and when to remove this message) The topic of this article may not meet Wikipedia's n...

 

 

Communities of Belarusians outside Belarus 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: Belarusian diaspora – news · newspapers · books · scholar · JSTOR (June 2011) (Learn how and when to remove this message) Map of the Belarusian diaspora in the world (includes people with Belarusian ancestry or citizen...

American basketball coach (born 1977) Mike WhiteMike White while coaching at Florida.Current positionTitleHead coachTeamGeorgiaConferenceSECRecord36–33 (.522)Biographical detailsBorn (1977-03-02) March 2, 1977 (age 47)Dunedin, Florida, U.S.Playing career1995–1999Ole Miss1999–2000New Mexico Slam Position(s)Point guardCoaching career (HC unless noted)2000–2004Jacksonville State (assistant)2004–2011Ole Miss (assistant)2011–2015Louisiana Tech2015–2022Florida2022–presentGeorgi...

 

 

Bridgestone Americas, IncJenisAnak perusahaan Bridgestone CorporationIndustriManufakturDidirikanAkron, Ohio (1900)KantorpusatNashville, Tennessee, Amerika SerikatTokohkunciGary Garfield, CEO and PresidentEduardo Minardi, COO,ProdukBanPendapatan$2,09 miliar USD (2004)Karyawan40.000Situs webwww.firestone.com Firestone Firehawk 700 195/55 R 15 (2017) Firestone Tire and Rubber Company adalah sebuah perusahaan ban yang didirikan oleh Harvey Firestone pada tahun 1900 untuk memasok ban pneumatik unt...

 

 

Railway line between Middlesbrough and Whitby, England Esk Valley Line156451 between Ruswarp and WhitbyOverviewStatusOperationalOwnerNational RailLocaleNorth YorkshireTeessideTerminiMiddlesbroughWhitbyStations17ServiceTypeHeavy railSystemNational RailOperator(s)Northern TrainsRolling stockClass 156Class 158HistoryOpenedFrom 1835TechnicalLine length35 miles (56 km)[1]Track gauge4 ft 8+1⁄2 in (1,435 mm) Route map (Click to expand) vteEsk Valley line Legend...

History of economy in India This article's lead section may be too long. Please read the length guidelines and help move details into the article's body. (September 2023) This article may contain citations that do not verify the text. Please check for citation inaccuracies. (May 2024) (Learn how and when to remove this message) GDP per capita in India, since 1600 Around 500 BC, the Mahajanapadas minted punch-marked silver coins. The period was marked by intensive trade activity and urban deve...

 

 

Queen of MysteryPoster promosiGenreMisteriKomediDitulis olehLee Seong-minSutradaraKim Jin-wooYoo Yeong-eunPemeranChoi Kang-heeKwon Sang-wooNegara asalKorea SelatanBahasa asliKoreaJmlh. episode16ProduksiProduser eksekutifBae Kyung-sooLee Sang-baekProduserLee Young-bumSinematografiKim Kyung-hoHan Joo-yeolPenyuntingKim Chung-yeolDurasi60 menitRumah produksiAStory Co., Ltd.DistributorKBSRilis asliJaringanKBS2Format gambar1080i (HDTV)Format audioDolby DigitalRilis5 April (2017-04-05) �...