Gregory Chaitin

Această intrare sau secțiune despre subiecte de matematică și informatică nu este încă formatată conform standardelor . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia . Urmați sfaturile din desenele de referință 1 , 2 .

Această intrare pe subiecte de calculatoare și matematică din SUA este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia . Urmați sfaturile de proiectare de referință .

Gregory John Chaitin ( Chicago , 25 iunie 1947 ) este un matematician și informatician american naturalizat argentinian .

Este cunoscut pentru contribuțiile sale la metamatematică , inclusiv prin definiția constantei Chaitin .

Biografie

Gregory John Chaitin s-a născut la Chicago în 1947. Fiul emigranților argentinieni, este considerat unul dintre fondatorii filozofiei digitale . Din anii 1960, el a contribuit la teoria informației algoritmice care se ocupă de complexitatea programelor, îmbogățind teoria informației lui Claude Shannon cu teoria calculabilității lui Alan Turing . Gregory Chaitin este cel mai bine cunoscut pentru cercetările sale privind complexitatea algoritmică și pentru teoremele limitative, printre acestea găsim extinderea teoremei incompletitudinii lui Kurt Gödel . La vârsta de patruzeci și opt a primit o diplomă onorifică de la universitatea publică americană cu sediul în Oronto, Maine și în 2002 a primit titlul de profesor onorific de la Universitatea din Buenos Aires din Argentina. În prezent, Gregory Chaitin este profesor invitat în departamentul de Informatică al Universității din Auckland din Noua Zeelandă și președinte onorific al comitetului științific al Institutului de sistem complex Valparaíso (Chile). Chaitin a publicat multe cărți și diverse articole, dintre care unele pot fi găsite integral pe net. Este apreciat ca programator, ca matematician, ca fizician și ca filosof digital.

Teorema lui Chaitin

Același subiect în detaliu: Constanta Chaitin .

Acest articol sau secțiune referitoare la matematică este considerat a fi verificat . Motivul : modificări continue ale semnificației teoremei și ale definiției constantei Alăturați-vă discuției și / sau corectați intrarea. Urmați sfaturile de proiectare de referință .

După tezele lui Kurt Gödel, matematicienii au devenit conștienți de faptul că subiectul lor nu avea mai multe limitări. Gregory Chaitin a găsit în simbolul constantei numerice Omega conceptul cheie pentru a confirma incompletitudinea disciplinei sale. Chaitin, încercând să calculeze probabilitățile de oprire a unui program de computer generat aleatoriu (problema de oprire a lui Alan Turing), a realizat că acel număr este definit, dar nu poate fi calculat. Omega, numit și în mod evocativ numărul Chaitin, reprezintă suma probabilităților pe care programul trebuie să le oprească.

Filozofia digitală

Același subiect în detaliu: Filosofia digitală .

Această intrare sau secțiune despre subiecte de matematică și informatică nu citează sursele necesare sau cei prezenți sunt insuficienți . Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor . Urmați sfaturile din desenele de referință 1 , 2 .

Computerul, spune Chaitin, este un nou concept filozofic și matematic minunat; o idee revoluționară, un dispozitiv practic, capabil să schimbe societatea. Potrivit lui Chaitin, universul este scris într-un limbaj de calculator și caracterele sale sunt biți. Filosoful arată o viziune modernă a ideii pitagoreice care identifică principiul tuturor lucrurilor din număr. Totul este algoritm. Metafizica îi permite lui Chaitin să atingă exactitatea și esențialitatea obiectelor cu filozofia sa digitală. Substanța unui obiect este conținutul său de informații algoritmice . Leibniz arhitectează codul binar, iar Chaitin îl ridică la limbajul universului. ^[1]

Lucrări

• Informații, aleatoriu și incomplet (World Scientific 1987) ( online )
• Teoria informației algoritmice (Cambridge University Press 1987) online
• Incompletitudinea teoretică a informației (World Scientific 1992) ( online )
• Limitele matematicii (Springer-Verlag 1998)
• The Unknowable (Springer-Verlag 1999)
• Explorarea întâmplării (Springer-Verlag 2001)
• Conversații cu un matematician (Springer-Verlag 2002)
• De la filosofie la dimensiunea programului (Tallinn Cybernetics Institute 2003)
• Meta Math!: The Quest for Omega (Pantheon Books 2005) (re. Meta Maths: The Quest for Omega , Atlantic Books 2006) ( arXiv preprint ), tr. aceasta. În căutarea Omega (Adelphi 2007)
• Teoria algoritmică a complexității (Giappichelli 2006)
• Gândindu-ne la Gödel și Turing (World Scientific 2007)
• Matematică, complexitate și filosofie (Editorial Midas 2011)
• Gödel's Way (CRC Press 2012)
• Dovedind Darwin: Making Biology Mathematical (Pantheon Books 2012), tr. aceasta. Darwin sub testare: evoluția așa cum este văzută de un matematician (Codul 2013)

Notă

Bibliografie

Cărți

• Gregory Chaitin, Teoria algoritmică a complexității , Torino, Giappichelli, 2006, ISBN 88-348-6398-4 .
• Gregory Chaitin, În căutarea Omega , Milano, Adelphi, 2007, ISBN 978-88-459-2205-3 .
• Gregory Chaitin, Darwin la încercare: evoluția văzută de un matematician , Torino, Codice, 2013, ISBN 978-88-7578-357-0 .
• Giuseppe Longo, Bit Bang , Apogeo Education, 2013, ISBN 978-88-387-8995-3 .

Eseuri scurte

• Gregory Chaitin, Numere, caz și secvențe , Milano, Științele, 1988. (editat de Roberto Magari)
• Gregory Chaitin, Logica , Milano, Științele, 1991. (editat de Corrado Mangione)
• Vincenzo Manca, Logica matematică: structuri, reprezentări, deducții , Torino, Bollati Boringhieri , 2001, ISBN 88-339-5656-3 . (conține un eseu de Gregory Chaitin)

Elemente conexe

• Andrey Kolmogorov
• Juergen Schmidhuber

linkuri externe

• ( RO ) Site personal , pe cs.umaine.edu . Adus la 27 octombrie 2013 (arhivat din original la 29 octombrie 2013) .
• Darwin la încercare , recenzie în Le Scienze

Portal Biografii

Portalul de matematică