Deducibility and Decidability

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.

Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi