𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mathematical logic with special reference to natural numbers

✍ Scribed by S. W. P. Steen

Book ID
127418018
Publisher
Cambridge University Press
Year
2008
Tongue
English
Weight
5 MB
Edition
1
Category
Library
ISBN
052109058X

No coin nor oath required. For personal study only.

✦ Synopsis

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body of the text is rigorous, but, a section of 'historical remarks' traces the evolution of the ideas presented in each chapter. Sources of the original accounts of these developments are listed in the bibliography.

πŸ“œ SIMILAR VOLUMES

Logicism, Intuitionism, and Formalism ||
Logicism, Intuitionism, and Formalism || Frege’s Context Principle and Reference to Natural Numbers
✍ LindstrΓΆm, Sten; Palmgren, Erik; Segerberg, Krister; Stoltenberg-Hansen, Viggo πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 287 KB

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.