He was awarded the Ph. In , he joined the mathematics department at the University of Wisconsin—Madison , where he spent nearly all of his career. After two years as an instructor, he was appointed assistant professor in While a visiting scholar at the Institute for Advanced Study in Princeton, —, he laid the foundation for recursion theory , an area that would be his lifelong research interest.
|Published (Last):||6 November 2010|
|PDF File Size:||18.46 Mb|
|ePub File Size:||5.3 Mb|
|Price:||Free* [*Free Regsitration Required]|
In a note about writing the book, Kleene notes that up to , about 17, copies of the English version of his text were sold, as were thousands of various translations including a sold-out first print run of of the Russian translation.
So this is a book with a quite pivotal influence on the education of later logicians, and on their understanding of the fundamentals of recursive function theory and the incompleteness theorems in particular.
It is indeed still a pleasure to read or at least, it ought to be a pleasure for anyone interested enough in logic to be reading these pages. The Introduction to Metamathematics remains a really impressive achievement: and not one to be admired only from afar, either. Some details Chs. This is all very attractively done.
In Ch. And the final Ch. Summary verdict This book can still be warmly recommended as an enjoyable and illuminating presentation of fundamental material, written by someone who was himself so closely engaged in the early developments back in the glory days. It should be entirely accessible if you have managed e.
Stephen Cole Kleene
Before its discovery there was just one geometry and mathematics; the idea that another geometry existed was considered improbable. When Gauss discovered hyperbolic geometry, it is said that he did not publish anything about it out of fear of the "uproar of the Boeotians ", which would ruin his status as princeps mathematicorum Latin, "the Prince of Mathematicians". Main article: Begriffsschrift Begriffsschrift German for, roughly, "concept-script" is a book on logic by Gottlob Frege , published in , and the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language , modeled on that of arithmetic , of pure thought. Frege went on to employ his logical calculus in his research on the foundations of mathematics , carried out over the next quarter century.
It is easy to see why it is supposedly the most cited book in the mathematical logic literature. It is a model of clear explanation, and it does a better job of motivating the subject than any other textbook I have read I mean deep intellectual and historical motivation of the subject, not the kind of motivation found in introductory logic books about what deduction is, and why learning logic is a good thing to do. Ishi press are to be thanked for making it readily available again at a low price. This edition however is a little on the cheaply made side; this edition was scanned from an older edition, and there are faint copy lines on most pages, so it looks like a photocopy.