← Tous les concepts
CONCEPT GENOS · CONNAISSANCES ET PREUVES

Preuves
dans GenOS.

Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.

SCIENCE ET FORMALISATION

Comprendre le
mécanisme.

FONDEMENT SCIENTIFIQUE

Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.

MODÈLE MATHÉMATIQUE OU LOGIQUE

Élément e=(artefact,source,méthode,temps,lien à l'affirmation). Évaluer (c,E,règle) sans effacer les éléments contraires.

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: Preuves

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 1Recueillir une observation

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

Recueillir une observation

Une preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.

02

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.

03

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.

RECHERCHE PRIMAIRE · MÉCANISME

Sources et
limites.

PLANIFICATION D'EXPÉRIENCES CONTRÔLÉES · 1935

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.

IMPLÉMENTATION ET PREUVES

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.