Books tagged: godel

These results show books which have been specifically tagged with this keyword. You can also try doing a general search for the term "godel" .
You may also limit results to books that contain two tags.
Some content may be filtered out. To view such content, change your filtering option.

Found 3 results

Hilbert Godel Turing and the Computer Decision Problem
Series: Mathematics. Price: $9.95 USD. Words: 3,300. Language: English. Published: December 3, 2018. Categories: Nonfiction » Computers & Internet » Computer science, Nonfiction » Computers & Internet » Programming
Is there a procedure or algorithm that can decide whether statements, mathematical or non-mathematical, are true or false, win or draw? The broader decision problem can be stated as follows: Even though a mathematical or non-mathematical statement is undecidable in general, it may be possible to find a special algorithm that makes a computer model stop or checkmate.
Gödel Versus Wittgenstein
Price: $4.99 USD. Words: 102,620. Language: English. Published: May 1, 2016. Categories: Nonfiction » Science & Nature » Mathematics
In intellectual history, perhaps nothing has been more misinterpreted than Gödel’s incompleteness theorems. Stephen Hawking, adopting the popular misconception, said, “Thus mathematics is either inconsistent, or incomplete. The smart money is on incomplete.” if mathematics is tautology, as Wittgenstein said, mathematics cannot be inconsistent and/or incomplete.
The Shackles of Conviction
Price: $3.99 USD. Words: 106,120. Language: English. Published: November 15, 2010. Categories: Fiction » Literature » Literary, Fiction » Visionary & metaphysical
If you encountered something that you thought had to be wrong, what would you do? Would you try to prove that it was wrong? That’s what happens when Ralph McNeil encounters Kurt Gödel’s proof of Incompleteness. He sets out to prove it wrong. This is the story of how he tries to prove it wrong. It is also the story about the inner turmoil of the man who wrote the proof - Kurt Gödel.