← Tous les concepts
CONCEPT GENOS · COGNITION ET CONTRÔLE

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.

SCIENCE ET FORMALISATION

Comprendre le
mécanisme.

FONDEMENT SCIENTIFIQUE

La théorie du soi nomme une description fonctionnelle d'identité et de continuité, sans établir un soi humain ou une expérience subjective.

MODÈLE MATHÉMATIQUE OU LOGIQUE

Continuité C(s_t,s_t+1) entre états versionnés selon clé d'identité, lignée et contraintes préservées.

PORTÉE DANS GENOS

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.

SCHÉMA ANIMÉ · MODÈLE INTERACTIF

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.

01 / 03
Transition en cours · Étape 1Définir les critères d'identité

La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.

ÉTAPES PROPRES AU CONCEPT

Du signal
au résultat.

01

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.

02

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.

03

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.

RECHERCHE PRIMAIRE · MÉCANISME

Sources et
limites.

PREUVE DE CORRECTION DES PROGRAMMES · 1969

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.

IMPLÉMENTATION ET PREUVES

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.