Грегори Џон Цејтин

Грегори Џон Чејтин (15. новембар 1947) је аргентинско-амерички математичар и информатичар. Почевши крајем 1960-их, Чејтин је дао свој допринос алгоритамској информационој теорији и метаматематици, пре свега теорији израчунљивости која је слична Геделовој теореми о непотпуности. Сматра се да је један од оснивача Колмогорове комплексности (или Колмогорова-Чејтинова комплексност) заједно са Андрејем Колмогоровим и Рејом Соломоновим. Данас, алгоритамска информациона теорија је чест предмет у наставном плану и програму информатике.

Грегори Џон Цејтин
Датум рођења	(1947-11-15)15. новембар 1947.
Место рођења	Чикаго, САД

Математика и информатика

Грегори је похађао средњу школу науке у Бронксу и градски колеџ Њујорка, где је (још као тинејџер) развио теорију, која је довела до његовог самосталног открића Колмогорове комплексности. Чејтин је дефинисао Чејтинову константу Ω (ом), реалан број чије су цифре једнако распоређене и које представљају вероватноћу да ће се насумице програм зауставити. Ω има математичко својство које је могуће одредити, али не и израчунати. Чејтинови први радови из алгоритамске информационе теорије су урађени после Соломонових, Колмогорових, и Мартин-Лофових радова. Чејтин је такође зачетник коришћења бојење графова да би се добио распоред регистра при састављању, процес који је познат као чејтинов алгоритам.

Он је бивши истраживач у истраживачком центру ИБМ Томас Ј. Вотсон у Њујорку и остаје тамо почасни истраживач. Он је написао више од 10 књига које су преведене на око 15 језика. Данас га интересују питања везана за метабиологију и теоретичко-информатичку формализацију теорије еволуције.

Други научни радови

Чејтин такође пише о филозофији, пре свега о метафизици и филозофији математике (нарочито о епистемолошким питањима у математици). У метафизици, Чејтин тврди да алгоритамска информациона теорија је кључна за решавање проблема у области биологије (за добијање дефиниције "живота", порекла живота и еволуције) и неурологије (проблем свести и проучавање ума). У својим новијим списима брани став познат као дигитална филозофија. У епистемологији математике тврди да његова открића у математичкој логици и алгоритамској информационој теорији показују да постоје "математичке чињенице које су саме по себи истините, да су откривене случајно. Оне су случајне математичке чињенице". Чејтин предлаже да математичари морају престати доказивати те математичке чињенице и да усвоје квази-емпиријску методологију.

Признања

Године 1995. добио је звање доктора наука Универзитета у Мајну. Године 2002. добио је титулу почасног професора Универзитета у Буенос Аиресу у Аргентини, где су рођени његови родитељи и где је провео део своје младости. Године 2007. добио је Лајбниц медаљу Волфрам Ресеарцх (Волфрам Истраживачки Центар). Године 2009. добио је степен доктора филозофије од стране Националног универзитета у Кордоби. Он је бивши истраживач у истраживачком центру ИБМ-а Томас Ј. Вотсон а данас је професор на Федералном универзитету у Рио де Жанеиру. Критике Неки филозофи и логичари се не слажу са филозофским закључцима Чејтинових теорема. Логичар Торкел Франзен је критиковао Чејтиново тумачење Геделове теореме о непотпуности и наводним објашњенима које представља Чејтинов рад.

Види још

• Дигитална филозофија
• Затварање проблема
• Алгоритамска информациона теорија

Библиографија

• Информација, случајност и непотпуност (Wорлд Сциентифиц 1987) (онлине)
• Алгоритамска информациона теорија . . Cambridge University Press. 1987.  онлине
• Информациона-теоретска непотпуност (Wорлд Сциентифиц 1992) (онлине)
• Границе математике (Спрингер-Верлаг 1998)
• Неприступачност (Спрингер-Верлаг 1999)
• Истраживање случајности (Спрингер-Верлаг 2001)
• Разговори са математичарем (Спрингер-Верлаг 2002)
• Од филозофије до величине програма (Таллинн кибернетике Институте 2003)
• Метаматематика!: Потрага за омегом (Пантеон Књиге 2005) (прештампан у Великој Британији као Метаматематика: У потрази за омегом. . Atlantic Books. 2006. ) (арXив препринт)
• Алгоритамска теорија сложености (Г. Гиаппицхелли Едиторе 2006)
• Размишљање о Геделови и Турингови (Wорлд Сциентифиц 2007.)
• Математика, сложеност и филозофија (Едиториал Мидас 2011.)
• Годелов начин (ЦРЦ Пресс. 2012..)
• Доказивање Дарвина: Израда математичке биологије (Пантхеон Боокс. 2012..)

Литература

• Грегорy Цхаитин (2007), алгоритамске информационе теорије: "Цхаитин Ресеарцх Тимелине" Архивирани 23 марта 2012. године у Wаyбацк Мацхине.
• Ли; Витанyи (1997), Увод у Колмогорову сложеност и њена примена, Спрингер. стр. 92, ГЈЦхаитин је завршио Бронx високу школу за науку, а био је 18-годишњи апсолвент на Градском колеџу Њујорка, када је поднео два рада .... У свом [други] раду, Чејтин предлаже појам Колмогорова сложеност ....
• Цхаитин, Грегорy Ј. (1966). „Он тхе Ленгтх оф Програмс фор Цомпутинг Фините Бинарy Сеqуенцес”. Јоурнал оф тхе АЦМ. 13 (4): 547—569. С2ЦИД 207698337. дои:10.1145/321356.321363. 
• Г.Ј. Чејтин, Расподела регистара и Просипање преко графобојења, УС Патент 4571678 (1986) [цитирано из Алокације регистра на Интел® Итаниум Арцхитецтуре. стр. 155]
• "Професор Грегори Џон Чејтин". ИТ Хисторy Социетy. Преузето 2016/07/12.
• Зенил, Хецтор "Лајбниц медаља долази после 300 година" Анима Еx Мацхина, блог Хецтор Зенил, 3. новембра 2007. године.
• Пану Раатикаинен, "Истраживање случајности и Неприступачност" Преглед књиге америчког математичког друштва, октобар 2001.
• Франзéн, Торкел , Геделова теорема: Непотпун водич за употребу и злоупотребу, Wеллеслеy, Массацхусеттс: А К Петерс, Лтд. 2005. ISBN 978-1-56881-238-0.