Dana S. Scott has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Edition summary (click for prices and details):
Hardcover:
9780521761444 | Cambridge Univ Pr, June 30, 2011, cover price $99.00 | About this edition: This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis.
2
Edition summary (click for prices and details):
Paperback:
9783540307044 | Springer-Verlag New York Inc, February 15, 2006, cover price $44.95 | About this edition: Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.
3
Edition summary (click for prices and details):
Paperback:
9780887483769 | Carnegie Mellon Univ Pr Center for, May 1, 2004, cover price $24.95
4
Edition summary (click for prices and details):
Paperback:
9783540095644 | Springer Verlag, October 1, 1979, cover price $69.95
5
Edition summary (click for prices and details):
Paperback:
9780387095646 | Springer Verlag, February 1, 1979, cover price $51.00
6
Edition summary (click for prices and details):
Hardcover:
9780686768609 | Amer Mathematical Society, June 1, 1967, cover price $91.00
displaying 1 to 6 |
at end