Early Theory
1930-1950s · Turing & Birth of Computing
Before electronic computers existed, mathematicians were already exploring a profound question: Can machines "think"? This question led to the emergence of theoretical foundations that laid the mathematical and logical groundwork for the later birth of artificial intelligence. The pioneers of this era—Turing, Church, Gödel—their work was not merely mathematical exploration but also philosophical inquiry into the nature of human mind. This era's theoretical exploration can be divided into three main threads: the development of computing theory (driven by Turing and Church), the limits of formal logic (Gödel's work), and the birth of information theory (Shannon's contribution). These three directions interweave to form the theoretical cornerstone of artificial intelligence.
Key Milestones
Gödel's Incompleteness Theorems
Kurt Gödel published his incompleteness theorems, proving that any sufficiently powerful formal system contains propositions that cannot be proven or disproven within that system. This discovery not only shocked the mathematical community but also had profound implications for computing theory and artificial intelligence.
Kurt Gödel (1906-1978)
Church-Turing Thesis
Alonzo Church and Alan Turing independently proposed the famous Church-Turing Thesis. This thesis asserts that any effectively computable function is Turing-computable. This formalizes the intuitive notion of "computability" and became the foundation of computer science.
Alonzo Church & Alan Turing
Turing Machine
Alan Turing introduced the concept of the Turing machine in his landmark paper "On Computable Numbers, with an Application to the Entscheidungsproblem". This abstract computational model can simulate any mathematically computable process.
Alan Turing (1912-1954)
Lambda Calculus
Alonzo Church proposed Lambda Calculus, a formal system for function definition and application. Lambda Calculus is regarded as the theoretical foundation of functional programming and one of the earliest type systems.
Alonzo Church (1903-1995)
Neuron Model
Warren McCulloch and Walter Pitts published "A Logical Calculus of the Ideas Immanent in Nervous Activity", introducing the first artificial neuron model (McCulloch-Pitts neuron). This model simplified neurons to binary threshold switches, laying the foundation for later neural network research.
Warren McCulloch & Walter Pitts
Cybernetics
Norbert Wiener published "Cybernetics: Or Control and Communication in the Animal and the Machine", founding the new discipline of cybernetics. The study of how systems regulate themselves through feedback mechanisms had profound impact on AI and robotics.
Norbert Wiener (1894-1964)
Turing Test
In his paper "Computing Machinery and Intelligence", Turing proposed the famous "Turing Test". The core idea is: if a human judge cannot distinguish whether they are conversing with a human or a machine, then that machine can be considered to have "intelligence".
Alan Turing
Shannon's Information Theory
Claude Shannon published "A Mathematical Theory of Communication", laying the foundation for information theory. Concepts like entropy, coding, and information quantity became core tools for understanding data and processing information.
Claude Shannon (1916-2001)
Dartmouth Conference (Preview)
Before the official AI conference, John McCarthy and Marvin Minsky began planning the Dartmouth Summer Research Project in 1955. McCarthy's proposal first used the term "Artificial Intelligence" and outlined future research directions.
John McCarthy et al.
Key Figures
Alan Turing
Father of Computer Science
Turing was not only the founder of computer science but also a pioneer of artificial intelligence thought. His Turing machine model laid the foundation for computing theory, and the Turing Test provided a benchmark for intelligent machines. During WWII, his work helped decrypt the German Enigma code. In 1954, Turing died after being persecuted for his homosexuality. In 2013, Queen Elizabeth II granted him a posthumous royal pardon.
Alonzo Church
Father of Lambda Calculus
Church was a professor at Princeton University. His Lambda Calculus is the theoretical foundation of functional programming. His student was Turing, and together they proposed the Church-Turing Thesis, which remains central to computing theory.
Kurt Gödel
Logician
Gödel's Incompleteness Theorems are considered one of the most important mathematical discoveries of the 20th century. They show that even precise systems like mathematics have inherent limitations—a philosophical insight that profoundly impacts AI development.
Claude Shannon
Father of Information Theory
Shannon was not only the founder of information theory but also an early explorer of artificial intelligence. He built a mechanical mouse (Theseus) that could solve mazes—possibly one of the earliest AI demonstrations. His master's thesis "A Symbolic Analysis of Relay and Switching Circuits" is considered foundational to computer engineering.
Norbert Wiener
Father of Cybernetics
Wiener was a mathematician at MIT who founded cybernetics, an interdisciplinary field. His concept of "feedback" influenced early AI research. Wiener was also the first to warn about the dangers AI might bring.
Classic Quotes
"Can we make a machine that can think? This is a question about what machines can do, not whether machines can think."
— Alan Turing
"I propose to consider the question, "Can machines think?""
— Alan Turing
"The λ notation will help us deal with problems in the foundations of logic."
— Alonzo Church
"Any sufficiently powerful formal system is incomplete."
— Kurt Gödel
"The danger of machines is not in the machines themselves, but in man's dependence on them."
— Norbert Wiener