Gregory Chaitin - Gregory Chaitin

Gregory Chaitin
Nascer ( 25/06/1947 )25 de junho de 1947 (73 anos)
Nacionalidade Argentino - americano
Conhecido por Complexidade de Chaitin – Kolmogorov O algoritmo de Chaitin
constante de
Chaitin
Carreira científica
Campos Biologia
Matemática
Ciência da Computação
Instituições Universidade Federal do Rio de Janeiro
IBM Thomas J. Watson Research Center
Influências Gottfried Wilhelm Leibniz

Gregory John Chaitin ( / t ɪ n / CHY -tin ; nascido junho 1947 25) é um argentino - americano matemático e cientista da computação . Começando no final dos anos 1960, Chaitin fez contribuições para a teoria da informação algorítmica e metamatemática , em particular um resultado teórico do computador equivalente ao teorema da incompletude de Gödel . Ele é considerado um dos fundadores do que é hoje conhecido como complexidade algorítmica (Solomonoff – Kolmogorov – Chaitin, Kolmogorov ou tamanho de programa) junto com Andrei Kolmogorov e Ray Solomonoff . Junto com os trabalhos de, por exemplo , Solomonoff , Kolmogorov , Martin-Löf e Leonid Levin , a teoria da informação algorítmica tornou-se uma parte fundamental da ciência da computação teórica , teoria da informação e lógica matemática . É uma disciplina comum em vários currículos de ciência da computação. Além dos cientistas da computação, o trabalho de Chaitin chama a atenção de muitos filósofos e matemáticos para problemas fundamentais da criatividade matemática e da filosofia digital.

Matemática e Ciência da Computação

Ele frequentou a Escola de Ciências do Bronx High e o City College de Nova York , onde (ainda na adolescência) desenvolveu a teoria que o levou à descoberta independente da complexidade algorítmica .

Chaitin definiu a constante Ω de Chaitin , um número real cujos dígitos são equidistribuídos e que às vezes é informalmente descrito como uma expressão da probabilidade de que um programa aleatório pare. Ω tem a propriedade matemática de ser definível , com aproximações assintóticas de baixo (mas não de cima), mas não computável .

Chaitin também originou o uso da coloração de grafos para fazer a alocação de registradores na compilação , um processo conhecido como algoritmo de Chaitin .

Anteriormente, ele foi pesquisador do Thomas J. Watson Research Center da IBM em Nova York e continua sendo um pesquisador emérito. Ele escreveu mais de 10 livros que foram traduzidos para cerca de 15 idiomas. Ele está hoje interessado em questões de metabiologia e formalizações teóricas da informação da teoria da evolução .

Outras contribuições acadêmicas

Chaitin também escreve sobre filosofia , especialmente metafísica e filosofia da matemática (particularmente sobre questões epistemológicas na matemática). Na metafísica, Chaitin afirma que a teoria da informação algorítmica é a chave para resolver problemas no campo da biologia (obter uma definição formal de 'vida', sua origem e evolução ) e da neurociência (o problema da consciência e o estudo da mente).

Em escritos recentes, ele defende uma posição conhecida como filosofia digital . Na epistemologia da matemática, ele afirma que suas descobertas em lógica matemática e teoria da informação algorítmica mostram que existem "fatos matemáticos que são verdadeiros sem razão, que são verdadeiros por acidente". Chaitin propõe que os matemáticos devem abandonar qualquer esperança de provar esses fatos matemáticos e adotar uma metodologia quase empírica .

Honras

Em 1995 recebeu o grau de doutor honoris causa em ciências pela University of Maine . Em 2002 recebeu o título de professor honorário da Universidade de Buenos Aires, na Argentina, onde nasceram seus pais e onde Chaitin passou parte de sua juventude. Em 2007, ele recebeu a Medalha Leibniz da Wolfram Research . Em 2009 obteve o grau de doutor honoris causa em filosofia pela Universidade Nacional de Córdoba . Ele era um ex-pesquisador da IBM 's Thomas J. Watson Research Center e é agora um professor da Universidade Federal do Rio de Janeiro .

Crítica

Alguns filósofos e lógicos discordam das conclusões filosóficas que Chaitin tirou de seus teoremas relacionados ao que Chaitin pensa ser um tipo de aleatoriedade aritmética fundamental. O lógico Torkel Franzén criticou a interpretação de Chaitin do teorema da incompletude de Gödel e a alegada explicação para isso que o trabalho de Chaitin representa.

Bibliografia

Referências

Leitura adicional

links externos