Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: March 28, 1997
Language: eng
Format: Paperback
Number of pages: 218
ISBN-13: 9780521585330
Subjects: Mathematical logic; Mathematical theory of computation; Theory Of Computing; Philosophy Of Mathematics; Mathematics; Computers - General Information; Computer Books: General; Logic; Reference - General; Computers / Programming / Software Development; Computers / Reference; Logic, Symbolic and mathematical; Mathematics-Logic
First sentence: Very few mathematical statements can be judged to be true or false solely by means of direct observation.