A Profile of Mathematical Logic

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.

A Profile of Mathematical Logic

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:

A Profile of Mathematical Logic
Language: en
Pages: 320
Authors: Howard DeLong
Categories: Mathematics
Type: BOOK - Published: 2012-09-26 - Publisher: Courier Corporation

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.
Notes Toward a Profile of Mathematical Logic
Language: en
Pages: 395
Authors: Howard DeLong, Trinity College (Hartford, Conn.)
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 1968 - Publisher:

Books about Notes Toward a Profile of Mathematical Logic
Perspectives on the History of Mathematical Logic
Language: en
Pages: 195
Authors: Thomas Drucker
Categories: Mathematics
Type: BOOK - Published: 2009-05-21 - Publisher: Springer Science & Business Media

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
An Introduction to Mathematical Logic
Language: en
Pages: 491
Authors: Richard E. Hodel
Categories: Mathematics
Type: BOOK - Published: 2013 - Publisher: Courier Corporation

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.
New Directions in the Philosophy of Mathematics
Language: en
Pages: 436
Authors: Thomas Tymoczko
Categories: Mathematics
Type: BOOK - Published: 1998-02 - Publisher: Princeton University Press

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