Stock image for illustration purposes only - book cover, edition or condition may vary.
Structure Of Decidable Locally Finite Va
McKenzie, Ralph; Valeriote, Matthew
€ 68.16
FREE Delivery in Ireland
Description for Structure Of Decidable Locally Finite Va
Hardback. Series: Progress in Mathematics. Num Pages: 216 pages, biography. BIC Classification: PBF. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1100.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
1989
Publisher
Birkhauser Boston Inc United States
Number of pages
216
Condition
New
Series
Progress in Mathematics
Number of Pages
216
Place of Publication
Secaucus, United States
ISBN
9780817634391
SKU
V9780817634391
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Structure Of Decidable Locally Finite Va