Uncommon Descent Serving The Intelligent Design Community
Topic

David Hilbert

Faith: Even mathematics depends on some unprovable assumptions

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. Read More ›