La conclusion suit-elle la règle écrite avant la mesure ?
Slean relit ce qui a été noté, dans l’ordre. Il ne fait pas l’expérience, et il ne décide pas à la place de l’auteur.
Une histoire inventée
Avancez dans le temps. Ou changez ce qui a été noté.
La règle, écrite avant la mesure
On ne garde le résultat que si le nombre dépasse 0,001, et si le calcul prend moins de 10 secondes.
Le dossier conclut : on garde ce résultat. Slean vérifie que cette phrase suit la règle et les chiffres déjà écrits. Il ne choisit pas à la place de l’auteur.
Et Lean ?
Lean est un langage qui vérifie des démonstrations. Slean est écrit dedans pour relire un dossier de la même façon : chaque note doit suivre la précédente. Cela ne prouve pas que l’expérience a eu lieu.