La pensée réduite à un calcul ?
A priori, cette question peut être comprise de façon très triviale, et c'est bien souvent qu'on qualifie quelqu'un de "calculateur". Mais prise au pied de la lettre, la question recouvre un véritable intérêt !
Je me souviens avoir lu dans un S&V de 2002 qu'un mathématicien français, Jean-Louis Krivine, développait une théorie selon laquelle les couches fonctionnelles logiques de base du cerveau, juste au dessus de l'architecture physique des neurones, parleraient un langage proche ou analogue au lambda-calcul. Ce dernier est un langage logique inventé en 1932, donc avant l'apparition des ordinateurs, par le mathématicien Alonzo Church. Il permet trois opérations grammaticales élémentaires, dont les programmeurs ont découvert ultérieurement qu'elles étaient à la base de toutes les opérations commandées à un ordinateur : => préciser l'adresse des instructions, => préciser l'adresse des données,=> et exécuter.
L'apport de Jean-Louis Krivine est d'avoir montré que ces mêmes opérations se retrouveraient à la base de tous les raisonnements et structures mathématiques. Celles-ci seraient des superpositions de couches de plus en plus complexes, au fur et à mesure que le mathématicien s'élève dans l'abstraction, pouvant toujours être ramenées aux règles de programmation du lambda-calcul.
Dans ce cadre, le mathématicien a par exemple montré que la démonstration du théorème d'incomplétude de Gödel pouvait être ramenée à un simple programme d'ordinateur exprimé en lambda-calcul. Un programme qui "ressemblerait au programme réparateur de fichiers" mis en ouvre par un système d'exploitation d'un ordinateur en cas d'arrêt inopiné du système.
Ce programme lui-même, selon une hypothèse de Krivine, pourrait être semblable à ce qui se passe dans le cerveau quand, durant le sommeil, tous les programmes de veille sont éteints pour permettre la restauration des contenus cognitifs en vue d'affronter les aléas de la journée suivante, opérations de maintenance dont les rêves pourraient être de vagues échos.
Est-ce la réduction de l'Homme à un vulgaire PC ? Pour la boutade oui, mais en réalité, ce sont des horizons immenses qui s'ouvrent. A suivre !
P.S. : A noter que le lambda-calcul est un élément cardinal dans la théorie de la calculabilité, initiée par Alan Turing, le célèbre casseur du code Nazi Enigma, à l'aide des machines qui ont porté son nom ;-)
3D Actu de nos clients AJAX Apache / Tomcat api google Apple - Mac OS X Benchmark Sites Web Blender Bureautique Cartographie CD-DVD Challenge Obelix CMS Coup de pouce Coupe du monde Football Cryptographie DADVSI & Libertés Déconne Développement Divers Eclipse eZ Publish Flash Flex Flex - RIA FLV et streaming Google Google Analytics Graphisme Groupware Insolite Internet Javascript Jeux Joomla Lambda calcul Lectures Les echecs Logiciel Logique Mac osX - leopard Magento Marketing Materiel mysql News Nom de domaines Open Office Open source PDA Penguins ! Perso PHP Podcasting Pré-presse Ressources Roxbury Guys Script Php Sécurité statistiques Stratégie Streaming video Systèmes et matériels Technocentre Utilitaires Veille & Intelligence Vidéo Vie citoyenne Volonté Zen Vision
Derniers articles
- GOOGLE ARRÊTE LE PROJET COLLABORATIF GOOGLE WAVE
- MAGENTO 1.4 - GESTION TTC ET TVA
- INSTALLATION DE MAGENTO 1.4 SOUS MAMP / WAMP
- 7 NOUVELLES FONCTIONNALITÉS POUR VOTRE COMPTE GOOGLE ANALYTICS
- HOW TO SEND HTML EMAIL USING OUTLOOK
- UN EDITEUR MYSQL ULTRA LITE
- CHANGER LA LANGUE EN COURS DE SCRIPT EZ PUBLISH
- GESTION DE LA PAGE PRÉCÉDENTE DANS EZ PUBLISH
- GOOGLE WAVE
- MANIPULER LES FLV SOUS MAC
- PROBLÈME DE COMPATIBILITÉ ENTRE SUITCASE FUSION ET 10.5.6
- UN OURS BLANC A BLOQUÉ LE VIEUX PORT ...
Commentaires
Authentifiez vous pour commenter.