Alan M. Turing's Books

The Essential Turing

By: Alan Mathison Turing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Lectures, scientific papers, top secret wartime material, correspondence, and broadcasts are introduced and set in context by Jack Copeland, Director of the Turing Archive for the History of Computing."--Jacket.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

622

Publisher

Oxford University Press

Published Date

ISBN 10

0198250797

ISBN 13

9780198250791

Alan Turing's Systems of Logic

The Princeton Thesis

By: Andrew W. Appel

Write a review Read reviews Take a Quiz Solve Book Puzzle

Alan Turing's Systems of Logic

The Princeton Thesis

By: Andrew W. Appel

A facsimile edition of Alan Turing's influential Princeton thesis 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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

160

Publisher

Princeton University Press

Published Date

ISBN 10

0691164738

ISBN 13

9780691164731

Computing Machinery and Intelligence / Können Maschinen denken? (Englisch/Deutsch)

Great Papers Philosophie

By: Alan M. Turing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computing Machinery and Intelligence / Können Maschinen denken? (Englisch/Deutsch)

Great Papers Philosophie

By: Alan M. Turing

Alan M. Turing war der erste, der überhaupt die Frage stellte, ob Maschinen denken können. Seine Überlegungen dazu stießen die Tür für das Zeitalter moderner Computer auf. Seine bahnbrechende Arbeit, die jeder kennen sollte, der an Computern, Philosophie des Geistes und der Kognition, Psychologie oder allgemein an den Entwicklungen Künstlicher Intelligenz (KI) interessiert ist, folgt zeichengenau der 1950 in der Zeitschrift "Mind" veröffentlichten Form. Die neue Übersetzung wird ausführlich kommentiert. Das Nachwort zeigt, inwiefern sich die dort formulierten Prinzipien bis heute bei der Entwicklung von KI niederschlagen. Die Reihe "Great Papers Philosophie" bietet bahnbrechende Aufsätze der Philosophie: - Eine zeichengenaue, zitierfähige Wiedergabe des Textes (links das fremdsprachige Original, rechts eine neue Übersetzung). - Eine philosophiegeschichtliche Einordnung: Wie dachte man früher über das Problem? Welche Veränderung bewirkte der Aufsatz? Wie denkt man heute darüber? - Eine Analyse des Textes bzw. eine Rekonstruktion seiner Argumentationsstruktur, gefolgt von einem Abschnitt über den Autor sowie ein kommentiertes Literaturverzeichnis. E-Book mit Seitenzählung der gedruckten UB-Ausgabe sowie mit Originalpaginierung.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

212

Publisher

Reclam Verlag

Published Date

ISBN 10

3159618277

ISBN 13

9783159618272

Moral Codes

Designing Alternatives to AI

By: Alan F. Blackwell

Write a review Read reviews Take a Quiz Solve Book Puzzle

Moral Codes

Designing Alternatives to AI

By: Alan F. Blackwell

Why the world needs less AI and better programming languages. Decades ago, we believed that robots and computers would take over all the boring jobs and drudgery, leaving humans to a life of leisure. This hasn’t happened. Instead, humans are still doing boring jobs, and even worse, AI researchers have built technology that is creative, self-aware, and emotional—doing the tasks humans were supposed to enjoy. How did we get here? In Moral Codes, Alan Blackwell argues that there is a fundamental flaw in the research agenda of AI. What humanity needs, Blackwell argues, is better ways to tell computers what we want them to do, with new and better programming languages: More Open Representations, Access to Learning, and Control Over Digital Expression, in other words, MORAL CODE. Blackwell draws on his deep experiences as a programming language designer—which he has been doing since 1983—to unpack fundamental principles of interaction design and explain their technical relationship to ideas of creativity and fairness. Taking aim at software that constrains our conversations with strict word counts or infantilizes human interaction with likes and emojis, Blackwell shows how to design software that is better—not more efficient or more profitable, but better for society and better for all people. Covering recent research and the latest smart tools, Blackwell offers rich design principles for a better kind of software—and a better kind of world.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

