[Pl-seminar] [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic

Mitchell Wand wand at ccs.neu.edu
Tue Nov 27 20:21:30 EST 2012


BTW, Princeton's website is annoying.  It's available on Amazon for cheaper
(and eligible for Amazon Prime (free shipping) if you have it).

--Mitch



On Tue, Nov 27, 2012 at 2:21 PM, Mitchell Wand <wand at ccs.neu.edu> wrote:

> This may be of interest to many of the people on these lists. --Mitch
>
> ---------- Forwarded message ----------
> From: Text_Assistant <Text_Assistant at press.princeton.edu>
> Date: Tue, Nov 27, 2012 at 10:51 AM
> Subject: [TYPES/announce] New Book from Princeton University Press: Alan
> Turing's Systems of Logic
> To: types-announce at lists.seas.upenn.edu
>
>
> [ The Types Forum (announcements only),
>      http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
>
> NEW BOOK FROM PRINCETON UNIVERSITY PRESS: Alan Turing’s Systems of Logic**
> **
>
> ** **
>
> Below you will find a brief description of a new title published by
> Princeton University Press. We hope that you will find this title of
> interest to your members and would be delighted if you post our message to
> your discussion list.****
>
> ** **
>
> Alan Turing's Systems of Logic:****
>
> The Princeton Thesis****
>
> Edited and introduced by Andrew W. Appel****
>
> ** **
>
> http://press.princeton.edu/titles/9780.html****
>
> ** **
>
> Cloth | 2012 | $24.95 / £16.95 | ISBN: 9780691155746****
>
> 160 pp. | 7 x 10****
>
> ** **
>
> A work of philosophy as well as mathematics, Turing's thesis envisions a
> practical goal--a logical system to formalize mathematical proofs so they
> can be checked mechanically. If every step of a theorem could be verified
> mechanically, the burden on intuition would be limited to the axioms.
> Turing's point, as Appel writes, is that "mathematical reasoning can be
> done, and should be done, in mechanizable formal logic." Turing's vision of
> "constructive systems of logic for practical use" has become reality: in
> the twenty-first century, automated "formal methods" are now routine.****
>
> ** **
>
> Presented here in its original form, this fascinating thesis is one of the
> key documents in the history of mathematics and computer science.****
>
> ** **
>
> ** **
>
> "For me, this is the most interesting of Alan Turing's writings, and it is
> a real delight to see a facsimile of the original typescript here. The work
> is packed with ideas that have turned out to be significant for all sorts
> of current research areas in computer science and mathematics."--Barry
> Cooper, University of Leeds****
>
> ** **
>
> Read a sample chapter online, click here:****
>
> http://press.princeton.edu/chapters/s9780.pdf****
>
> ** **
>
> ** **
>
> ** **
>
> Thank you for your time.****
>
> ** **
>
> ** **
>
> Emily Witkowski****
>
> Text Promotions Intern****
>
> Princeton University Press****
>
> http://press.princeton.edu****
>
> ** **
>
> ** **
>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the pl-seminar mailing list