Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.
Preuves
dans GenOS.
Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.
Comprendre le
mécanisme.
Élément e=(artefact,source,méthode,temps,lien à l'affirmation). Évaluer (c,E,règle) sans effacer les éléments contraires.
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: Preuves
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.
Recueillir une observation
Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.
Contrôler méthode et provenance
Élément e=(artefact,source,méthode,temps,lien à l'affirmation). Évaluer (c,E,règle) sans effacer les éléments contraires.
La relier à une affirmation
Pour Preuves, 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.
The design of experiments
Ronald A. Fisher · Oliver and Boyd
Recherche primaire sur planification d'expériences contrôlées. Elle éclaire l'analogie avec Preuves, 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 Preuves.
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.