1st Edition

Deducibility and Decidability

By R. R. Rockingham Gill Copyright 1990
    170 Pages
    by Routledge

    172 Pages
    by Routledge

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

    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

    Biography

    R R Rockingham Gill (Author)