Jump to content

Григорий Чайтин

(Перенаправлено от Грегори Дж. Чайтина )

Григорий Чайтин
Чайтин в 2008 году
Рожденный ( 1947-06-25 ) 25 июня 1947 г. (77 лет)
Национальность Аргентинский - Американский
Известный
Научная карьера
Поля
Учреждения
Веб-сайт отец .академические круги .edu /ГрегориЧайтин

Грегори Джон Чайтин ( / ˈtʃ t ɪ n аргентинско / CHY -tin ; родился 25 июня 1947 года) — - американский математик и учёный -компьютерщик . Начиная с конца 1960-х годов, Чайтин внес вклад в алгоритмическую теорию информации и метаматематику , в частности, получил теоретико-компьютерный результат, эквивалентный теореме Гёделя о неполноте . [2] Он считается одним из основателей того, что сегодня известно как алгоритмическая сложность (Соломонов-Колмогоров-Чайтин, Колмогоров или размер программы) вместе с Андреем Колмогоровым и Рэем Соломоновым . Наряду с работами, например, Соломонова , Колмогорова , Мартина-Лёфа и Леонида Левина , алгоритмическая теория информации стала основополагающей частью теоретической информатики , теории информации и математической логики . [3] [4] Это общий предмет в нескольких учебных программах по информатике. Помимо ученых-компьютерщиков, работа Чайтина привлекает внимание многих философов и математиков к фундаментальным проблемам математического творчества и цифровой философии.

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

[ редактировать ]

Грегори Чайтин — еврей , он учился в Высшей научной школе Бронкса и Городском колледже Нью-Йорка , где (еще будучи подростком) разработал теорию, которая привела к его независимому открытию алгоритмической сложности . [5] [6]

Чайтин определил константу Чайтина Ω — действительное число , цифры которого равномерно распределены и которое иногда неформально описывается как выражение вероятности остановки случайной программы. Ω обладает тем математическим свойством, что оно определимо с асимптотическими аппроксимациями снизу (но не сверху), но не вычислимо .

Чайтин также является автором использования раскраски графов для распределения регистров при компиляции — процесса, известного как алгоритм Чайтина . [7]

Ранее он работал исследователем в Исследовательском центре Томаса Дж. Уотсона компании IBM в Нью-Йорке. Он написал более 10 книг, которые переведены примерно на 15 языков. Сегодня он интересуется вопросами метабиологии и теоретико-информационной формализации теории эволюции и является членом Института перспективных исследований Политехнического университета Мохаммеда VI .

Другие научные вклады

[ редактировать ]

Хайтин также пишет о философии , особенно о метафизике и философии математики (особенно об эпистемологических вопросах математики). В метафизике Чайтин утверждает, что алгоритмическая теория информации является ключом к решению проблем в области биологии (получение формального определения «жизни», ее происхождения и эволюции ) и нейробиологии (проблемы сознания и изучения разума).

В последних работах он защищает позицию, известную как цифровая философия . В эпистемологии математики он утверждает, что его открытия в области математической логики и алгоритмической теории информации показывают, что существуют «математические факты, которые верны без всякой причины, которые верны случайно». [8] Чайтин предлагает математикам отказаться от всякой надежды доказать эти математические факты и принять квазиэмпирическую методологию.

В 1995 году ему была присвоена степень почетного доктора наук Университета штата Мэн . В 2002 году ему было присвоено звание почетного профессора Университета Буэнос-Айреса в Аргентине, где родились его родители и где Чайтин провел часть своей юности. В 2007 году ему была вручена медаль Лейбница. [9] компанией Wolfram Research . В 2009 году ему была присвоена степень почетного доктора философии Национального университета Кордовы . Ранее он был исследователем в IBM компании Исследовательском центре Томаса Дж. Уотсона и профессором Федерального университета Рио-де-Жанейро .

Некоторые философы и логики не согласны с философскими выводами, которые Чайтин сделал из своих теорем, связанных с тем, что, по мнению Чайтина, является своего рода фундаментальной арифметической случайностью. [10] Логик Торкель Франзен раскритиковал интерпретацию Чайтина теоремы Гёделя о неполноте и предполагаемое объяснение ее, которое представляет собой работа Чайтина. [11]

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

[ редактировать ]
  1. ^ Грегори Чайтин (2007), Алгоритмическая теория информации: «Хронология исследований Чайтина». Архивировано 23 марта 2012 г. в Wayback Machine.
  2. ^ Обзор Meta Math!: В поисках Омеги, Грегори Чайтин SIAM News, том 39, номер 1, январь/февраль 2006 г.
  3. ^ Калуд, CS (2002). Информация и случайность: алгоритмическая перспектива . Тексты по теоретической информатике. Серия EATCS. Спрингер-Верлаг.
  4. ^ Р. Дауни и Д. Хиршфельдт (2010), Алгоритмическая случайность и сложность , Springer-Verlag.
  5. ^ Ли; Витаний (1997), Введение в колмогоровскую сложность и ее приложения , Springer, стр. 92, ISBN  9780387948683 Г.Дж.Чайтин окончил Высшую научную школу Бронкса и был 18-летним студентом городского колледжа Городского университета Нью-Йорка, когда он представил две статьи.... В своей [второй] статье Чайтин ставит выдвинуть понятие колмогоровской сложности....
  6. ^ Чайтин, Г.Дж. (октябрь 1966 г.), «О длине программ для вычисления конечных двоичных последовательностей», Журнал ACM , 13 (4): 547–569, doi : 10.1145/321356.321363 , S2CID   207698337
  7. ^ Г. Дж. Чайтин, Распределение регистров и распределение с помощью раскраски графов , патент США 4,571,678 (1986) [цитируется по Распределению регистров в архитектуре Intel® Itanium® , стр. 155]
  8. ^ Чайтин, Г.Дж. (2003). «От философии к размеру программы». arXiv : math/0303352 .
  9. ^ Зенил, Гектор «Медальон Лейбница оживает через 300 лет» Anima Ex Machina , Блог Гектора Зенила , 3 ноября 2007 г.
  10. ^ Пану Раатикайнен, «Изучение случайности и непознаваемого» Уведомления о рецензии на книгу Американского математического общества, октябрь 2001 г.
  11. ^ Францен, Торкель (2005), Теорема Гёделя: неполное руководство по ее использованию и злоупотреблениям , Уэлсли, Массачусетс: AK Peters, Ltd. , ISBN  978-1-56881-238-0

Дальнейшее чтение

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 100cfa3c880ffa4e80c6f9621283daba__1722610200
URL1:https://arc.ask3.ru/arc/aa/10/ba/100cfa3c880ffa4e80c6f9621283daba.html
Заголовок, (Title) документа по адресу, URL1:
Gregory Chaitin - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)