|
Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
|
Buy Now
Logic of Arithmetic (Hardcover)
Loot Price: R3,591
Discovery Miles 35 910
|
|
|
Logic of Arithmetic (Hardcover)
Expected to ship within 12 - 19 working days
|
For propositional logic it can be decided whether a formula has a
deduction from a finite set of other formulas. The present volume
begins with a method to decide this for the quantified formulas of
those fragments of arithmetic which express the properties of
order-plus-successor and or order-plus-addition (Presburger
arithmetic); it makes use of an algorithm eliminating quantifiers
which, in turn, is also applied to obtain consistency proofs for
these fragments. Stronger fragments of arithmetic, also containing
multiplication, are sufficiently rich to express a primitive
recursive encoding of terms, formulas and deductions, and this
leads to Godel's theorem exhibiting statements already undecidable
in these fragments. Its central idea, isolated in Tarski's fixpoint
lemma, has a certain analogy with Eubulides' antinomy of the Liar,
and in a non-technical chapter, accessible to a wider class of
readers, this analogy is exploited for an informal discussion of
undefinability and incompleteness. The technical tools required to
verify the hypotheses on arithmetical representability, on the
other hand, are collected in an independent presentation of
recursive functions and relations.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
