Index

A

Ackerman, Willhelm, 81, 93

Aiken, Howard, 122, 154

Aldorf, University of, 4

Algebra of logic, 2425, 26, 2829

Algebraic notation, 11

Algebraic numbers, 51

Algorithm, defining, 128

AlphaGo, 179, 180

American Association for the Advancement of Science, 171

American Mathematical Society, 76

Aquinas, Thomas, 45

Ariadne, thread of, 11

Aristotle, 3, 14, 20, 25, 27, 29, 30, 45, 79, 171, 174

Atanasoff, John, 154

August, Ernst, 9

Automatic Computing Engine (ACE), 162, 163, 164, 165, 167, 182

Axiom 2, Liebniz’s, 1314

Axiom of reducibility, 77

B

Babbage, Charles, 121, 153

Bauch, Bruno, 36

Begrisschrift, 3640, 42, 43, 44, 83

Bell, E. T., 63

Bergmann, Gustav, 108

Bernays, Paul, 81, 93

Bieberbach, Ludwig, 84

Binary notation, 12

Bismarck, Otto von, ...

Get The Universal Computer, 3rd Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.