Proof theory
Showing all 2 resultsSorted by popularity
-
By: Gusfield, Dan
Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More
$34.99PaperbackAdd to cartIn mathematics, it simply is not true that ‘you can’t prove a negative’. Many revolutionary impossibility theorems reveal profound properties of logic, computation, fairness and the universe, and form… [more below]
- Author: Gusfield, Dan
- Binding: Paperback
- Page Count: 270
- Publish Date: January 18 2024
- ISBN10: 100934949X
- Language: English
-
Incompleteness: The Proof and Paradox of Kurt Gödel
$22.99PaperbackAdd to cartProbing the life and work of Kurt G?del, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning–and brought him to the edge of madness.
Autho… [more below]
- Series: Great Discoveries (Paperback) #0
- Author: Goldstein, Rebecca
- Binding: Paperback
- Page Count: 300
- Publish Date: February 17 2006
- ISBN10: 0393327604
- Language: English


