Comment raisonner sur les causes
Contexte
On définit une cause d'un calcul A comme un calcul B réalisant les conditions suivantes :
- on peut extraire le calcul A de B (définition à préciser)
- B est strictement plus grand que A (A ne peut être la cause de A).
Nous partons du postulat "Il y a équivalence entre exister et se trouver dans un calcul."
Question
Comment raisonner pour trouver dans quel calcul on se trouve ?
Étude
Peut-on se trouver dans plusieurs calculs (même très différents) en même temps ?
Il existe de nombreuses manière pour un calcul de comporter un sous-calcul.
Réponse
Définir précisément la notion de cause me parait très difficile, j'abandonne cette notion pour les principes fondateurs.