Deducibility and Decidability

By: R. R. Rockingham Gill

Write A Review

Hardcover | 26 April 1990 | Edition Number 1

At a Glance

Hardcover
172 Pages

Dimensions(cm)
21.6 x 13.8 x 1.12

Hardcover

RRP $398.20

$397.75

or 4 interest-free payments of $99.44 with

or

Ships in 5 to 7 business days

The classic results obtained by Godel, Tarski, Kleene and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them. Derived from courses taught by the author over several years, this new exposition of the results attempts a systematic unification of the theory by choosing as the central notion one grounded in the semantics of the existential quantifier, and takes care to stress the importance in the drama of three things: the mathematically well-understood conversion of implicit to explicit definitions, the philosophically perplexing idea of self-reference, and their surprising disclosure as two aspects of one phenomenon by the Recursion Theorem.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.