Григорий Чайтин - Gregory Chaitin - Wikipedia

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

Грегори Джон Чейтин (/ˈtʃаɪтɪп/ 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 с Исследовательский центр Томаса Дж. Уотсона и сейчас профессор Федеральный университет Рио-де-Жанейро.

Критика

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

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

Рекомендации

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

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

  • Пагалло, Уго (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), Распутывая сложность: жизнь и творчество Грегори Чайтина, World Scientific, Дои:10.1142/11270, ISBN  978-981-12-0006-9

внешняя ссылка