Григорий Чайтин
Григорий Чайтин | |
---|---|
Рожденный | |
Национальность | Аргентинский - Американский |
Известный | |
Научная карьера | |
Поля | |
Учреждения | |
Веб-сайт | отец |
Грегори Джон Чайтин ( / ˈtʃ aɪ 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 компании Исследовательском центре Томаса Дж. Уотсона и профессором Федерального университета Рио-де-Жанейро .
Критика
[ редактировать ] этой статьи Разделы «критика» или «противоречие» могут поставить под угрозу ее нейтральность . ( июль 2016 г. ) |
Некоторые философы и логики не согласны с философскими выводами, которые Чайтин сделал из своих теорем, связанных с тем, что, по мнению Чайтина, является своего рода фундаментальной арифметической случайностью. [10] Логик Торкель Франзен раскритиковал интерпретацию Чайтина теоремы Гёделя о неполноте и предполагаемое объяснение ее, которое представляет собой работа Чайтина. [11]
Библиография
[ редактировать ]- Информация, случайность и неполнота ( World Scientific, 1987) ( онлайн )
- Алгоритмическая теория информации ( издательство Кембриджского университета , 1987) ( онлайн )
- Теоретико-информационная неполнота ( World Scientific, 1992) ( онлайн )
- Пределы математики ( Springer-Verlag 1998) ( онлайн- архивировано 25 апреля 2023 г. в Wayback Machine )
- Непознаваемое ( 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 )
- Теория алгоритмической сложности ( G. Giappichelli Editore, 2006)
- Думая о Гёделе и Тьюринге ( World Scientific 2007) ( онлайн- архивировано 29 апреля 2023 г. в Wayback Machine )
- Математика, сложность и философия ( Редакция Midas , 2011 г.)
- Путь Гёделя ( CRC Press 2012)
- Доказательство Дарвина: сделать биологию математической ( Pantheon Books 2012) ( онлайн )
- Строим мир с помощью информации и вычислений ( Academia.edu 2024) ( онлайн )
- Философская математика: бесконечность, неполнота, неприводимость ( Academia.edu 2024) ( онлайн )
Ссылки
[ редактировать ]- ^ Грегори Чайтин (2007), Алгоритмическая теория информации: «Хронология исследований Чайтина». Архивировано 23 марта 2012 г. в Wayback Machine.
- ^ Обзор Meta Math!: В поисках Омеги, Грегори Чайтин SIAM News, том 39, номер 1, январь/февраль 2006 г.
- ^ Калуд, CS (2002). Информация и случайность: алгоритмическая перспектива . Тексты по теоретической информатике. Серия EATCS. Спрингер-Верлаг.
- ^ Р. Дауни и Д. Хиршфельдт (2010), Алгоритмическая случайность и сложность , Springer-Verlag.
- ^ Ли; Витаний (1997), Введение в колмогоровскую сложность и ее приложения , Springer, стр. 92, ISBN 9780387948683 Г.Дж.Чайтин
окончил Высшую научную школу Бронкса и был 18-летним студентом городского колледжа Городского университета Нью-Йорка, когда он представил две статьи.... В своей [второй] статье Чайтин ставит выдвинуть понятие колмогоровской сложности....
- ^ Чайтин, Г.Дж. (октябрь 1966 г.), «О длине программ для вычисления конечных двоичных последовательностей», Журнал ACM , 13 (4): 547–569, doi : 10.1145/321356.321363 , S2CID 207698337
- ^ Г. Дж. Чайтин, Распределение регистров и распределение с помощью раскраски графов , патент США 4,571,678 (1986) [цитируется по Распределению регистров в архитектуре Intel® Itanium® , стр. 155]
- ^ Чайтин, Г.Дж. (2003). «От философии к размеру программы». arXiv : math/0303352 .
- ^ Зенил, Гектор «Медальон Лейбница оживает через 300 лет» Anima Ex Machina , Блог Гектора Зенила , 3 ноября 2007 г.
- ^ Пану Раатикайнен, «Изучение случайности и непознаваемого» Уведомления о рецензии на книгу Американского математического общества, октябрь 2001 г.
- ^ Францен, Торкель (2005), Теорема Гёделя: неполное руководство по ее использованию и злоупотреблениям , Уэлсли, Массачусетс: AK Peters, Ltd. , ISBN 978-1-56881-238-0
Дальнейшее чтение
[ редактировать ]- Пагалло, Уго (2005), Введение в цифровую философию. Da Leibniz a Chaitin [ Введение в цифровую философию: от Лейбница до 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, doi : 10.1142/11270 , ISBN 978-981-12-0006-9 , S2CID 198790362
Внешние ссылки
[ редактировать ]- Домашняя страница Г. Дж. Чайтина с сайта academia.edu
- Домашняя страница GJ Chaitin на сайте UMaine.edu в Интернет-архиве. Архивировано 29 октября 2013 г. на Wayback Machine.
- Список публикаций Г.Дж.Чайтина
- Видео лекции по метабиологии: «Жизнь как развивающееся программное обеспечение» на YouTube
- Видео лекции на тему «Лейбниц, сложность и незавершенность»
- Статья New Scientist (март 2001 г.) о чайтине, омегах и суперомегах.
- Краткая версия доказательства Чайтина
- Грегори Чайтин расширил киноинтервью и стенограмму фильма «Почему мы здесь?» документальный сериал
- Чайтин Лисп на github
- 1947 рождений
- Живые люди
- Выпускники Высшей школы наук Бронкса
- Выпускники Городского колледжа Нью-Йорка
- Аргентинские математики
- Аргентинские ученые-компьютерщики
- Американские математики XX века
- Американские математики XXI века
- Американские теоретики информации
- сотрудники IBM
- Философы математики
- Эпистемологи
- Писатели-метафизики
- Американские логики
- Американские философы XXI века
- Аргентинские теоретики информации
- Математики из Нью-Йорка (штат)