A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

A scholarly edition of a work by David Hume. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

An inquiry into the nature of the universe draws out the implications of the quantum theory and argues that our universe is only one among many possible universes and that other universes may exist.

Ever since Copernicus, scientists have continually adjusted their view of human nature, moving it further and further from its ancient position at the center of Creation. But in recent years, a startling new concept has evolved that places it more firmly than ever in a special position. Known as the Anthropic Cosmological Principle, this collection of ideas holds that the existence of intelligent observers determines the fundamental structure of the Universe. In its most radical version, the Anthropic Principle asserts that (...) "intelligent information-processing must come into existence in the Universe, and once it comes into existence, it will never die out." This wide-ranging and detailed book explores the many ramifications of the Anthropic Cosmological Principle, covering the whole spectrum of human inquiry from Aristotle to Z bosons. Bringing a unique combination of skills and knowledge to the subject, John D. Barrow and Frank J. Tipler--two of the world's leading cosmologists--cover the definition and nature of life, the search for extraterrestrial intelligence, and the interpretation of the quantum theory in relation to the existence of observers. The book will be of vital interest to philosophers, theologians, mathematicians, scientists, and historians, as well as to anyone concerned with the connection between the vastness of the universe of stars and galaxies and the existence of life within it on a small planet out in the suburbs of the Milky Way. (shrink)

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

A key to modern studies of 18th century Western philosophy, the Treatise considers numerous classic philosophical issues, including causation, existence, freedom and necessity and morality. This abridged edition has an introduction which explain's Hume's thought and places it in the context of its times.

A Treatise of Human Nature, David Hume's comprehensive attempt to base philosophy on a new, observationally grounded study of human nature, is one of the most important texts in Western philosophy. It is also the focal point of current attempts to understand 18th-century western philosophy. The Treatise addresses many of the most fundamental philosophical issues: causation, existence, freedom and necessity, and morality. The volume also includes Humes own abstract of the Treatise, a substantial introduction, extensive annotations, a glossary, a comprehensive (...) index, and suggestions for further reading. (shrink)

Introductory survey -- Atomic theory and mechanics -- The quantum postulate and the recent development of atomic theory -- The quantum of action and the description of nature -- The atomic theory and the fundamental principles underlying the description of nature.

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that (...) any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)