SCIENCES FORMELLES
SCIENCES FORMELLES
| INFORMATION INFORMATIQUE ARTEFACTS - Machine mécanique et artefact auto-organisateur Une machine est un artefact, un produit de la technique humaine, mais il existe plusieurs types de machines. - Le "logicocalculisme", une extension abusive du logicisme Avertissons notre lecteur que cette note est polémique. Le terme de "logicocalculisme" n'existe pas, c'est un néologisme provocateur. - La "théorie de l'information" après Shannon Nous allons essayer de préciser le concept d’information tel qu'il est utilisé après Shannon - Ashby : auto-organisation, variété et complexité William Ross Ashby (1903-1972)est un psychiatre et ingénieur anglais qui s'est tourné vers la l'informatique et a contribué à la théorie de l'intelligence artificielle. - Théorie de l'information quantique Elle permet l’utilisation des spécificités de la physique quantique pour le traitement et la transmission de signaux. - Un modèle constructible de système psychique Un livre ambitieux d'Alain Cardon sur une possible modélisation informatique du psychisme | LOGIQUE CALCUL SYSTÈMES - Le cerveau machine Critique du computationnisme Nous examinerons les rapports de la pensée et du calcul, ainsi que le traitement du signal et l'informatique. Le computationnisme aboutit à poser leur équivalence, ce qui n'est pas démontré. - Watson est-il le meilleur ami de Turing ? La performance de l'ordinateur nommé "Watson" répond elle à la question de Turing sur la pensée ? - Les théories de l'information Nous allons préciser la notion d’information telle qu'elle est utilisée depuis Shannon dans les théories scientifiques dites "de l'information". - Sur les systèmes auto-organisateurs Vous trouverez l'article original de H. von Foerster, 1959. (format PDF). - Alan Turing : du calculable à l’indécidable Du simple calcul à la machine de Turing |