239

Publisher

MIT Press

Published Date

ISBN 10

026237921X

ISBN 13

9780262379212

A Noah's Ark of Recurring Celebration

San Francisco Annual Event History - Winners of the Human Race

By: Alan Allen

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Noah's Ark of Recurring Celebration

San Francisco Annual Event History - Winners of the Human Race

By: Alan Allen

(2007) BEFORE YOU VISIT SAN FRANCISCO FOR THE FIRST TIME, OR BEFORE YOU RETURN -- AND FOR NATIVES PLANNING TOMORROW'S DAY, TAKE A LOOK AT SAN FRANCISCO AS NEVER BEFORE. Over 1,140 unique S.F. underground photojournalism photos you will not see anyplace else! A Noah's Ark of Recurring Celebration: San Francisco Annual Event History - Winners of the Human Race ... Storytellin' Muni Drivers 20th Anniversary Edition (history & oral journalism). San Francisco, birthplace of United Nations and 49'ers is about being real. At least 70 of the 142 annual events are put on by non-profit groups to support non-profit causes to help others; the other 70 events help support non-profit causes. We're a city that cares about people. San Franciscans, visitors to-and-from the Bay Area, and tourists from across the country and around the world have faith in San Francisco and what we stand for, in our good will, creativity, and diversity ...and respect San Francisco historically as a haven of social justice for immigrants fleeing war, slavery, starvation and poverty, and as the friendliest, most creative, openly diverse and welcoming city in the world. We've historically documented that unspoken social contract, spirit and human accomplishment in a unique book about a unique city, and why it's a travel destination for pleasure seekers and business people for their conventions, from around the world.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

497

Publisher

Trafford Publishing

Published Date

ISBN 10

1466981849

ISBN 13

9781466981843

Live Coding

A User's Manual

By: Alan F. Blackwell,Emma Cocker,Geoff Cox,Alex McLean,Thor Magnusson

Write a review Read reviews Take a Quiz Solve Book Puzzle

Live Coding

A User's Manual

By: Alan F. Blackwell,Emma Cocker,Geoff Cox,Alex McLean,Thor Magnusson

The first comprehensive introduction to the origins, aspirations, and evolution of live coding. Performative, improvised, on the fly: live coding is about how people interact with the world and each other via code. In the last few decades, live coding has emerged as a dynamic creative practice gaining attention across cultural and technical fields—from music and the visual arts through to computer science. Live Coding: A User’s Manual is the first comprehensive introduction to the practice, and a broader cultural commentary on the potential for live coding to open up deeper questions about contemporary cultural production and computational culture. This multi-authored book—by artists and musicians, software designers, and researchers—provides a practice-focused account of the origins, aspirations, and evolution of live coding, including expositions from a wide range of live coding practitioners. In a more conceptual register, the authors consider liveness, temporality, and knowledge in relation to live coding, alongside speculating on the practice’s future forms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

353

Publisher

MIT Press

Published Date

ISBN 10

0262372622

ISBN 13

9780262372626

Alan Turing's Systems of Logic

The Princeton Thesis

By: Andrew W. Appel

Write a review Read reviews Take a Quiz Solve Book Puzzle

Alan Turing's Systems of Logic

The Princeton Thesis

By: Andrew W. Appel

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

160

Publisher

Princeton University Press

Published Date

ISBN 10

0691164738

ISBN 13

9780691164731

Book's by Alan M. Turing

The Essential Turing

The Essential Turing

Alan Turing's Systems of Logic

Alan Turing's Systems of Logic

Computing Machinery and Intelligence / Können Maschinen denken? (Englisch/Deutsch)

Computing Machinery and Intelligence / Können Maschinen denken? (Englisch/Deutsch)

Moral Codes

Moral Codes

A Noah's Ark of Recurring Celebration

A Noah's Ark of Recurring Celebration

Live Coding

Live Coding

Alan Turing's Systems of Logic

Alan Turing's Systems of Logic

Username

Password

Username

Password

Password again

Birthday

Email