Deducibility and Decidability

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

List of contents

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

About the author

R R Rockingham Gill (Author)

Summary

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

Product details

• Authors: R. R. Rockingham Gill, R.r.rockingham Gill
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Paperback / Softback
• Released: 24.04.2014
• EAN: 9780415754965
• ISBN: 978-0-415-75496-5
• No. of pages: 170
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Mathematics > Basic principles; PHILOSOPHY / Logic, Philosophy: logic