Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats ...
Une chronologie des sciences résume les découvertes scientifiques, théories et découvertes majeures de l'histoire des sciences. La liste ci-dessous indique la date de publication des découvertes ainsi ...
Cet article discute des fondements des mathématiques. Le problème de la fondation, ou des fondements, des mathématiques est celui des principes et de leur vérité. À partir de quels principes peut-on ...