Scybernethics - Toward a second-order enactive rationality² >>> https://scybernethics.org (work in progress)
Thémas
CyberCulture, Underground & Cultures Alternatives - AlterMondialisme
Recherche et Economie contributive - Ars Industrialis
Analogique (continu) / Digital, Numérique (discret)
Histoire, épistémologie de l'informatique - Verroust
1 - Formalisation du calcul - d'Al Khowarizmi à Alan Turing
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

Church-Curry fixed point theorem,

Parents

"Fragments of the Void - Selecta" - Kauffman L.
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