Godel's Proof

by Ernest Nagel

We now understand that the human mind is fundamentally not a logic engine but an analogy engine, a learning engine, a guessing engine, an esthetics-driven engine, a self-correcting engine.