Idea Makers: Personal Perspectives on the Lives & Ideas of Some Notable People

by Stephen Wolfram

Gödel’s original work was quite abstruse. He took the axioms of logic and arithmetic, and asked a seemingly paradoxical question: can one prove the statement “this statement is unprovable”?