Pachón: The result was shattering. Gödel showed the limitations of any formal axiomatic system in modeling basic arithmetic. He showed that no axiomatic system could be complete and consistent at the same time.
Tag: Kurt Gödel
Kurt Gödel demonstrated that the mind is not just a computer
And Alan Turing tried to live with it. Maybe that’s not the story you heard, but …