{"product_id":"alan-turings-systems-of-logic-9780691155746","title":"Alan Turings Systems of Logic","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eAlan Turing's 1938 Princeton PhD thesis, \"Systems of Logic Based on Ordinals,\" which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This title presents the typescript of the thesis along with essays.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003e\"This book presents the story of Turing's work at Princeton University and includes a facsimile of his doctoral dissertation, 'Systems of Logic Based on Ordinals,' which he completed in 1936. The author includes a detailed history of Turing's work in computer science and the attempts to ground the field in formal logic.\"--Mathematics Teacher \"This book is not for the faint hearted, as with the great masters of painting it will insist that some thought goes into appreciating it... I love the book as a book. It is a collectors item and after all what better pursuit can one have than collecting books!\"--Patrick Fogarty, Mathematics Today\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003ePreface ix  The Birth of Computer Science at Princeton in the 1930s Andrew W. Appel 1  Turing's Thesis Solomon Feferman 13  Notes on the Manuscript 27  Systems of Logic Based on Ordinals Alan Turing 31  A Remarkable Bibliography 141  Contributors 143","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":49403793801559,"sku":"9780691155746","price":31.5,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/alan-turings-systems-of-logic-9780691155746","provider":"Book Curl","version":"1.0","type":"link"}