L'ensemble des théorèmes du calcul des prédicats n'est pas calculable, c'est-à-dire qu'aucun algorithme ne permet de vérifier si un énoncé donné est prouvable ou non. Il existe, cependant, un ...

Cet article donne une liste de certaines constantes mathématiques. Typiquement, une constante en mathématique est un élément du corps des nombres réels ou des nombres complexes. À la différence des ...