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


Nous ne percevons qu'un monde réduit à nos concepts (Morphologie de la réalité)

Texte au hasard


Philosophie des Mathématiques

En quelques mots

Les Mathématiquess peuvent être séparées en graphes univoques et intérprétation de ces graphes. Il y a d'un côté les Mathématiques indépendantes de l'homme qui ont pour essence l'univocité relationnelle (la non ambiguité) et de l'autre côté les Mathématiques humaines qui reposent sur l'interprétation de ces sch...
[...la suite ]