β Scribed by Yu. I. Manin (auth.)
No coin nor oath required. For personal study only.
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Introduction to formal languages....Pages 3-19
Truth and deducibility....Pages 20-102
The continuum problem and forcing....Pages 103-148
The continuum problem and constructible sets....Pages 149-174
Front Matter....Pages 175-175
Recursive functions and Churchβs thesis....Pages 177-205
Diophantine sets and algorithmic undecidability....Pages 206-230
Front Matter....Pages 231-231
GΓΆdelβs incompleteness theorem....Pages 233-260
Recursive groups....Pages 261-283
Back Matter....Pages 285-288
Mathematical Logic and Foundations
π SIMILAR VOLUMES
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 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 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.
<p><P><EM>A Course in Mathematical Logic for Mathematicians, Second Edition</EM> offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discu