Il n'existe pas d'algorithme qui, sur présentation d'une équation polynomiale à coefficients entiers...
La physique quantique est une théorie intrinsèquement et irréductiblement aléatoire ...
Le problème des nombres congruents consiste à montrer qu’un entier donné est l’aire d’un triangle rectangle à côtés rationnels...
Le théorème de Mazur-Ulam établit un lien entre la structure métrique et la structure affine d'un espace vectoriel normé.
