El proyecto fue refutado por los por los teoremas de incompletitud de Gödel.