Deducibility and Decidability

Gebonden Engels 1990 9780415000338
€ 252,65
Levertijd ± 11 werkdagen
Gratis verzonden

Samenvatting

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

Specificaties

ISBN13:9780415000338
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:172
Uitgever:Taylor & Francis Ltd

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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

Managementboek Top 100

€ 252,65
Levertijd ongeveer 11 werkdagen
Gratis verzonden

Rubrieken

Producten

    Auteurs

      Trefwoorden

        Artikelen

          Deducibility and Decidability