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,584 Discovery Miles 15 840 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,447 Discovery Miles 14 470 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...
Bait - To Catch A Killer
Janine Lazarus Paperback R320 R275 Discovery Miles 2 750
Seagull Trampoline Foam Tube…
R24 Discovery Miles 240
Speak Now - Taylor's Version
Taylor Swift CD R496 Discovery Miles 4 960
Cable Guy Ikon "Light Up" PlayStation…
R599 R549 Discovery Miles 5 490
Alcolin Wallpaper Paste (200ml)
R84 Discovery Miles 840
Sylvanian Families - Walnut Squirrel…
R749 R579 Discovery Miles 5 790
Russell Hobbs Toaster (2 Slice…
R707 Discovery Miles 7 070
Nintendo Joy-Con Neon Controller Pair…
 (1)
R1,899 R1,729 Discovery Miles 17 290
HP 330 Wireless Keyboard and Mouse Combo
R800 R400 Discovery Miles 4 000
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640

 

Partners