When Symbols Became Machines — From Written Procedures to Stored Programs

How the idea changed

By arranging operations with Indian place-value numerals into ordered prose, arithmetic became not only an answer but a repeatable procedure. This was not a modern programming language or the later abstract definition of an algorithm, but it made rules followed by a person into a transferable unit of knowledge.

What this place made possible

The Abbasid court, administrative calculation, and cultures of translation and copying in ninth-century Baghdad created conditions for comparing numeral systems and astronomical and arithmetical texts. The work is not assigned wholesale to a single building called the House of Wisdom.

How the idea changed

Latin readers translated, adapted, and annotated unfamiliar numerals and operations, reading *Algoritmi* both as an author's name and a manner of calculation. As procedures became teaching texts in a new language, a proper name gradually moved toward a general word for method.

What this place made possible

The multilingual environment of twelfth-century Toledo and Iberia brought Arabic scientific texts, Latin readers, and the language skills of Jewish, Christian, and Muslim scholars into multiple translation relationships. It was not one centrally organized modern translation school.

How the idea changed

A wheel completing one revolution advanced the next position, turning carrying into a physical state transition. With part of the rule fixed in the mechanism, a user handled input and output instead of remembering every intermediate carry.

What this place made possible

The repeated accounts handled by Pascal's tax-collecting father in Rouen supplied a concrete problem for mechanizing reliable addition and subtraction, while precision metalwork and patent patronage enabled multiple prototypes.

How it moved

Repeated Norman tax accounts → Pascal's prototypes and carrying mechanism → royal privilege and demonstrations → a small number of surviving machines, museum conservation, and study of mechanical calculation

How the idea changed

Babbage distinguished a *store* for numbers, a *mill* for operations, punched-card instructions, repetition, and conditional branching, separating machine architecture from the procedure performed. Different instruction arrangements, rather than permanently fixed gearing, could express different calculations.

What this place made possible

London's Royal Society, government funding, precision engineers, and demand for printed tables made a large calculating-engine project possible, while cost and conflict among Babbage, government, and makers blocked completion. The same city exposes conditions of both design and failure.

How it moved

Error-prone printed tables and the Difference Engine plan → government patronage and Joseph Clement's precision work → Jacquard-card ideas and the Analytical Engine design → drawings, notes, and unfinished parts → later museum construction and historical reassessment

How the idea changed

Lovelace's Note G arranged operations and intermediate variables for Bernoulli numbers in a table, inviting readers to distinguish the machine from its procedure. More broadly, she argued that relations expressed symbolically might let rules operate on letters or music as well as numbers.

What this place made possible

London scientific networks, sustained collaboration with Babbage, translation of a French paper, and publication in Taylor's *Scientific Memoirs* turned an unbuilt machine into a publicly discussable text. Class privilege enabled education while formal scientific careers remained narrow for women.

How the idea changed

Boole treated combinations of propositions and classes through symbols and laws of operation, separating logical form from content. A logical expression was not yet a wire, but making inference algebraically manipulable and checkable created a language that could later meet circuit design.

What this place made possible

A professorship at the newly founded Queen's College Cork gave the largely self-taught Boole time to teach and research, while London and Cambridge scholarly publishing networks connected work written in Cork to wider audiences.

How the idea changed

Encoding responses as holes at predefined positions and reading them through electrical contacts turned human attributes into standardized records a machine could count and sort. An algorithm now involved data format, input labour, classification rules, and machine processing as well as arithmetic.

What this place made possible

Washington's federal census office concentrated a constitutionally recurring national count, a large budget, and pressure from the previous census backlog. State administration created a market for machines while wielding power to define categories such as race, sex, and citizenship.

How it moved

The 1880 tabulation backlog → Hollerith's punched-card ideas and Census Office trials → clerical punching and checking → electrical tabulators and sorters → government contracts, international statistics, and a later corporate data-processing industry

How the idea changed

Hilbert and Ackermann turned a hope for mechanical solution into the explicit universal *Entscheidungsproblem*. Instead of first specifying a device, they asked whether a decision procedure could halt with yes or no on every input, setting a target later models of computation had to answer.

What this place made possible

Göttingen's mathematical institute, teaching, axiomatization program, and international student network made foundational questions in logic, geometry, and arithmetic a shared agenda. The pin marks the Hilbert school's research and teaching environment, not an exact writing room or publisher's address.

How it moved

