Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Introduction to Metamathematics (Hardcover)
Loot Price: R4,066
Discovery Miles 40 660
|
|
Introduction to Metamathematics (Hardcover)
Series: Bibliotheca Mathematica
Expected to ship within 12 - 19 working days
|
Stephen Cole Kleene was one of the greatest logicians of the
twentieth century and this book is the influential textbook he
wrote to teach the subject to the next generation. It was first
published in 1952, some twenty years after the publication of
Gadel's paper on the incompleteness of arithmetic, which marked, if
not the beginning of modern logic, at least a turning point after
which oenothing was ever the same. Kleene was an important figure
in logic, and lived a long full life of scholarship and teaching.
The 1930s was a time of creativity and ferment in the subject, when
the notion of aEUROoecomputableaEURO moved from the realm of
philosophical speculation to the realm of science. This was
accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo
Church, who gave three apparently different precise definitions of
aEUROoecomputableaEURO . When they all turned out to be equivalent,
there was a collective realization that this was indeed the oeright
notion. Kleene played a key role in this process. One could say
that he was oethere at the beginning of modern logic. He showed the
equivalence of lambda calculus with Turing machines and with
Gadel's recursion equations, and developed the modern machinery of
partial recursive functions. This textbook played an invaluable
part in educating the logicians of the present. It played an
important role in their own logical education.
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.