ALPHA Timepoint is in alpha Talk to Us
Sign In Get Started
P

Publication of Alonzo Church's 'An Unsolvable Problem of Elementary Number Theory'

Alonzo Church publishes his seminal paper 'An Unsolvable Problem of Elementary Number Theory,' introducing the concept of the lambda calculus and laying the foundation for computability theory.

Setting

Princeton University mathematics department office, with tall bookshelves filled with academic journals and textbooks, a large wooden desk covered with papers, and a blackboard covered in mathematical notations.

Characters

The figures in this scene as an entity network — co-presence links everyone in the moment; speakers who trade lines are bound tighter. Turn the resolution dial to reveal depth the engine actually computed.

TNGF
SELECTED
Alonzo Church
primary
A man in his early 30s, slender with a high forehead, sharp features, and piercing eyes behind round, wire-rimmed spectacles. His dark hair is neatly combed back, and he sports a modest mustache. His posture is erect, conveying both confidence and intellectual intensity.
Mathematics Professor
primary
A distinguished man in his late 50s, with silver-streaked hair combed neatly back, sharp blue eyes behind round wire-rimmed glasses, and a neatly trimmed mustache. His posture is upright, suggesting years of academic discipline, and his hands bear ink stains from frequent note-taking.
Graduate Student
secondary
A young man in his mid-20s with a slender build, wearing round wire-framed glasses that slightly magnify his intelligent brown eyes. His dark hair is neatly combed but shows signs of being frequently run through with fingers when deep in thought. His posture suggests both eagerness and nervous energy.
Department Secretary
background
A middle-aged woman in her late 40s, with a slim but sturdy build, her dark hair neatly pinned back in a practical bun. Her face shows the faint lines of someone accustomed to long hours of quiet work, with observant brown eyes that miss little.

Dialog

Alonzo Church The crux of the matter lies in this: no general method exists for determining whether any given mathematical proposition is provable within elementary number theory.
Mathematics Professor Would this not imply that Hilbert's Entscheidungsproblem admits of no universal solution?
Graduate Student If I understand correctly... this means some problems are fundamentally unsolvable?
Alonzo Church Precisely. The lambda calculus provides a formal system where such limitations become mathematically demonstrable.
Mathematics Professor Extraordinary. This will require us to reconsider the very boundaries of mathematical reasoning.
Graduate Student But... wouldn't this invalidate entire approaches to... (trails off, shakes head)
Alonzo Church Not invalidate, but rather delineate. Therein lies the profound implication - we now know precisely where reason must yield.

Chat with Characters

You've used your 3 free turns

Sign in to keep chatting with characters from this moment — unlimited turns.

Sign in to Continue
— Sign in for unlimited

Causal neighbors · 141 linked moments

T
Trinity Nuclear Test
1945 · same era
T
Trinity Nuclear Test
1945 · follows
E
ENIAC Unveiled
1946 · same era
E
ENIAC Unveiled
1946 · follows
E
ENIAC First Program Run
1945 · same era
E
ENIAC First Program Run
1945 · follows
M
Manchester Mark 1 First Program Run
1949 · same figure
E
ENIAC Unveiling
1946 · same era
E
ENIAC Unveiling
1946 · follows
H
Harvard Mark I Operational
1944 · same era
H
Harvard Mark I Operational
1944 · follows
H
Harvard Mark I Operational
1944 · same figure
T
Trinity Nuclear Test
1945 · same era
T
Trinity Nuclear Test
1945 · follows
E
ENIAC Public Unveiling
1946 · same era
E
ENIAC Public Unveiling
1946 · follows
C
Chicago Pile-1 Criticality
1942 · same era
C
Chicago Pile-1 Criticality
1942 · follows
A
Attack on Pearl Harbor
1941 · same era
A
Attack on Pearl Harbor
1941 · follows
C
Chicago Pile-1 first criticality
1942 · same era
C
Chicago Pile-1 first criticality
1942 · follows
First Draft of a Report on the EDVAC Distributed
First Draft of a Report on the EDVAC Distributed
1945 · same era
M
Manchester Mark 1 First Program Run
1949 · same figure
H
Harvard Mark I Operational
1944 · same figure
D
Dartmouth Workshop (Birth of AI)
1956 · same figure
R
Reichstag Fire
1933 · same era
A
Anschluss
1938 · same era
E
Enabling Act
1933 · same era
E
Enabling Act
1933 · same era
Reichswehr swears personal oath of loyalty to Hitler
Reichswehr swears personal oath of loyalty to Hitler
1934 · same era
E
Enabling Act of 1933
1933 · same era
K
Kristallnacht
1938 · same era
A
Adolf Hitler assumes the title of Führer and Reich Chancellor
1934 · same era
P
Publication of 'On Computable Numbers' by Alan Turing
1936 · same era
N
Night of the Long Knives
1934 · same era