Nineteenth-century axiomatization and formal logic → the Hilbert program and Göttingen teaching → the decision problem in Hilbert and Ackermann's 1928 text → Gödel's results on formal systems → Church's and Turing's distinct 1936 negative answers

How the idea changed

Gödel encoded formulas and proofs as natural numbers, enabling arithmetic to speak about its own provability. Under specified consistency conditions, any sufficiently strong effectively axiomatized system has true statements unprovable within it and generally cannot prove its own consistency internally.

What this place made possible

The University of Vienna, its mathematical colloquium, and discussions of logic and language around the Vienna Circle gave Gödel a community in which to master and debate the Hilbert program's formal tools. Political violence and antisemitism soon fractured that scholarly network.

How it moved

Göttingen formalism and completeness questions → Vienna logic colloquia and Gödel numbering → 1930 announcement and 1931 paper → migration to Princeton's IAS and later interpretation → computability, proof theory, and computer verification research

How the idea changed

Church established a formal class of computable functions through lambda definability and recursive functions, then showed that no function in that class solves the general decision problem. Turning the intuitive phrase 'mechanical method' into a manipulable mathematical object made uncomputability itself provable.

What this place made possible

Princeton's logic seminars, the *Annals of Mathematics*, and a concentration of visitors and graduate students connected the formal work of Church, Kleene, and Rosser with Turing's later study there. The place enabled comparison among models rather than constituting one person's lone school.

How the idea changed

Turing abstracted rule-governed symbol work into an unbounded tape, a reading and writing head, finitely many states, and a transition table. In the same framework he described a universal machine that interprets encodings of other machines and a boundary on deciding in general whether machines halt.

What this place made possible

Mathematical training at King's College Cambridge, Max Newman's foundations lectures, and access to libraries and journals enabled Turing to derive a formal model from a calculator's physical actions. During review and publication he learned of Church's independent result, leading onward to Princeton.

How the idea changed

Shannon mapped open and closed relay contacts to Boolean zero and one conditions, writing circuits as expressions and simplifying them by equivalence transformations. A two-way design translation between symbolic logic and physical switches turned circuits from trial-and-error wiring into calculable structures.

What this place made possible

MIT electrical engineering and maintenance work on Vannevar Bush's Differential Analyzer gave Shannon a concrete problem in complex relay circuits, while academic and industrial networks circulated the 1938 paper. Shestakov and others produced independent related work elsewhere in the same period.

How the idea changed

An ENIAC program decomposed a problem across accumulators, function tables, and control units, then physically reconfigured cables and switches. Electronics made arithmetic dramatically faster while problem changes remained slow, making the value of storing and editing instructions like data newly visible.

What this place made possible

Philadelphia's Moore School assembled U.S. Army Ballistic Research Laboratory funding, electronic engineers, and women who had computed firing tables by hand. Six early programmers learned diagrams and machine logic to make ENIAC work, yet were long marginalized in captions and credit.

How it moved

Wartime firing-table demand and women human computers → Eckert and Mauchly's electronic ENIAC team → plugboard programming by Bartik, Holberton, Meltzer, McNulty, Spence, and Teitelbaum → EDVAC discussions and stored-program reports → education and industrial computing

How the idea changed

The Manchester Baby fetched instructions from Williams–Kilburn electronic memory, repeated according to results, and ran a seventeen-instruction highest-factor program. As a program became a readable and editable memory pattern rather than fixed wiring, machine construction and program writing began to separate operationally.

What this place made possible

The University of Manchester brought together radar-memory expertise carried from the wartime Telecommunications Research Establishment by Williams, Kilburn, and Tootill, university laboratory space, and a later Ferranti industrial link to test an unstable new memory in a small experimental machine.

How it moved

Wartime cathode-ray radar techniques → Williams–Kilburn storage-tube experiments → construction of the SSEM/Baby → stored-program run on 21 June 1948 → Manchester Mark 1 and Ferranti Mark 1 → software work and a computer industry

How the idea changed

Dijkstra's method extends settled shortest distances from a source by repeatedly selecting the nearest unsettled vertex. A one-off demonstration problem became a reusable algorithm with an input graph, selection rule, termination, and correctness condition—and a visible boundary where negative edge weights break the guarantee.

What this place made possible

Amsterdam's Mathematisch Centrum ARMAC team needed a demonstration whose result non-specialists could understand when inaugurating a Dutch-built computer. A legible city map and the real machine's limits favoured an elegant, memory-conscious procedure.