Gregory J. Chaitin
| ||||||||||
Gregory J. Chaitin. Es un matemático y científico de la computación estadounidense nacionalizado argentino. Actualmente es investigador del laboratorio Watson de IBM en New York.
Síntesis biográfica
Nacido en Nueva York, en 1947, hijo de emigrantes argentinos. Mientras cursaba el bachillerato, a los trece años, se interesó por el teorema de Gödel sobre los límites de la matemática, aspecto que serviría de estímulo para el comienzo de su carrera científica.
Regreso a Buenos Aires
En 1965 regresó a Buenos Aires, donde cursó matemáticas en la Universidad. Al concluir los estudios comenzó a trabajar en IBM y como docente en la Facultad de Ciencias Exactas.
En plena juventud, comenzó a desarrollar la teoría algorítmica de la información (AIT), en la que se cruzan aspectos de la teoría matemática de la información de Shannon y Kolmogorov y de la computación de Turing, que le han permitido analizar el tamaño real de los programas en función de la capacidad de procesamiento de información de las máquinas.
En 1995 recibió el grado de doctor en ciencias honoris causa por la Universidad de Maine. En 2002 recibió el título de profesor honorario por la Universidad de Buenos Aires en Argentina, donde sus padres nacieron y donde Chaitin pasó parte de su juventud.
Contribuciones
Ha logrado importantes resultados en la teoría algorítmica de la información y en la llamada metamatemática, en particular un teorema de la incompletitud similar en espíritu al teorema de la incompletitud de Gödel. El trabajo de Chaitin en la teoría algorítmica de la información es en cierta medida, la continuación del trabajo anterior de Kolmogórov yA. R. Solomonoff.
Formulo la Máquina de Chaitin, una version de la Maquina de Turing que permite abordar y unificar un los llamados problemas no computables en teoria de la computacion. Definió la constante de Chaitin Ω, un número real cuyos dígitos están equidistribuidos y expresa la probabilidad de detención de un programa escogido al azar. Ω tiene numerosas propiedades matemáticas interesantes, incluyendo el hecho de ser definible pero no computable.
Es además el inventor del uso de la coloración de grafos para la asignación de los registros al compilar. Este el llamado algoritmo de Chaitin. También escribe sobre filosofía, en particular sobremetafísica y filosofía de la matemática. En metafísica, Chaitin dice
En la epistemología de las matemáticas, afirma que sus resultados en lógica matemática y en teoría de la información algorítmica muestran que hay
Chaitin propone que los matemáticos deberían abandonar toda esperanza de probarlos y adoptar una metodología cuasi-empírica.
Publicaciones
Algorithmic Information Theory, Cambridge University Press, 1987; Information, Randomness & Incompleteness, World Scientific, Singapur, 1987; Information-Theoretic Incompleteness, World Scientific, Singapur, 1992; The Limits of Mathematics, Springer, Singapur, 1998; The Unknowable, Springer, Singapur, 1999; Exploring Randomness, Springer, Londres, 2001; From Philosophy to Program Size, Institute of Cybernetics, Tallín, Estonia, 2003.
Fuentes
- Gregory J. Chaitin. Disponible en: www.madrimasd.org. Consultado el 18 de diciembre de 2015
- Chaitin. Disponible en: www.infoamerica.org. Consultado el 18 de diciembre de 2015
