Gregory John Chaitin ( / ˈtʃaɪtɪn / CHY -tin ; nacido el 25 de junio de 1947 ) es un matemático e informático argentino - estadounidense . A partir de finales de la década de 1960, Chaitin hizo contribuciones a la teoría algorítmica de la información y a las metamatemáticas , en particular un resultado teórico informático equivalente al teorema de incompletitud de Gödel . [2] Se le considera uno de los fundadores de lo que hoy se conoce como complejidad algorítmica (Solomonoff-Kolmogorov-Chaitin, Kolmogorov o tamaño de programa) junto con Andrei Kolmogorov y Ray Solomonoff . Junto con los trabajos de, por ejemplo , Solomonoff , Kolmogorov , Martin-Löf y Leonid Levin , la teoría algorítmica de la información se convirtió en una parte fundamental de la informática teórica , la teoría de la información y la lógica matemática . [3] [4] Es una materia común en varios planes de estudios de informática. Además de los informáticos, el trabajo de Chaitin llama la atención de muchos filósofos y matemáticos sobre problemas fundamentales de la creatividad matemática y la filosofía digital.
Gregory Chaitin es judío y asistió a la Bronx High School of Science y al City College de Nueva York , donde (aún en su adolescencia) desarrolló la teoría que lo llevó a su descubrimiento independiente de la complejidad algorítmica . [5] [6]
Chaitin ha definido la constante Ω de Chaitin , un número real cuyos dígitos están equidistribuidos y que a veces se describe informalmente como una expresión de la probabilidad de que un programa aleatorio se detenga. Ω tiene la propiedad matemática de que es definible , con aproximaciones asintóticas desde abajo (pero no desde arriba), pero no computable .
Chaitin también es el creador del uso de coloración de gráficos para realizar la asignación de registros en la compilación , un proceso conocido como algoritmo de Chaitin . [7]
Anteriormente fue investigador en el Centro de Investigación Thomas J. Watson de IBM en Nueva York. Ha escrito más de 10 libros que han sido traducidos a unos 15 idiomas. Actualmente se interesa por cuestiones de metabiología y formalizaciones teóricas de la información de la teoría de la evolución , y es miembro del Instituto de Estudios Avanzados de la Universidad Politécnica Mohammed VI .
Chaitin también escribe sobre filosofía , especialmente metafísica y filosofía de las matemáticas (particularmente sobre cuestiones epistemológicas en matemáticas). En metafísica, Chaitin afirma que la teoría algorítmica de la información es la clave para resolver problemas en el campo de la biología (obtener una definición formal de "vida", su origen y evolución ) y la neurociencia (el problema de la conciencia y el estudio de la mente).
En escritos recientes defiende una postura conocida como filosofía digital . En epistemología de las matemáticas, afirma que sus hallazgos en lógica matemática y teoría algorítmica de la información muestran que hay "hechos matemáticos que son verdaderos sin razón alguna, que son verdaderos por accidente". [8] Chaitin propone que los matemáticos deben abandonar cualquier esperanza de probar esos hechos matemáticos y adoptar una metodología cuasi-empírica .
En 1995 recibió el título de doctor honoris causa en ciencias por la Universidad de Maine . En 2002 recibió el título de profesor honorario de la Universidad de Buenos Aires en Argentina, donde nacieron sus padres y donde Chaitin pasó parte de su juventud. En 2007 recibió la Medalla Leibniz [9] de Wolfram Research . En 2009 recibió el título de doctor honoris causa en filosofía por la Universidad Nacional de Córdoba . Anteriormente fue investigador del Centro de Investigación Thomas J. Watson de IBM y profesor de la Universidad Federal de Río de Janeiro .
Algunos filósofos y lógicos no están de acuerdo con las conclusiones filosóficas que Chaitin ha extraído de sus teoremas relacionados con lo que Chaitin cree que es una especie de aleatoriedad aritmética fundamental. [10] El lógico Torkel Franzén criticó la interpretación de Chaitin del teorema de incompletitud de Gödel y la supuesta explicación que representa el trabajo de Chaitin. [11]
GJChaitin había terminado la Escuela Secundaria de Ciencias del Bronx y era un estudiante universitario de 18 años en el City College de la Universidad de la Ciudad de Nueva York, cuando presentó dos artículos... En su [segundo] artículo, Chaitin dice presentar la noción de complejidad de Kolmogorov....
