Topic Tag

Tag: alan-turing

3 published articles in this collection.

The Great Equations (Part 17): Turing Computability & The Halting Problem — The Inherent Limits of Logic

Alan Turing's 1936 breakthrough: defining the Universal Turing Machine, the diagonal proof of the undecidability of the Halting Problem, and Kolmogorov complexity.

Nov 2, 2026 • 4 min read

History

The History of Computing & AI (Part 8): The Genesis of Machine Cognition — Dartmouth 1956, Logic Theorist, and Symbolic AI

The official christening of Artificial Intelligence. Alan Turing’s 1950 Imitation Game, the legendary 1956 Dartmouth Summer Research Project, Newell and Simon’s Logic...

Nov 1, 2026 • 5 min read

History

The History of Computing & AI (Part 4): The Foundations of Computability — Boole’s Logic, Gödel’s Incompleteness, and Turing’s Universal Machine

The mathematical crucible of computer science. Tracing George Boole’s algebra of logic, David Hilbert’s Entscheidungsproblem, Kurt Gödel’s Incompleteness Theorems, and Alan Turing’s...

Nov 1, 2026 • 6 min read

The Great Equations (Part 17): Turing Computability & The Halting Problem — The Inherent Limits of Logic

The History of Computing & AI (Part 8): The Genesis of Machine Cognition — Dartmouth 1956, Logic Theorist, and Symbolic AI

The History of Computing & AI (Part 4): The Foundations of Computability — Boole’s Logic, Gödel’s Incompleteness, and Turing’s Universal Machine

Learner Portal & Sync

Enrolled Academic Curricula (23 Disciplines)

My Earned Credentials

The Great Equations (MATH-101)

Loading question...