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.