did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9780198534501

Diagonalization and Self-Reference

by
  • ISBN13:

    9780198534501

  • ISBN10:

    0198534507

  • Format: Hardcover
  • Copyright: 1994-10-13
  • Publisher: Clarendon Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $330.66 Save up to $99.20
  • Rent Book $231.46
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Supplemental Materials

What is included with this book?

Summary

This book presents a systematic, unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

Table of Contents

Introduction to Self-Reference and Recursion
Introduction to Self-Reference
Quotation and Self-Reference
Self-Reference in a More General Setting
Some Classical Fixed Point Arguments Compared
Five fixed Point Arguments
A Unification
Quasi-Diagonalization
How to Silence a Universal Machine
Silencing a Universal Machine
Some Related Problems
Solutions to Problems
Some General Incompleteness Theorems
Incompleteness
Provability by Stages
Self-Reference in Arithmetic
Normalization and Tarskification
Some Special Devices
Generalizations
Introduction to Formal Systems and Recursion
Formal Representability
Recursive Enumerability
A Universal System and Its Applications
A Universal System
Enumeration and Iteration Theorems
Systems with Effective Properties
Arithmetization of Formal Systems
Arithmetization of Elementary Formal Systems
Double Enumeration
More on Arithmetization
Elementary Formal Systems and Incompleteness Proofs
Truth in Lo Cannot be Formalized
A Concrete Incompleteness Proof
Double Indexed Relational Systems
Indexed Relational Systems
Double Indexing
Effective Representation Systems
Effective Representation
Exact and Effective Rosser Systems
Fixed Point Theorems in General Setting
Sequential Systems
Definitions and Purpose
Preliminary Definitions
Some Fixed Point Properties
Summary and Applications
Strong Fixed Point Properties
The Recursion and Extended Recursion Properties
The Myhill Property and Related Properties
Summary and Applications
Multiple and Fixed Point Properties
Double Fixed Points
Double Recursion Properties
Double Myhill Properties and Related Results
Symmetric Functions and Nice Functions
Synchronization and Pairing Functions
Synchronized Fixed Point Properties
Pairing Functions
Synchronized Recursion Resumed
Some Further Relations Between Fixed Point Properties
Single and Double Fixed Point Properties Compared
More on Systems of Type 1*
Combinators and Sequential Systems
Fixed Point Properties of Combinatory Logic
Interdefinability of Some Combinators
Fixed Points
Multiple Fixed Points
Formal Combinatory Logic
The Axiom Systems CL and CLo.
A Second Variety of Fixed Point Theorems
Self-Reference in CLo
Fixed Point Theorems of the Second Type
Extended Sequential Systems
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program