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)
Récursion / Enumérabilité (vs récursion / analogie)
Parents
Arithmétique, Logique et Récursivité - Enumérabilité <--> Décidabilité
Computability and Recursion (Soare,1996)
Concepts - idées
Qualité / Quantité - Intensif / Extensif
Récursion ("induction complète" en math) <--> Induction
Récursion / Arborescence-Hiérarchie (compréhension / explication) <=> cata-clysme et cata-strophe
Children
10. Church and Curry : G(X) = F(X(X)) - when G operates on X, G makes a duplicate of X and allows X to act on its duplicate.
Counting is the emanation of self-reference. Counting is the unfolding of an eigenform.- Kauffman
Lambda-calcul - Church & Curry, 1930s (modèle, formalisation de la notion de calcul)
Raisonnement par récurrence (Pascal) et définition ensembliste-ontologique des entiers naturels (Von Neumann)
Jumps
Aspect (encapsulation auto-similaire : désignation-indication => forme-(processus-forme)) récursif de la forme propositionnelle (linguistique) [soto]
Auto-similarité et "fractales" - maintient de l'identité dans le changement de niveau (récursivité-metastabilité) <--> interface <--> dim imaginaire [soto]
computé <--> Décidé
objects are tokens for eigenbehaviors - HvF
Récursivité / Continuité [soto]
Récursivité et réflexion - pensée et pratique auto-désignante (2)
The Church-Turing Thesis - "computability" or "effective calculability" (description parfaite d'une action <=> programme d'ordinateur)