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 :37Le 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 :43Une 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 :139La 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 Commentaire sur cette page
--- Aucun commentaire pour l'instant. Ajoutez le premier... ---
Commentaire à ajouter
Traduction
En quelques mots
Si la belle critique ne sait régner que dans la douceur, c'est parce que l'objectivité en a remplacé la ferveur. (Intelligence artificielle - Différents accès)
Texte au hasard
Contenu spirituel
- Il semble que beaucoup d'hommes aient soif d'une profondeur, d'une résonnance intérieure vibrante, d'un sentiment de profondeur, d'unité, d'accès à l'essence de la vie, etc. Or, cette sensation émerge d'une multitude de pratique , non sans nuance. De la religion, du mysticisme, de la poesie, de la philosophie, de la musique, de l'art, de la psychanalyse, de la nature, des promenades en foret, de la pratique de la montagne,... [...la suite ]
| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |