Grace Hopper
Grace Hopper developed the first compiler at Remington Rand in the early 1950s and led the development of COBOL in the late 1950s. Read through Wittgenstein's framework, Hopper's compiler is the quintessential Tractarian artifact — a program that maps one set of formal structures onto another, preserving meaning because, in the Tractarian framework, meaning is structure. The compiler does not need to understand what the program is about. It maps formal structures onto formal structures. Its elegance is the elegance of the picture theory made operational. COBOL, her later project, attempted to make programming languages look like English — a disguise the later Wittgenstein's philosophy explains could never succeed at its apparent purpose.
In the AI Story
Hopper's engineering career was a sustained effort to narrow the gap between human thought and machine specification. The compiler automated the translation between human-readable notation and machine-executable code. COBOL went further, adopting English syntax so that business analysts could read and modify programs. Each step made formal specification more hospitable to human thinking without crossing the line into genuine meaning-as-use.
The Ludwig Wittgenstein — On AI volume identifies Hopper's work as exemplary of the strategy that dominated computing for fifty years: narrow the gap without transcending the Tractarian framework. The strategy was productive — Hopper's contributions enabled the entire subsequent industry — but it was also bounded. COBOL's English-like surface concealed a fundamentally un-English interior: a system in which words are tokens, syntax is deterministic, and the vast web of human communication was excluded by design.
Hopper herself was unusually aware of the gap her work was narrowing. Her lectures on nanoseconds — passing out twelve-inch wires representing the distance electricity travels in a nanosecond — were exercises in bridging between formal specification and human intuition, giving audiences a bodily sense of magnitudes the formal notation could not convey. The gestures point at what the saying-showing distinction names: some dimensions of understanding cannot be specified; they must be shown.
Hopper died in 1992, years before the natural language interface made her lifelong strategy of narrowing the gap appear, in retrospect, as the preparation for a qualitative change she did not live to see. The compiler's logic — translation between formal languages — is a template for what the language model now performs between natural language and formal code, though the model's translation operates on use rather than form.
Origin
Born Grace Murray in 1906 in New York City. PhD in mathematics from Yale (1934). Naval reserve officer during and after World War II, rising to Rear Admiral before her retirement in 1986. Developer of the A-0 compiler (1952) and principal architect of COBOL (1959). Died 1992.
Key Ideas
Compilation as Tractarian translation. The compiler preserves meaning by preserving structure — exactly what the picture theory asserts meaning consists in.
COBOL as disguise. Making formal languages look like English did not transform them into natural languages; the formal interior remained.
Narrowing the gap. Hopper's strategy — reducing the cognitive distance between human thought and machine specification — was the dominant paradigm for fifty years.
The showing she performed. Hopper's nanosecond wires gestured at what formal notation could not convey, intuitively prefiguring Wittgenstein's saying-showing distinction.
Ancestor of the language interface. The compiler's translation logic is the template the language model now performs on use rather than form.
Appears in the Orange Pill Cycle
Further reading
- Kurt Beyer, Grace Hopper and the Invention of the Information Age (2009)
- Kathleen Williams, Grace Hopper: Admiral of the Cyber Sea (2004)
- Jean Sammet, Programming Languages: History and Fundamentals (1969)