En 1951, Kurt GŁodel énonça que soit l'esprit humain n'est pas une machine, soit il existe des énoncés qui lui sont indécidables à jamais, soit les deux à la fois. Le débat ouvert sur cette question est toujours d'actualité.