HR c'est simple

pourexemple

Bonne nuit.

pourexemple

Bonjour,

@Shah : Je ne te demande pas de me répondre, mais je vais m'expliquer.

A chaque fois qu'interviens la variable (temps) pour arriver à gérer la chose (pour garder le côté "fonctionnel"), il faut faire intervenir la personne qui parle (ici moi=pourexemple).

Je m'explique en fait $f(temps)=f(moi)$ (moi variant avec le temps).

Ainsi, la définition de la difficulté d'un énoncé P, est le temps qu'il m'est connu pour trouver la première preuve de P, diviser par la taille de la plus petite preuve que je connais, de P.

Tu pourrais me dire que $f(moi)$ ce n'est pas intersubjectif, et moi de répondre, il ne tient qu'à un accord entre les personnes le voulant, pour que $f(moi)$ devienne, $f(nous)$.

Et la mathématique ce n'est pas autre chose que de fabriquer (ou partager) des "$f(nous)$", avec ceux qui le veulent.

Bonne journée.