Войти
| Грегори Чейтин | |
|---|---|
| Родился | (1947-06-25) 25 июня 1947 (возраст 73). Чикаго |
| Национальность | Аргентинец - Американец |
| Известен | сложностью Чайтина – Колмогорова. Константа Чайтина. Алгоритм Чайтина |
| Научная карьера | |
| Поля | Биология. Математика. Компьютер наука |
| Учреждения | Федеральный университет Рио-де-Жанейро. IBM Исследовательский центр Томаса Дж. Уотсона |
| Влияние s | Готфрид Вильгельм Лейбниц |
Грегори Джон Чайтин (; родился 25 июня 1947 года), аргентинский -американский математик и ученый-компьютерщик. Начиная с конца 1960-х годов, Чайтин внес вклад в алгоритмическую теорию информации и метаматематику, в частности, теоретико-компьютерный результат, эквивалентный теореме Гёделя о неполноте. Он считается одним из основоположников того, что сегодня известно как алгоритмическая (Соломонов-Колмогоров-Чайтин, Колмогоров или размер программы) сложность вместе с Андреем Колмогоровым и Рэем Соломоновым. Наряду с работами, например, Соломонов, Колмогоров, Мартин-Лёф и Леонид Левин, теория алгоритмической информации стала основополагающей частью теоретическая информатика, теория информации и математическая логика. Это обычный предмет в нескольких учебных программах по информатике. Помимо компьютерных ученых, работа Чайтина привлекает внимание многих философов и математиков к фундаментальным проблемам математического творчества и цифровой философии.
Он учился в Средней школе наук Бронкса и Городском колледже Нью-Йорка, где (еще будучи подростком) разработал теория, которая привела к его независимому открытию алгоритмической сложности.
Чейтин определил константу Чейтина Ω, действительное число, цифры которого равнораспределены и что иногда неформально описывается как выражение вероятности остановки произвольной программы. У Ω есть математическое свойство, заключающееся в том, что оно определимо с асимптотическими приближениями снизу (но не сверху), но не вычислимо.
Чейтин также является инициатором использования раскраски графов для выполнения распределения регистров при компиляции, процесса, известного как алгоритм Чейтина.
Он ранее был исследователем в Исследовательском центре Томаса Дж. Уотсона IBM в Нью-Йорке и остается заслуженным исследователем. Он написал более 10 книг, переведенных примерно на 15 языков. Сегодня его интересуют вопросы и теоретико-информационные формализации теории эволюции.
Чайтин также пишет о философии, особенно метафизика и философия математики (особенно в отношении эпистемологических вопросов в математике). В метафизике Чайтин утверждает, что теория алгоритмической информации является ключом к решению проблем в области биологии (получение формального определения «жизни», ее происхождения и эволюции ) и нейробиология (проблема сознания и изучение разума).
В последних работах он отстаивает позицию, известную как цифровая философия. В эпистемологии математики он утверждает, что его открытия в математической логике и теории алгоритмической информации показывают, что есть «математические факты, которые верны без всякой причины, но верны случайно». Чейтин предлагает математикам отказаться от всякой надежды на доказательство этих математических фактов и принять квазиэмпирическую методологию.
В 1995 году он получил степень доктора наук honoris causa в Университете штата Мэн. В 2002 году ему было присвоено звание почетного профессора Университета Буэнос-Айреса в Аргентине, где его родители родились и где Чайтин провел часть своей юности. В 2007 году он получил оценку Wolfram Research. В 2009 году он получил степень доктора философии honoris causa в Национальном университете Кордовы. Раньше он был исследователем в IBM Исследовательском центре Томаса Дж. Уотсона, а теперь является профессором Федерального университета Рио-де-Жанейро.
Некоторые философы и логики не согласны с философскими выводами, которые Чейтин сделал из своих теорем, относящихся к тому, что, по мнению Чейтина, является своего рода фундаментальной арифметической случайностью. Логик Торкель Францен подверг критике интерпретацию Чайтина теоремы Гёделя о неполноте и предполагаемое ее объяснение, которое представляет работа Чайтина.
 | В Викицитатнике есть цитаты, связанные с: Грегори Чайтин |
