Penrose has argued that if mathematicians can “see” the truth of certain mathematical statements that no formal system can prove (Gödel), then human reasoning fundamentally transcends mechanistic computation. Taken further, human reasoning is orthogonal to algorithmic logic.