ScyberLab
Preview
Open in TheBrain
Scybernethics - Toward a second-order enactive rationality² >>> https://scybernethics.org (work in progress)
Acmés scybernéthique(s)
Emergence
Cognition Distribuée ( et récursive, continue-processuelle ?!)
Lambda-calcul - Church & Curry, 1930s (modèle, formalisation de la notion de calcul)
Computability and Recursion (Soare,1996)
computé <--> Décidé
Parents
Computability and Recursion (Soare,1996)
Computationalisme (propositionnel, règle) - « penser, c’est calculer » (Hobbes) (machine formelle + "symbole")
Concepts - idées
Théories du Choix et de la Décision (ex-Théorie du Contrôle)
Jumps
CHURCH Alonzo (1903-1995) - 1936 impossibilité du fameux problème de la décision de la déductibilité, base de l'algorithme universel, et par conséquent à l'impossibilité de réaliser l'algorithme universel
Récursion / Enumérabilité (vs récursion / analogie)