Грегорі Джон Хайтін: біографія

Біографія

Хайтін народився в Чикаго, син аргентинських іммігрантів з Буенос-Айреса. Незабаром сім'я переїхала в Нью-Йорк. Ще дитиною, його привернула стаття Ернста Нагеля і Джеймса Ньюмана (James R. Newman) «Доказ Геделя», опублікована в 1956 році в журналі Scientific American. Через два роки її автори випустили однойменну книгу, яку Хайтін читав у Нью-йоркської публічної бібліотеки. У 1959 році, виконуючи вказівки з розділуAmateur Scientistу Scientific American, він побудував генератор Ван де Грааф.

Хайтін здобув освіту в Bronx High School of Science і City College of New York , де він і створив свою теорему. У 1966 році сім'я повертається в Буенос-Айрес, де він стає програмістом в IBM Argentina.

У 1974 році Хайтін був запрошений в дослідницький центр IBM ім. Томаса Уотсона, де він працює і понині. З 1976 по 1985 він працював там програмним і апаратним інженером над проектом IBM RISC.

У 1995 йому була присуджена ступінь доктора наукin honoris causaУніверситету Мена, а в 2002 - звання почесного професора Університету Буенос-Айреса. З 2000 року він також є запрошеним професором в Університеті Окленда.

Наукова робота

Коло наукових інтересів Хайтіна лежить в області теорії інформації, теорії обчислюваності, підставах математики. Ранні роботи Хайтіна по алгоритмічної теорії інформації паралельні раннім роботам Колмогорова.

Хайтін ввів константу Хайтіна ?, дійсне число, чиї цифри равнораспределени і, яке іноді називають виразом ймовірності, що довільно взята програма зупиниться. ? має те математичне властивість, що воно визначно, але не обчислюваною.

Хайтін також займається питаннями філософії, особливо метафізикою і філософією математики (зокрема епістемологічними проблемами математики). У метафізиці Хайтін стверджує, що алгоритмічна теорія інформації - ключ до розв'язання проблем в таких областях, як біологія (одержання формального визначення життя, його походження та еволюція) і нейробіологія (проблема свідомості і вивчення процесів мислення). Фактично, в останніх своїх працях, він відстоює позицію, відому як цифрова філософія. У епістемології математики він заявляє, що його відкриття в математичній логіці та алгоритмічної теорії інформації показали, що існують математичні факти, істинність яких не можна пояснити ніякою теорією. «Довести» ці факти можна тільки одним способом: визнати їх аксіомами без всяких міркувань. Хайтін пропонує математикам залишити всяку надію довести ці факти і вжити квазіемпіріческую методологію.

Хайтін також є автором використання хроматичного числа (англ.graph coloring) для розподілу регістрів при компіляції, відомого як алгоритм Хайтіна.

Критика

Деякі філософи й логіки абсолютно не згодні з філософськими висновками, які Хайтін вивів зі своїх теорем. Логік Torkel Franz?n критикує інтерпретацію Хайтіном теоремі Геделя про неповноту і сумнівне пояснення, дане їй Хайтіном в його роботах.

Комментарии

Сайт: Википедия