1st Edition

Deducibility and Decidability

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

172 Pages
by Routledge

170 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)