## Find a copy in the library

Finding libraries that hold this item...

## Details

Named Person: | Alan Mathison Turing; Alan Mathison Turing; Alan Mathison Turing |
---|---|

Material Type: | Biography |

Document Type: | Book |

All Authors / Contributors: |
Alan Mathison Turing; Andrew W Appel; Solomon Feferman |

ISBN: | 9780691155746 0691155747 |

OCLC Number: | 798411942 |

Description: | xv, 142 pages : illustrations, facsm. ; 26 cm |

Contents: | The birth of computer science at Princeton in the 1930s -- Turing's thesis -- Notes on the manuscript -- Systems of logic based on ordinals. |

Other Titles: | Systems of logic based on ordinals. Birth of computer science at Princeton in the 1930s. Turing's thesis. Systems of logic |

Responsibility: | edited and introduced by Andrew W. Appel. |

### Abstract:

## Reviews

*Editorial reviews*

Publisher Synopsis

"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 Read more...

*User-contributed reviews*