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