Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability
Subtitle: A Timeline
Edition: 2 edition
Publisher: Wadsworth Publishing
Published: July 12, 1999
Language: eng
Format: Paperback
Number of pages: 352
ISBN-13: 9780534546441
Subjects: Mathematical logic; Mathematical theory of computation; Science/Mathematics; Logic, Symbolic and mathematic; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Logic, Symbolic and mathematical; General; Logic; Philosophy / General; Computable functions; Godel's theorem; Gèodel's theorem
First sentence: Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics.