Popular lectures on mathematical logic

✍ Scribed by Wang, Hao

Publisher: Dover Publications
Year: 1993
Tongue: English
Leaves: 289
Series: Dover Books on Mathematics
Edition: Revised
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text

📜 SIMILAR VOLUMES

Popular Lectures on Mathematical Logic

✍ Hao Wang 📂 Library 📅 1993 🏛 Dover Publications 🌐 English

Lectures on Mathematical Logic Volume II

📁 Lectures on Mathematical Logic Volume III The Logic of Arithmetic

✍ Felscher, Walter 📂 Library 📅 2000 🏛 CRC Press 🌐 English

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-additio

Phenomenology and Logic: The Boston Coll

📁 Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism

✍ Bernard Lonergan (editor); Philip McShane (editor) 📂 Library 📅 2005 🏛 University of Toronto Press 🌐 English

<p>This series of lectures delivered by Lonergan at Boston College in 1957 deal with the general character of mathematical logic and its relation to truth, Scholasticism, and Aristotelian logic.</p>

Lectures on Mathematical Logic Volume I

📁 Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models

✍ Felscher, Walter 📂 Library 📅 2000 🏛 CRC Press 🌐 English

This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, Löwenheim-Skolem-Tarski theorems, prenex and other normal forms, and characterizations of elementary classes with the help of ultraproducts. Logic is

Basic Mathematical Logic [Lecture notes]

📁 Basic Mathematical Logic [Lecture notes]

✍ Yuriy Drozd 📂 Library 📅 2007 🏛 Kiev University 🌐 Ukrainian

Lectures on Logic

📁 Lectures on Logic

✍ Immanuel Kant 📂 Library 📅 1992 🏛 Cambridge University Press 🌐 English