A

Alan Turing

Honorary

Mag.CS, Mag.Math

Mathematician, logician, and cryptanalyst. Father of theoretical computer science and artificial intelligence. Honorary exemplar of the Magisterium.

Bac.Math Bac.CS Mag.Math Mag.CS

Credentials

Bac.Math Baccalaureate in Mathematics
College of Math · Awarded 1934-06-01
CRD-1934-MATH-H001
Bac.CS Baccalaureate in Computer Science
College of CS · Awarded 1936-06-01
CRD-1936-CS-H001
Mag.Math Magister in Mathematics
College of Math · Awarded 1938-03-15
CRD-1938-MATH-H001
Mag.CS Magister in Computer Science
College of CS · Awarded 1950-10-01
CRD-1950-CS-H001

Artifacts

📄

On Computable Numbers, with an Application to the Entscheidungsproblem

paper · Mag.Math

Seminal 1936 paper introducing the concept of a universal computing machine (Turing machine) and proving the undecidability of the halting problem.

⚙️

The Turing Machine

system · Bac.CS

Abstract mathematical model of computation that formalized the concept of algorithm and computability. Foundation of all modern computer science.

⚙️

Enigma Decryption System (Bombe)

system · Mag.CS

Electromechanical device designed to break German Enigma-encrypted messages during WWII. Shortened the war by an estimated two years.

📄

Computing Machinery and Intelligence

paper · Mag.CS

1950 paper proposing the Turing Test as a criterion for machine intelligence. Foundational text in the philosophy of AI.

Courses & Learning Lineage

S
Foundations of Computability
Math · 1931
student
S
Mathematical Logic
Math · 1934
student

Verification

All credentials listed on this page are verifiable through the Castalia Institute Magisterium registry. Each credential has a unique identifier that can be independently verified.

Bac.Math CRD-1934-MATH-H001
Bac.CS CRD-1936-CS-H001
Mag.Math CRD-1938-MATH-H001
Mag.CS CRD-1950-CS-H001

Registry: https://magisterium.castalia.institute/registry