Overview

The classic results obtained by Godel, Tarski, Kleene and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them. Derived from courses taught by the author over several years, this new exposition of the results attempts a systematic unification of the theory by choosing as the central notion one grounded in the semantics of the existential quantifier, and takes care to stress the importance in the drama of three things: the mathematically well-understood conversion of implicit to explicit definitions, the philosophically perplexing idea of self-reference, and their surprising disclosure as two aspects of one phenomenon by the Recursion Theorem.

Full Product Details

9780415000338

Table of Contents

Reviews

Author Information

Karoly Bezdek is a Professor and Director - Centre for Computational & Discrete Geometry, Pure Mathematics at University of Calgary. He received his Ph.D. in mathematics at the ELTE University of Budapest. He holds a first tier Canada chair, which is the highest level of research funding awarded by the government of Canada. Zsolt Langi is an associate professor at Budapest University of Technology, and a senior research fellow at the Morphodynamics Research Group of the Hungarian Academy of Sciences. He received his Ph.D. in mathematics at the ELTE University of Budapest, and also at the University of Calgary. He is particularly interested in geometric extremum problems, and equilibrium points of convex bodies.

Tab Content 6

Countries Available