La théorie du soi nomme une description fonctionnelle d'identité et de continuité, sans établir un soi humain ou une expérience subjective.
Théorie du soi
dans GenOS.
La théorie du soi nomme une description fonctionnelle d'identité et de continuité, sans établir un soi humain ou une expérience subjective.
Comprendre le
mécanisme.
Continuité C(s_t,s_t+1) entre états versionnés selon clé d'identité, lignée et contraintes préservées.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
Explorer le mécanisme: Théorie du soi
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
Du signal
au résultat.
Définir les critères d'identité
La théorie du soi nomme une description fonctionnelle d'identité et de continuité, sans établir un soi humain ou une expérience subjective.
Comparer deux états successifs
Continuité C(s_t,s_t+1) entre états versionnés selon clé d'identité, lignée et contraintes préservées.
Décrire la continuité bornée
Pour Théorie du soi, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
Sources et
limites.
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM 12(10), 576–580
Recherche primaire sur preuve de correction des programmes. Elle éclaire l'analogie avec Théorie du soi, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
Vérifier la portée de Théorie du soi.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.