Alan Turing s Systems of Logic

Author: Andrew W. Appel
Publisher: Princeton University Press
ISBN: 9780691164731
Release Date: 2014-11-16
Genre: Computers

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. 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.

Philosophical Explorations of the Legacy of Alan Turing

Author: Juliet Floyd
Publisher: Springer
ISBN: 9783319532806
Release Date: 2017-05-29
Genre: Science

This volume presents an historical and philosophical revisiting of the foundational character of Turing’s conceptual contributions and assesses the impact of the work of Alan Turing on the history and philosophy of science. Written by experts from a variety of disciplines, the book draws out the continuing significance of Turing’s work. The centennial of Turing’s birth in 2012 led to the highly celebrated “Alan Turing Year”, which stimulated a world-wide cooperative, interdisciplinary revisiting of his life and work. Turing is widely regarded as one of the most important scientists of the twentieth century: He is the father of artificial intelligence, resolver of Hilbert’s famous Entscheidungsproblem, and a code breaker who helped solve the Enigma code. His work revolutionized the very architecture of science by way of the results he obtained in logic, probability and recursion theory, morphogenesis, the foundations of cognitive psychology, mathematics, and cryptography. Many of Turing’s breakthroughs were stimulated by his deep reflections on fundamental philosophical issues. Hence it is fitting that there be a volume dedicated to the philosophical impact of his work. One important strand of Turing’s work is his analysis of the concept of computability, which has unquestionably come to play a central conceptual role in nearly every branch of knowledge and engineering.

The soul of a university

Author: Brink, Chris
Publisher: Policy Press
ISBN: 9781529200355
Release Date: 2018-07-01
Genre: Education

What is the role of a university in society? In this innovative book, Chris Brink offers the timely reminder that it should have social purpose, as well as achieve academic excellence. The current obsession with rankings and league tables has perpetuated inequality and is preventing social mobility. This book shows how universities can – and should - respond to societal challenges and promote positive social change.

Engineering Trustworthy Software Systems

Author: Jonathan P. Bowen
Publisher: Springer
ISBN: 9783319568416
Release Date: 2017-04-18
Genre: Computers

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

Alan Turing Enigma

Author: Andrew Hodges
Publisher: Springer Verlag
ISBN: 3211826270
Release Date: 1994
Genre: Biography & Autobiography

Alan Turing, Enigma ist die Biographie des legendAren britischen Mathematikers, Logikers, Kryptoanalytikers und Computerkonstrukteurs Alan Mathison Turing (1912-1954). Turing war einer der bedeutendsten Mathematiker dieses Jahrhunderts und eine hAchst exzentrische PersAnlichkeit. Er gilt seit seiner 1937 erschienenen Arbeit "On Computable Numbers," in der er das Prinzip des abstrakten Universalrechners entwickelte, als der Erfinder des Computers. Er legte auch die Grundlagen fA1/4r das heute "KA1/4nstliche Intelligenz" genannte Forschungsgebiet. Turings zentrale Frage "Kann eine Maschine denken?" war das Motiv seiner Arbeit und wird die SchlA1/4sselfrage des Umgangs mit dem Computer werden. Die bis 1975 geheimgehaltene TAtigkeit Turings fA1/4r den britischen Geheimdienst, die zur EntschlA1/4sselung des deutschen Funkverkehrs fA1/4hrte, trug entscheidend zum Verlauf und Ausgang des Zweiten Weltkriegs bei.

The essential Turing

Author: Alan Mathison Turing
Publisher: Oxford University Press, USA
ISBN: UOM:39015060829952
Release Date: 2004-11-18
Genre: Computers

Alan Turing was one of the most important and influential thinkers of the 20th century. This volume makes his key writings available to a non-specialist readership for the first time. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, and artificial intelligence life all spring from this ground-breaking work.


Author: Joel Segel
Publisher: A K Peters/CRC Press
ISBN: STANFORD:36105131680808
Release Date: 2009-01-03
Genre: Mathematics

This book traces the history of the MIT Department of Mathematics—one of the most important mathematics departments in the world—through candid, in-depth, lively conversations with a select and diverse group of its senior members. The process reveals much about the motivation, path, and impact of research mathematicians in a society that owes so much to this little understood and often mystifying section of its intellectual fabric. At a time when the mathematical experience touches and attracts more laypeople than ever, such a book contributes to our understanding and entertains through its personal approach.

Turing s Legacy

Author: Rod Downey
Publisher: Cambridge University Press
ISBN: 9781107043480
Release Date: 2014-05-01
Genre: Computers

A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.

World of Mathematics

Author: Brigham Narins
Publisher: Gale Cengage
ISBN: UCSC:32106011417562
Release Date: 2001-01-01
Genre: Mathematics

Presents over 1,000 entries covering theories, discoveries, concepts, and definitions, and includes biographical entries on prominent mathematicians from antiquity to the present.

Encyclopedia of Computer Science

Author: Edwin D. Reilly
Publisher: Grove's Dictionaries
ISBN: UCSD:31822028688430
Release Date: 2000
Genre: Computers

