Demander un code

Informatique théorique

Les principaux travaux

- Quelques réflexions sur l'informatique accompagnent la réflexion sur le fondement des Mathématiques. Ils portent principalement sur l'environnement algorithmique des machines de Turing qui permet un accès exhaustif au calcul et permet en particulier de s'étudier lui-même.

- Des travaux sur l'intelligence artificielle et les possibilités de l'informatique d'avancer vers la notion d'intelligence.

Textes sur l'informatique théorique


Les possibilités de l'intelligence artificielle

En quelques mots

Rechercher à dissocier dans le concept l'intelligence plusieurs étages de complexité croissante est primordial pour estimer les possibilités de l'intelligence artificielle Il faut tenter de rendre le concept d'intelligence indépendant de la dimension humaine pour comprendre ce qu'une machine peut potentiellement à atteindre en terme d'intelligence. La...
[...la suite ]
1055 caractères (autour d'une page)- id :37



Le théorème d'incomplétude de Gödel

Ce théorème est un lieu impressionnant des Mathématiques : la preuve de l'impossibilité de tout pouvoir soumettre à une preuve quel que soit le système formel classique. Pour cela, on construit une phrase qui ne peut pas être prouvée, sous peine de devenir fausse (ce qui serait bien gênant si on l'avait prouvée). Gödel se repose sur l'argument du ment...
[...la suite ]
1617 caractères (autour d'une page)- id :39



Le paradoxe de Richard dans un cadre univoque

Le projet

Le paradoxe de Richard consiste à faire la liste des définitions finies (des réels ou autre choses), puis à tirer par l'argument diagonal, une nouvelle définition différente de toutes les précédentes. Le problème c'est que cette définition est elle aussi finie. Ce paradoxe fait parti des plus fameux car il travaille en lieu fini. Pour apprécier...
[...la suite ]
1045 caractères (autour d'une page)- id :43



Une fonction d'arrêt constructive

Le projet

Le théorème de l'arrêt de Allan Turing annonce l'impossibilité de construire un algorithme qui sait déterminer quels algorithmes s'arrêtent ou non. Le cadre des machines de Turing est aproprié pour traiter cette question parce qu'il simplifie la notion de calcul et d'algorithme jusqu'à son expression la plus simple. C'est pourtant dans ce cadre que je propose de construire...
[...la suite ]
1151 caractères (autour d'une page)- id :49



  : symbole à cliquer pour corriger les coquilles de chaque paragraphe.
Commentaire sur cette page

--- Aucun commentaire pour l'instant. Ajoutez le premier... ---



Commentaire à ajouter

Nom, alias :

Traduction --

En quelques mots


L'homme s'extrait de l'inaccessibilité des singularités du monde par l'idée d'une contingence qui comble la mesure de chaque concept identifié. (Epistemologie)

Texte au hasard


Quelle oeuvre pour une vie ?

- (ou se méfier des résonnances creuses) -

Quels sacrifices pour quelle vie ?

- S'enticher pour un détail de la vie, tout le monde le fait, mais sacrifier sa vie, ses plaisirs, ses relations, ses valeurs à ce cadre réduit, tous ne le font pas. Cependant, beaucoup font des sacrifices pour atteindre certains objectifs. Lesquels ? - s'enrichir. Mon sentiment : quelle vanité que l'accumulation quand o...
[...la suite ]