ABSTRACT

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

chapter II|14 pages

Addition, Multiplication and Exponentiation

chapter III|13 pages

The Theory of ∑-Forms

chapter IV|10 pages

Effectiveness

chapter V|10 pages

Recursively Defined Predicates

chapter VI|15 pages

The ‘Arithmetization of Syntax’

chapter VII|16 pages

Diagonalization

chapter VIII|19 pages

Gödel’s Theorems, and their Relatives

chapter IX|14 pages

The Limits of Representability

chapter X|8 pages

The Arithmetical Hierarchy