Gregory Chaitin

Gregory John Chaitin ( soutenu 1947 ) < ! -- Pourrions-nous avoir un endroit et un temps plus spécifiques ? --> est un Argentin - le mathématicien américain du et l'informaticien de .

Commençant vers la fin des années 60 , Chaitin a apporté des contributions à la théorie algorithmique de l'information de et au Metamathematics , en particulier un nouveau théorème d'imperfection semblable dans l'esprit au théorème de l'imperfection de Gödel de . Il s'est occupé du lycée de Bronx de de la Science et de l'université de ville de de New York , où il a développé la première fois son théorème tandis que toujours en quelques ses années de l'adolescence.

Chaitin a défini le constant Ω, un vrai nombre de Chaitin de de dont les chiffres sont equidistributed par et qui est parfois officieusement décrit comme expression de la probabilité qu'un programme aléatoire arrêtera. Ω a la propriété mathématique que c'est le définissable mais pas le calculable.

Les premiers travaux de Chaitin sur la théorie algorithmique de l'information ont mis en parallèle les premiers travaux du Kolmogorov .

Chaitin écrit également au sujet de la philosophie , particulièrement de la métaphysique et de la philosophie de des mathématiques (en particulier aux sujets épistémologiques dans les mathématiques). En métaphysique, Chaitin réclame que la théorie algorithmique de l'information de est la clef à résoudre des problèmes dans le domaine de la biologie (obtenant une définition formelle de la vie de `', de son origine et évolution ) et la neurologie (le problème de de conscience et l'étude de l'esprit). En effet, dans des écritures récentes, il défend une position connue sous le nom de philosophie de Digitals de . En épistémologie des mathématiques, il réclame que ses résultats dans la logique mathématique et l'exposition algorithmique de théorie de l'information là sont les faits mathématiques de « qui sont vrais pour aucune raison, ils sont vrais accidentellement. Ils sont les faits mathématiques aléatoires » . Chaitin propose que les mathématiciens doivent abandonner n'importe quel espoir de prouver ces faits mathématiques et adopter une méthodologie Quasi-empirique du .

Chaitin est également le créateur d'employer la coloration de graphique de pour faire l'attribution de registre de dans la compilation, un processus connu sous le nom d'algorithme de Chaitin de .

En 1995 il a été donné le degré de docteur du causa de honoris de de la science par l'université de du Maine . En 2002 il a été donné le titre du professeur honorifique par l'université de de Buenos Aires en Argentine, où ses parents étaient nés et où Chaitin a dépensé une partie de sa jeunesse. Il est un membre de personnel de recherche le centre et également un professeur de recherches de Thomas J. Watson de de s d'IBM à 'de visite au département de l'informatique de l'université de d'Auckland , et sur le comité international de l'institut de systèmes complexes de Valparaíso de .

Critique

Quelques philosophes et logiciens sont en désaccord fortement avec les conclusions philosophiques que Chaitin a tirées de ses théorèmes. Le Torkel Franzén de logicien critique l'interprétation de Chaitin du théorème de l'imperfection de Gödel de et l'explication alléguée pour elle que le travail de Chaitin représente. Une critique est que bien que Chaitin ait fréquemment parlé du " ; unknowable" ; et le " ; limites de reason" ; , il n'a pas donné un exemple d'un fait ou d'une question mathématique qui est inconnaissable ou au delà des limites de la raison/des mathématiques. En fait, il n'y a aucune limite, en principe, au nombre et l'endroit du peu d'Omega une pourrait établir.

Random links: