Gregory John Chaitin ( nacido el 25 de junio de 1947 ) es un matemático y científico informático argentino - estadounidense . A finales de la década de 1960, Chaitin realizó contribuciones a la teoría de la información algorítmica y a la metamatemática , 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 del tamaño del 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 de la información algorítmica 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 programas de informática. Además de los informáticos, el trabajo de Chaitin atrae la atención de muchos filósofos y matemáticos hacia 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 (todavía 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 el 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 de la teoría de la evolución basadas en la teoría de la informació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 de la información algorítmica es la clave para resolver problemas en el campo de la biología (obtener una definición formal de la "vida", su origen y evolución ) y la neurociencia (el problema de la conciencia y el estudio de la mente).
En escritos recientes, Chaitin defiende una postura conocida como filosofía digital . En la epistemología de las matemáticas, afirma que sus hallazgos en lógica matemática y teoría de la información algorítmica 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 le fue otorgado el grado de doctor en ciencias honoris causa por la Universidad de Maine . En 2002 le fue otorgado el título de profesor honorario por la Universidad de Buenos Aires en Argentina, donde nacieron sus padres y donde Chaitin pasó parte de su juventud. En 2007 le fue otorgada la Medalla Leibniz [9] por Wolfram Research . En 2009 le fue otorgado el grado de doctor en filosofía honoris causa 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 piensa 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 para ello 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 City University de Nueva York, cuando presentó dos artículos.... En su [segundo] artículo, Chaitin propone la noción de complejidad de Kolmogorov....
