Alan Turing Arrives at Princeton University to Study Under Alonzo Church
Alan Turing arrives at Princeton University to begin his studies under Alonzo Church, marking the start of a pivotal academic journey that will shape the future of mathematics and computing.
Setting
Princeton University campus, specifically the Mathematics Department building, with its grand entrance framed by towering Gothic arches and ivy-covered stone walls. The surrounding campus is dotted with autumn foliage, and the crisp morning air carries the scent of fallen leaves.
Characters
Alan Turing
primary
A slender young man in his mid-20s with a neatly combed side part, round wire-rimmed glasses that magnify his intelligent grey-blue eyes, and a slightly awkward posture. His face bears the faint shadow of a beard, suggesting he traveled directly from the ship. He has a prominent Adam's apple that bobs when nervous.
Alonzo Church
primary
A tall, slender man in his early 30s with sharp, angular features and a receding hairline. His piercing blue eyes behind round wire-rimmed glasses give him an intense, analytical gaze. He has a neatly trimmed mustache and moves with precise, economical gestures.
Graduate Student
secondary
A young man in his mid-twenties with a wiry build, standing at average height. His dark hair is neatly combed, and he wears round, wire-rimmed glasses that slightly magnify his observant eyes. His posture is slightly hunched, as if accustomed to long hours poring over notes and books.
University Porter
background
A middle-aged African American man of sturdy build, with broad shoulders and calloused hands from years of manual labor. His dark brown eyes are warm but weary, and his short-cropped hair shows traces of gray. He moves with the efficient economy of someone accustomed to heavy lifting.
Dialog
Alonzo Church
Mr. Turing, your paper on computable numbers demonstrates a rather rigorous approach to the Entscheidungsproblem. I’m curious—did you arrive at your lambda calculus equivalence independently, or were you influenced by my earlier publications?
Alan Turing
Well—that is—I read your work, Professor, but the notion of a universal machine came rather differently to me. It’s more mechanical, you see—tapes and states instead of pure notation.
Alonzo Church
Interesting. The mechanical metaphor suggests a physical interpretation of abstract computation. We should explore whether your ‘tapes’ are formally reducible to lambda expressions.
Alan Turing
Oh! That’s rather the question, isn’t it? Because if they are equivalent, then any function computable by a human clerk with paper could be—ah—
Alonzo Church
Precisely. You’ll find the departmental library has all the necessary materials to formalize that intuition. Friday afternoons are best for discussing such matters—my graduate students won’t interrupt us.