Name: Self-Verifying Theories
SKU: 67128606
Price: 4847.00 TWD
Availability: InStock
ISBN: 9786131157271

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Betascript Publishing

Language

English

Format

Paperback

Dimensions

0 x 0 cm

ISBN13

9786131157271

Self-Verifying Theories

New Book Imported to Taiwan

Delivery: 19 Oct - 27 Oct

NT$ 4,847

NT$ 4,847

Add to Wishlist

Synopsis "Self-Verifying Theories"

High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! Self-verifying theories are consistent first-order systems of arithmetic much weaker than Peano arithmetic that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gdel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic, but they can nonetheless contain strong theorems; for instance there are self-verifying systems capable of proving the consistency of Peano arithmetic. In outline, the key to Willard's construction of his system is to formalise enough of the Gdel machinery to talk about provability internally without being able to formalise diagonalisation. Diagonalisation depends upon being able to prove that multiplication is a total function (and in the earlier versions of the result, addition also).

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Synopsis "Self-Verifying Theories"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery