Hippopotame (./1879) :
ouais mais une fois que t'as les entiers (et les rationnels), les réels apparaissent naturellement comme complétion de Q.

Les p-adiques aussi d'ailleurs, et on remarque que nous on avons découvert les p-adiques alors que ça n'a pas d'utilité pour décrire le monde qui nous entoure.

Oui mais une fois qu'on a fait le saut pour passer de Q à R c'est pas très difficile de passer de Q à Qp, même si on a pas de motivation autre que formelle... Et sinon pourquoi est-ce que Q serait forcement utile à EU l'Extra-Universel ? La notion de proportion n'est pas forcément utile...

Sinon a des résultats importants qui ne parlent pas d'équa diffs qui utilisent les équa diffs ?