Je milite également pour que l'on soit plus rigoureux dans l'expression de certaine proposition, et que l'on ne dise plus : « la terre est ronde », mais plutôt : « d'un certain point vue, une équipotentielle du champ de gravitation terrestre est homéomorphe à la sphère S_2 ». :-D
Homéomorphe, c'est un peu faible, il vaudrait sûrement mieux demander qu'on puisse coincer cette équipotentielle entre deux ellipsoïdes de rayons pas trop différents. :)
Oui bien demander un difféormorphisme avec une borne sur l'intégrale de la divergence.
[^] # Re: Le code impératif
Posté par Michaël (site web personnel) . En réponse au sondage Ce que je déteste le plus en informatique / programmation / codage c'est... :. Évalué à 3. Dernière modification le 13 septembre 2016 à 09:50.
Homéomorphe, c'est un peu faible, il vaudrait sûrement mieux demander qu'on puisse coincer cette équipotentielle entre deux ellipsoïdes de rayons pas trop différents. :)
Oui bien demander un difféormorphisme avec une borne sur l'intégrale de la divergence.