Covers hardware, software, computer theory, artificial intelligence, desktop publishing, and the computer industry.

The Princeton Companion to Mathematics

Author: Timothy Gowers
Publisher: Princeton University Press
ISBN: 1400830397
Release Date: 2010-07-18
Genre: Mathematics

This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of the Fields Medal, it presents nearly two hundred entries, written especially for this book by some of the world's leading mathematicians, that introduce basic mathematical tools and vocabulary; trace the development of modern mathematics; explain essential terms and concepts; examine core ideas in major areas of mathematics; describe the achievements of scores of famous mathematicians; explore the impact of mathematics on other disciplines such as biology, finance, and music--and much, much more. Unparalleled in its depth of coverage, The Princeton Companion to Mathematics surveys the most active and exciting branches of pure mathematics. Accessible in style, this is an indispensable resource for undergraduate and graduate students in mathematics as well as for researchers and scholars seeking to understand areas outside their specialties. Features nearly 200 entries, organized thematically and written by an international team of distinguished contributors Presents major ideas and branches of pure mathematics in a clear, accessible style Defines and explains important mathematical concepts, methods, theorems, and open problems Introduces the language of mathematics and the goals of mathematical research Covers number theory, algebra, analysis, geometry, logic, probability, and more Traces the history and development of modern mathematics Profiles more than ninety-five mathematicians who influenced those working today Explores the influence of mathematics on other disciplines Includes bibliographies, cross-references, and a comprehensive index Contributors incude: Graham Allan, Noga Alon, George Andrews, Tom Archibald, Sir Michael Atiyah, David Aubin, Joan Bagaria, Keith Ball, June Barrow-Green, Alan Beardon, David D. Ben-Zvi, Vitaly Bergelson, Nicholas Bingham, Béla Bollobás, Henk Bos, Bodil Branner, Martin R. Bridson, John P. Burgess, Kevin Buzzard, Peter J. Cameron, Jean-Luc Chabert, Eugenia Cheng, Clifford C. Cocks, Alain Connes, Leo Corry, Wolfgang Coy, Tony Crilly, Serafina Cuomo, Mihalis Dafermos, Partha Dasgupta, Ingrid Daubechies, Joseph W. Dauben, John W. Dawson Jr., Francois de Gandt, Persi Diaconis, Jordan S. Ellenberg, Lawrence C. Evans, Florence Fasanelli, Anita Burdman Feferman, Solomon Feferman, Charles Fefferman, Della Fenster, José Ferreirós, David Fisher, Terry Gannon, A. Gardiner, Charles C. Gillispie, Oded Goldreich, Catherine Goldstein, Fernando Q. Gouvêa, Timothy Gowers, Andrew Granville, Ivor Grattan-Guinness, Jeremy Gray, Ben Green, Ian Grojnowski, Niccolò Guicciardini, Michael Harris, Ulf Hashagen, Nigel Higson, Andrew Hodges, F. E. A. Johnson, Mark Joshi, Kiran S. Kedlaya, Frank Kelly, Sergiu Klainerman, Jon Kleinberg, Israel Kleiner, Jacek Klinowski, Eberhard Knobloch, János Kollár, T. W. Körner, Michael Krivelevich, Peter D. Lax, Imre Leader, Jean-François Le Gall, W. B. R. Lickorish, Martin W. Liebeck, Jesper Lützen, Des MacHale, Alan L. Mackay, Shahn Majid, Lech Maligranda, David Marker, Jean Mawhin, Barry Mazur, Dusa McDuff, Colin McLarty, Bojan Mohar, Peter M. Neumann, Catherine Nolan, James Norris, Brian Osserman, Richard S. Palais, Marco Panza, Karen Hunger Parshall, Gabriel P. Paternain, Jeanne Peiffer, Carl Pomerance, Helmut Pulte, Bruce Reed, Michael C. Reed, Adrian Rice, Eleanor Robson, Igor Rodnianski, John Roe, Mark Ronan, Edward Sandifer, Tilman Sauer, Norbert Schappacher, Andrzej Schinzel, Erhard Scholz, Reinhard Siegmund-Schultze, Gordon Slade, David J. Spiegelhalter, Jacqueline Stedall, Arild Stubhaug, Madhu Sudan, Terence Tao, Jamie Tappenden, C. H. Taubes, Rüdiger Thiele, Burt Totaro, Lloyd N. Trefethen, Dirk van Dalen, Richard Weber, Dominic Welsh, Avi Wigderson, Herbert Wilf, David Wilkins, B. Yandell, Eric Zaslow, Doron Zeilberger

Notable Twentieth Century Scientists

Author: Kristine M. Krapp
Publisher: Gale Group
ISBN: 0787627666
Release Date: 1998-01-01
Genre: Science

This text represents a supplement to the original 4-volume set, and provides 225 new profiles on internationally renowned scientists, with special attention to women and minorities. These include Ian Wilmut, Scottish embryologist, Tim Berners-Lee, British computer scientist, and Virginia Agpar, American Anaestheologist.