A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's  paper on formally undecidable propo- sitions of arithmetic. During the 1930s, in the work of such mathemati- cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro- posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski ), the theory of Abelian groups (Szmiele~ ), and the theories of elementary arithmetic and geometry (Tarski ' but Tarski discovered these results around 1930). The de- termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A.
Publisher: Springer-Verlag New York Inc. ISBN: 9781461289081 Number of pages: 216 Weight: 340 g Dimensions: 229 x 152 x 12 mm Edition: Softcover reprint of the original 1st ed. 198
Simply reserve online and pay at the counter when you collect.
Available in shop from just two hours, subject to availability.
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
This item can be requested from the shops shown below. If this item isn't available to be reserved nearby, add the item to your basket instead and select 'Deliver to my local shop' at the checkout, to be able to collect it from there at a later date.
When will my order be ready to collect?
Following the initial email, you will be contacted by the shop to confirm that your item is available for collection.
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at