" you can build an organ which can do anything that can be done, but you cannot build an organ which tells you whether it can be done.”9 “This is connected with the theory of types and with the results of Gödel,” he continued. “The question of whether something is feasible in a type belongs to a higher logical type. "
― George Dyson , Turing's Cathedral: The Origins of the Digital Universe