Gregory Chaitin

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

Gregory John Chaitin, argentinsko-ameriški matematik in računalnikar, * 1947.

Življenje in delo[uredi | uredi kodo]

Chaitin je prispeval na področje algoritemske teorije informacij in metamatematike, še posebej novi izrek o nepopolnosti kot reakcija na Gödlov izrek o nepopolnosti. Obiskoval je Bronx High School of Science in Mestni kolidž New Yorka (City College of New York), kjer je še kot najstnik razvil teorije, ki so vodile do njegovega neodvisnega odkritja kompleksnosti Kolmogorova.[1]

Uvedel je Chaitinovo konstanto Ω, realno število, katerega števke so enakomerno porazdeljene, in, ki določa verjetnost, da se bo naključni program ustavil. Ω ima matematično značilnost, da je določljivo, ne pa tudi izračunljivo.

Njegovo delo iz algoritemske teorije informacij je potekalo vzporedno z delomo Kolmogorova.

Chaitin piše tudi o filozofiji, še posebej o metafiziki in filozofiji matematike (o epistemoloških problemih v matematiki). V metafiziki Chaitin trdi, da je algoritemska teorija informacij ključ do reševanja problemov na področju biologije (ki lahko priskrbi formalno definicijo »življenja«, njegov izvor in evolucijo) in nevrobiologije (problem zavesti in raziskovanje uma). V svojih spisih brani stališče, znano kot digitalna filozofija. V epistemologiji matematike trdi, da odkritja v matematični logiki in algoritemski teoriji informacij kažejo na to, da so »matematična dejstva resnična brez vzroka, da so slučajno resnična. So naključna matematična dejstva.« Predlaga da morajo matematiki opustiti vsakršno upanje dokazovanja takšnih matematičnih dejstev in privzeti kvaziempirično metodologijo.

Barvanje grafov je prvi uporabil pri dodeljevanju registrov pri prevajanju, kar je kot proces znano kot Chaitinov algoritem.

Leta 1995 je prejel doktorat znanosti honoris causa na Univerzi Mainea. Univerza v Buenos Airesu mu je leta 2002 podelila naziv častnega profesorja. V Buenos Airesu sta se rodila njegova starša in sam je tu preživel del svoje mladosti. Je častno upokojeni raziskovalec pri Raziskovalnem središču Thomasa J. Watsona IBM in gostujoči profesor Oddelka za računalništvo Univerze v Aucklandu ter mednarodnega odbora Inštituta kompleksnih sistemov (ISCV, www.iscv.cl).

Opombe in sklici[uredi | uredi kodo]

  1. ^ Li, Vitanyi, str. 86.

Viri[uredi | uredi kodo]

  • Li; Vitanyi, An Introduction to Kolmogorov Complexity and Its Applications: G.J.Chaitin had finished the Bronx High School of Science , and was an 18-year-old undergraduate student at City College of the City University of New York, when he submitted two papers [...] In his [second] paper, Chaitin puts forward the notion of Kolmogorov complexity [...]"

Zunanje povezave[uredi | uredi kodo]