ScyberLab
Preview
Open in TheBrain
Scybernethics - Toward a second-order enactive rationality² >>> https://scybernethics.org (work in progress)
Thémas
TechnoScience (Habermas) et Science appliquées
Informatique
Cours d'Informatique - Tellier
Parents
Informatique
Tellier Isablle
Children
Certains pb de pavages de plan sont indécidables
Conf de Hilbert a Bologne
définition de "Informatique" - cf. cours Tellier p 44-45 / 103
Discret et Effectif [Séquentiel]
Etymo ordinateur : "Ordonnateur" moyen age, religieux
Il est impossible de concevoir un algorithme capable de distinguer les vrai algorithmes de ceux qui n'en sont pas
Il n'existe pas par conséquent d'algorithmes capable de décider si un formule logique est vrai ou fausse
L'esprit est-il un machine de Turing "universelle" ?
l'Histoire de l'Informatique - Tellier (p 89 / 103)
La machine de Turing n'est pas un Ordinateur, c'est une Méthode de calcul, un programme
Le Monde est-il Discret ou Continu ?
notion d' "Etat" (informatique)
terme "informatique"= information + automatique - 1962 par Ph. Dreyfus (académie Fr)
Un langage de programmation est une [meta]machine "universelle"