Mais s'il vous ment, alors ce qu'il affirme est vrai, et il n'est donc aucunement menteur. Einstein et Gödel furent des amis proches à l'époque où ce dernier travaillait à l'Institut des sciences ...
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 ...