Из Википедии, бесплатной энциклопедии
  (Перенаправлено с Chaitin )
Перейти к навигации Перейти к поиску

Григорий Чайтин
Родившийся( 1947-06-25 )25 июня 1947 г. (73 года)
Чикаго [1]
НациональностьАргентинский - Американский
ИзвестенСложность Чайтина – Колмогорова
Константа
Чайтина Алгоритм Чайтина
Научная карьера
ПоляБиология
Математика
Информатика
УчрежденияФедеральный университет Рио-де-Жанейро Исследовательский центр
IBM Thomas J. Watson
ВлиянияГотфрид Вильгельм Лейбниц

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

Математика и информатика [ править ]

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

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

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

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

Другие научные работы [ править ]

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

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

Почести [ править ]

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

Критика [ править ]

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

Библиография [ править ]

  • Информация, случайность и неполнота ( World Scientific 1987) ( онлайн )
  • Алгоритмическая теория информации ( Cambridge University Press, 1987) онлайн
  • Информационно-теоретическая неполнота ( World Scientific 1992) ( онлайн )
  • Пределы математики ( Springer-Verlag 1998)
  • Непознаваемое ( Springer-Verlag 1999)
  • Исследование случайности ( Springer-Verlag 2001)
  • Беседы с математиком ( Springer-Verlag 2002)
  • От философии к размеру программы ( Таллиннский институт кибернетики, 2003 г.)
  • Meta Math !: The Quest for Omega ( Pantheon Books 2005) (перепечатано в Великобритании как Meta Maths: The Quest for Omega , Atlantic Books 2006) ( arXiv : math / 0404335 )
  • Алгоритмическая теория делла complessità ( G. Giappichelli Editore 2006)
  • Размышляя о Геделе и Тьюринге ( World Scientific 2007)
  • Математика, сложность и философия ( Эдиториал Мидас 2011)
  • Путь Гёделя ( CRC Press 2012)
  • Доказательство Дарвина: превращение биологии в математику ( Pantheon Books, 2012)

Ссылки [ править ]

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

Дальнейшее чтение [ править ]

  • Пагалло, Уго (2005), Introduzione alla filosofia digitale. Da Leibniz a Chaitin [ Введение в цифровую философию: от Лейбница до Чайтина ] (на итальянском языке), G. Giappichelli Editore, ISBN 978-88-348-5635-2, заархивировано из оригинала 22 июля 2011 г. , извлечено 16 апреля 2008 г.
  • Калуд, Кристиан С., изд. (2007), Случайность и сложность. От Лейбница до Чайтина , World Scientific, ISBN 978-981-277-082-0
  • Вуппулури, Шьям; Дориа, Франсиско А., ред. (2020), Unraveling Сложность: Жизнь и творчество Григория Чайтину , World Scientific, DOI : 10,1142 / 11270 , ISBN 978-981-12-0006-9

Внешние ссылки [ править ]

  • Домашняя страница GJ Chaitin
  • Список публикаций Г.Я. Чайтина
  • Видео лекции по метабиологии: «Жизнь как развивающееся программное обеспечение» на YouTube
  • Видео лекции на тему «Лейбниц, сложность и неполнота»
  • Работы Григория Чайтина или о нем в библиотеках ( каталог WorldCat )
  • Статья New Scientist (март 2001 г.) о Chaitin, Omegas и Super-Omegas
  • Краткая версия доказательства Чайтина
  • Грегори Чайтин расширил интервью и расшифровку стенограммы фильма «Почему мы здесь?» документальный сериал .