Mathématiques > Définition de Gregory John Chaitin
Dictionnaire en ligne
Définitions Sigles Participez !
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Rechercher

Rejoignez-nous sur la page Facebook Dicodunet

 Liens sponsorisés

Gregory John Chaitin

 Définition

Gregory John Chaitin (1947) logicien, mathématicien américain, créateur de la théorie de l'informatique algorithmique.

Même si la notion d'élégance se trouve sous forme de germe dans l'oeuvre de Leibniz, elle n'est considérée comme formalisée qu'après les travaux de Chaitin. Ce dernier dans la continuation des recherches de Gödel mais aussi de Turing, a su mettre en évidence cette notion afin de la rendre opérationnelle. Pour se faire, il a utilisé la notion des programmes. La définition de Chaitin est la suivante: Un programme élégant est le plus court programme à fournir une sortie donnée. Le théorème de Chaitin peut s'énoncer de la manière suivante: Il n'est en général pas possible de déterminer si un programme donné est élégant ou pas. Il se démontre par l'absurde. En effet, nous considérons qu'il existe un programme E qui puisse tester l'élégance d'un programme donné. Nous construisons alors un programme B qui prend en entrée un entier naturel N et énumère tous les programmes possibles Pk qui sont plus longs que N. B en tant que programme peut faire tourner le programme E sur l'ensemble des programmes Pk qu'il a énumérés jusqu'a ce qu'il trouve un programme qui soit élégant. Alors B fait tourner ce programme et produit la même sortie que ce dernier. Considérons alors le terme suivant: B doit produire un résultat. Il est basé sur le fait qu'il existe une infinité de programmes élégants aussi si le programme E fonctionne comme il a été défini, alors il doit en trouver un, qui possède le résultat escompté. A présent activons le programme B avec l'entier N qui est cette fois égal à la longueur de B+1. B produira alors la même sortie qu'un programme Pk, qui a été déclaré comme élégant par le programme E. Mais Pk est plus long que B aussi Pk ne peut être élégant. Ainsi le programme E n'est pas un testeur d'élégance. Ce qui est absurde. De cette manière, nous voyons que la formalisation de cette notion quelque peu abstraite initialement permet d'obtenir un résultat d'ordre mathématique.

 Définitions connexes

Définitions connexes Kurt Gödel

 Auteur

Auteur Nikos Lygeros : Opus of N. Lygeros

 Utilisez cette définition !

Consignes pour recopier cette définition sur son site Vous pouvez recopier cette définition sur votre site à condition d'indiquer que la source est le Dico du Net, en utilisant par exemple ce code :

<p>Source <a href="http://www.dicodunet.com/">Dictionnaire en ligne</a> : 
<a href="http://www.dicodunet.com/annuaire/def-1778-gregory-john-chaitin.htm">
Gregory John Chaitin</a></p>

 Actualité

  • Protazok : définition !
  • Enceinte Hifi MS-2626
    Description Enceinte colonne élégante avec socle Haute Fidélité eet Home cinéma. Finition bois laqué noir, conciliant définition sonore de qualité à prix attractif. Enceinte 2 voies équipée d ...
  • Cameroun: Interview avec le Prix Nobel Reinhard Selten-"Les mathématiques sont indispensables pour la technologie modern
    Reinhard Selten, Prix Nobel d'économie en 1994, a pris part à un colloque sur les mathématiques, organisé ce mois à Yaoundé, la capitale du Cameroun. Né en 1930 à Breslau (aujourd'hui Wroclaw) en Allemagne, Selten a reçu le Prix Nobel d'économie avec John Harsanyi et John Nash, pour ses travaux sur la théorie des jeux.
  • Portrait : Gregory House
    Pour notre premier portrait de personnage, nous allons nous intéresser au désormais célèbre Docteur Gregory House, chef du département diagnostique au Princeton-Plainsboro Teaching Hospital, dans le New Jersey. House, les origines Né le 11 juin 1959 de John et Blythe House, le petit Gregory déménageait beaucoup, son père étant militaire, il allait d’une base à une autre. [...]
  • L'année de la pensée magique
    L'année de la pensée magique - Joan Didion - Publié chez Grasset en 2007 - Traduit de l'anglais (Etats-Unis) par Pierre DemartyLe 30 décembre 2003, à New-York, John Gregory Dune, le mari de Joan Didion, s'effondre au début du dîner, victime d'une crise cardiaque. Les secours ne réussiront pas à le ranimer. Ce livre, que  Joan Didion a commencé d'écrire neuf mois après cet événement, va couvrir l'année qui suit le décès de John.
  • Une caméra IP HD 1080p pour la vidéosurveillance
    La caméra dôme de Dallmeier portant la référence DDF4010HDV est une caméra haut de gamme destiné aux professionnels et capable de capter en Haute Définition jusqu’en 1080p à raison de 50 images par seconde.Le capteur est un CMOS 1/3" à haute définition (Full HD) de technologie Cam_inPIX. Le zoom optique...
  • John Legend "Once Again" : son nouvel album studio le 23 octobre
    Suite à l'actualité publiée le 22 août, après « Get Lifted » en 2005, grâce auquel il a remporté trois Grammy Awards, l'américain John Legend, de son vrai nom John Stephens, revient sur le devant...
  • John Legend de retour
    John Legend se prépare un nouvel album studio, dont l'intitulé n'a pas encore été révélé et attendu pour septembre aux Etats-Unis. S'inscrivant dans la continuité de « Once Again » en octobre 2006, le troisième...
  • Autopsie : Patarkatsichvili est mort naturellement
    Selon les premiers examens médico-légaux britanniques, le chef de file de l'opposition géorgienne, également l'une des plus grandes fortunes du pays, est décédé mardi soir d'une crise cardiaque.
  • Melody Zen HD également sur l'offre TV de Neufbox
    Melody Zen HD, qui vient de faire son arrivée sur l'offre TV de Free, est également disponible en Haute Définition sur l'offre TV de Neuf, pour les abonnés éligible à la haute définition par ADSL.La chaîne Melody Zen, lancée le 23 janvier...

 Recherche interne

Consultez également les résultats de la recherche interne :


Offre d'hébergement web professionnel
Hébergement web
Le Dico du Net
fait confiance à Sivit
pour son hébergement
Testez Sivit à partir de :
1,90 EUR HT/mois
(garantie 30 jours satisfait ou remboursé)
Publicité

Formation au referencement
Formation au référencement par les spécialistes en référencement de Ranking Metrics : conférence le matin, atelier pratique l'après-midi.

Formation au referencement

Thumbshots.org