0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Structure of Decidable Locally Finite Varieties (Hardcover, 1989 ed.): Ralph McKenzie, Matthew Valeriote Structure of Decidable Locally Finite Varieties (Hardcover, 1989 ed.)
Ralph McKenzie, Matthew Valeriote
R1,657 Discovery Miles 16 570 Ships in 12 - 17 working days

A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] 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 [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' 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.

Structure of Decidable Locally Finite Varieties (Paperback, Softcover reprint of the original 1st ed. 1989): Ralph McKenzie,... Structure of Decidable Locally Finite Varieties (Paperback, Softcover reprint of the original 1st ed. 1989)
Ralph McKenzie, Matthew Valeriote
R1,516 Discovery Miles 15 160 Ships in 10 - 15 working days

A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] 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 [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Stellenbosch: Murder Town - Two Decades…
Julian Jansen Paperback R335 R288 Discovery Miles 2 880
Ab Wheel
R209 R149 Discovery Miles 1 490
The Car
Arctic Monkeys CD R383 Discovery Miles 3 830
Nintendo Joy-Con Neon Controller Pair…
R1,899 R1,729 Discovery Miles 17 290
Not available
Sylvanian Families - Walnut Squirrel…
R616 Discovery Miles 6 160
Bvlgari Aqva Pour Homme Marine Eau de…
R1,845 Discovery Miles 18 450
Playstation 4 Replacement Case
 (9)
R54 Discovery Miles 540
JBL T110 In-Ear Headphones (White)
R229 Discovery Miles 2 290
Loot
Nadine Gordimer Paperback  (2)
R205 R168 Discovery Miles 1 680

 

Partners