Gregory Chaitin - Gregory Chaitin
Gregory Chaitin | |
---|---|
Nascer |
|
25 de junho de 1947
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ʃ aɪ 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
- Information, Randomness & Incompleteness ( World Scientific 1987) ( online )
- Teoria da Informação Algorítmica ( Cambridge University Press 1987) online
- Incompletude teórica da informação ( World Scientific 1992) ( online )
- Os limites da matemática ( Springer-Verlag 1998)
- O Incognoscível ( Springer-Verlag 1999)
- Explorando a aleatoriedade ( Springer-Verlag 2001)
- Conversas com um matemático ( Springer-Verlag 2002)
- Da filosofia ao tamanho do programa ( Tallinn Cybernetics Institute 2003)
- Meta Math !: The Quest for Omega ( Pantheon Books 2005) (reimpresso no Reino Unido como Meta Maths: The Quest for Omega , Atlantic Books 2006) ( arXiv : math / 0404335 )
- Teoria algoritmica della complessità ( G. Giappichelli Editore 2006)
- Pensando em Gödel e Turing ( World Scientific 2007)
- Matemática, Complexidade e Filosofia ( Editorial Midas 2011)
- Gödel's Way ( CRC Press 2012)
- Proving Darwin: Making Biology Mathematical ( Pantheon Books 2012)
Referências
Leitura adicional
- Pagallo, Ugo (2005), Introduzione alla filosofia digitale. Da Leibniz a Chaitin [ Introdução à Filosofia Digital: De Leibniz a Chaitin ] (em italiano), G. Giappichelli Editore, ISBN 978-88-348-5635-2, arquivado do original em 22 de julho de 2011 , recuperado em 16 de abril de 2008
- Calude, Cristian S., ed. (2007), Randomness and Complexity. De Leibniz a Chaitin , World Scientific, ISBN 978-981-277-082-0
- Wuppuluri, Shyam; Doria, Francisco A., eds. (2020), Unraveling Complexity: The Life and Work of Gregory Chaitin , World Scientific, doi : 10.1142 / 11270 , ISBN 978-981-12-0006-9
links externos
- Página inicial de GJ Chaitin
- Lista de publicações de GJ Chaitin
- Vídeo da palestra sobre metabiologia: "A vida como software em evolução" no YouTube
- Vídeo da palestra sobre "Leibniz, complexidade e incompletude"
- Trabalhos de ou sobre Gregory Chaitin em bibliotecas ( catálogo do WorldCat )
- Artigo da New Scientist (março de 2001) sobre Chaitin, Omegas e Super-Omegas
- Uma versão curta da prova de Chaitin
- Gregory Chaitin estendeu a entrevista do filme e transcrições de 'Why Are We Here?' série documental .