Khaitin, Gregory
| Gregory Khaitin | |
|---|---|
| Születési dátum | 1947. november 15. (74 évesen) |
| Születési hely | |
| Ország | |
| Tudományos szféra | biológia |
| Munkavégzés helye | |
| alma Mater | |
Gregory John Chaitin ( ang . Gregory John Chaitin ; 1947. június 25., Chicago , USA ) argentin - amerikai matematikus és informatikus , aki hozzájárult a metamatematikához , Andrej Kolmogorovval együtt az algoritmikus információelmélet megalapítójának tartják . Különösen az új hiányossági tételéről ismert, amely szellemében hasonló Gödel hiányossági tételéhez .
Életrajz
Khaitin Chicagóban született Buenos Aires -i argentin bevándorlók gyermekeként . A katinek hamarosan New Yorkba költöztek . Gyerekként vonzotta Ernst Nagel és James Newman "Gödel's Proof" című cikke, amely 1956-ban jelent meg a Scientific American -ban . Két évvel később szerzői kiadtak egy azonos nevű könyvet, amelyet Khaitin a New York-i Nyilvános Könyvtárban olvasott fel. 1959-ben a Scientific American Amatőr Tudós részlegének utasításait követve megépített egy Van de Graaff generátort .
Khaitin a Bronx High School of Science -ben és a City College -ban tanult , ahol megfogalmazta tételét. 1966-ban a család visszatért Buenos Airesbe, ahol az IBM Argentina programozója lett.
1974-ben Khaitint meghívták a róla elnevezett IBM kutatóközpontba. Thomas Watson, ahol jelenleg is dolgozik. 1976 és 1985 között szoftver- és hardvermérnökként dolgozott az IBM RISC projektben .
1995-ben a Maine-i Egyetemen a tudomány doktora címét , 2002-ben pedig a Buenos Aires-i Egyetem tiszteletbeli professzori címét adományozta neki . 2000 óta az Aucklandi Egyetem vendégprofesszora is.
Tudományos munka
Khaitin tudományos érdeklődési köre az információelmélet , a kiszámíthatóságelmélet és a matematika alapjai területén húzódik . Khaitin korai munkája az algoritmikus információelméletről párhuzamba állítható Kolmogorov korai munkásságával.
Khaitin bevezette a Khaitin-féle Ω állandót , egy valós számot, amelynek a számjegyei egyenlően oszlanak el , és amelyet néha annak a valószínűségének a kifejezésének neveznek, hogy egy önkényesen kiválasztott program leáll . Ω rendelkezik azzal a matematikai tulajdonsággal, hogy definiálható, de nem számítható .
Khaitin a filozófia kérdéseivel is foglalkozik, különösen a metafizikával és a matematika filozófiájával, különösen a matematika ismeretelméleti problémáival. A metafizikában Khaitin azzal érvel, hogy az algoritmikus információelmélet a kulcsa a problémák megoldásának olyan területeken, mint a biológia ( az élet formális definíciójának megszerzése , eredete és evolúciója ) és az idegtudomány (a tudat problémája és a gondolkodási folyamatok tanulmányozása). Valójában legújabb írásaiban a digitális filozófiaként ismert álláspontot képviseli . A matematika ismeretelméletében azt állítja, hogy a matematikai logikában és az algoritmikus információelméletben tett felfedezései megmutatták, hogy vannak olyan matematikai tények, amelyek igazságát egyetlen elmélet sem magyarázhatja meg. E tények „bizonyítására” egyetlen mód van: minden indoklás nélkül axiómákként felismerni őket. Khaitin azt javasolja, hogy a matematikusok adják fel minden reményt e tények bizonyítására, és alkalmazzanak egy kvázi-empirikus módszertant.
Khaitin a szerzője a kromatikus számok ( eng. graph coloring ) használatának is a regiszterkiosztás összeállítására , amely Khaitin algoritmusaként ismert .
Kritika
Egyes filozófusok és logikusok egyáltalán nem értenek egyet azokkal a filozófiai következtetésekkel, amelyeket Khaitin tételeiből vont le [1] . A logikus Torkel Franzén [2] bírálja Khaitin Gödel hiányossági tételének értelmezését és Khaitin írásaiban ennek megkérdőjelezhető magyarázatát.
Proceedings
- Algorithmic Information Theory , ( Cambridge University Press , 1987 ),
- Információ, véletlenszerűség és hiányosság , ( World Scientific , 1987),
- Információelméleti hiányosság , ( World Scientific , 1992 ),
- The Limits of Mathematics , ( Springer-Verlag 1998 ),
- The Unknowable ( Springer-Verlag 1999 ),
- Exploring Randomness , ( Springer-Verlag 2001 ),
- Beszélgetések egy matematikussal , ( Springer-Verlag 2002 ),
- A filozófiától a programméretig ( Tallinn Cybernetics Institute , 2003 ),
- Meta Math!: The Quest for Omega , ( Pantheon 2005 ),
- Gödelre és Turingra gondolva , ( World Scientific , 2007 ).
Jegyzetek
- ↑ Panu Raatikainen "Exploring Randomness and The Unknowable" Az Amerikai Matematikai Társaság közleményei archiválva 2017. augusztus 29-én a Wayback Machine Book Review 2001. októberi oldalán
- ↑ Torkel Franzén Gödel tétele: Hiányos útmutató a használatához és visszaéléshez . Wellesley , Massachusetts : A.K. Peters, Ltd. , 2005. x + 172 o. ISBN 1-56881-238-8 .
Linkek
- Khaitin „Az értelem határai” című cikkének fordítása a Scientific American -ban
- GJ Chaitin kezdőlapja
- GJ Chaitin publikációinak listája
- New Scientist cikk (2001. március) a Chaitinről, Omegasról és Super-Omegasról
- Chaitin bizonyításának rövid változata
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||