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 ]
1119 caractères (autour d'une page)- id :37



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



-

" Contre-exemples " au TVI par nombre et fonction incalculables

-

Résumé

- Après quelques réflexions épistémologiques, on produira un premier exemple de nombre incalculable. À l'aide du théorème des valeurs intermédiaires (TVI) et d'une machine de Turing universelle, ce nombre sera la racine annulant une fonction croissante continue et pourtant ce nombre sera différent de tous les nom...
[...la suite ]
71076 caractères (équiv. 24 pages standard)- id :139



La Définition en Mathématiques et l'ordre de l'information.

-

L'accès à l'infini

- Un concept central de la puissance des Mathématiques à pouvoir parler avec autant d'universalité réside dans le pouvoir de projeter une infinité de choses en une fois : - La récurrence qui identifie une similarité tout le long d'un processus infini pour en poser la vérité globale. - L'id&eacut...
[...la suite ]
78241 caractères (équiv. 27 pages standard)- id :140



  : 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


Le propre du génie est d'énoncer des idées impressionnantes. Le propre du fou est de proposer des idées surprenantes. Le propre du savant est de comprendre à qui il a affaire. (modèle d'IA)

Texte au hasard


Aimer et trouver les valeurs communes

- (ou de la grande difficulté à adopter les valeurs de l'autre) - Les valeurs se communiquent sans force, elles s'adoptent, elles se choisissent. - Comment donner de la valeur à ce qu'on n'aime pas ? Comment aimer ce qui n'a pas de valeur pour nous ? Comment créer la valeur à nos yeux ? - Il y a moyen d'avancer et de faire grandir la valeur, mais c'est un chemin fragile qui doit reposer sur une adh&eacut...
[...la suite ]