Logo

Introduction to Mathematical Logic: A problem solving course

Small book cover: Introduction to Mathematical Logic: A problem solving course

Introduction to Mathematical Logic: A problem solving course
by

Publisher: arXiv
Number of pages: 75

Description:
This is a set of 288 questions written for a Moore-style course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; Lowenheim-Skolem theorems; Turing machines, Church's Thesis; completeness theorem and first incompleteness theorem; undecidable theories; second incompleteness theorem.

Home page url

Download or read it online for free here:
Download link
(430KB, PDF)

Similar books

Book cover: The Principles Of MathematicsThe Principles Of Mathematics
by - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(11852 views)
Book cover: A Problem Course in Mathematical LogicA Problem Course in Mathematical Logic
by
An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.
(18932 views)
Book cover: Natural TopologyNatural Topology
by - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.
(7485 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(10855 views)