*This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.*

### More Books:

Language: en

Pages: 320

Pages: 320

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.

Language: en

Pages: 395

Pages: 395

Books about Notes Toward a Profile of Mathematical Logic

Language: en

Pages: 195

Pages: 195

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the philosophical consequences of work during the period, and the historical and social context in

Language: en

Pages: 491

Pages: 491

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.

Language: en

Pages: 436

Pages: 436

The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. This provocative book, now available in a revised and expanded paperback edition, goes beyond foundationalist questions to offer what