D_2_02 — Pompeii and Herculaneum — Frozen in Volcanic Time

The Roman cities of Pompeii (~11,000 population) and Herculaneum (~5,000 population) were destroyed and simultaneously preserved by the catastrophic eruption of Mount Vesuvius in AD 79. The eruption (now dated to October

B_3_13 — Sphinx Entities: Guardian Riddle-Keepers Beyond Giza

The Sphinx — a composite creature with a lion's body and a human (or divine) head — appears as a guardian being across multiple civilizations of the ancient world, functioning as a liminal protector stationed at threshol

ZD_1_12 — Information Geometry and Fisher Information

Information geometry is the mathematical field that applies differential geometry — the mathematics of curved spaces, manifolds, metrics, and connections — to the study of probability distributions and statistical models

ZD_1_08 — Lambda Calculus and Functional Programming

Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu

ZD_1_02 — Information Theory — Shannon, Entropy, and the Bit

Claude Shannon's 1948 paper "A Mathematical Theory of Communication" is one of the most consequential scientific publications of the 20th century. It defined information quantitatively — measured in bits — independent of

ZD_1_00 — Foundations Theory: Subfolder Summary

ZD_1_17 — Integrated Information Theory

Integrated Information Theory (IIT) is a mathematical theory of consciousness developed by Giulio Tononi (University of Wisconsin-Madison, 2004; IIT 3.0, 2014; IIT 4.0, 2022) that attempts to explain what consciousness i

ZD_1_10 — Automata Theory and Formal Languages

Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into

ZD_1_15 — Quantum Information Theory: Entanglement, Quantum Computing, and Information Bounds

Quantum information theory — the study of how information is encoded, processed, communicated, and protected using quantum mechanical systems — represents one of the most transformative intellectual developments at the i

ZD_1_16 — Quantum Information Theory

Quantum information theory — the study of how information is encoded, processed, and transmitted using quantum mechanical systems — has emerged as one of the most transformative research fields of the 21st century, unify

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_1_11 — Turing Machine, Computability, and the Limits of Computation

The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co

ZD_1_04 — Coding Theory & Error Correction

Coding theory — the mathematics of reliable communication over unreliable channels — was founded by Claude Shannon (1948), who proved the existence of channel capacity (a maximum rate at which information can be transmit

ZD_3_00 — Systems Architecture: Subfolder Summary

ZD_3_16 — DNA Computing and Molecular Computation

DNA computing — the use of DNA molecules and biochemical reactions to perform computation — was inaugurated by Leonard Adleman (University of Southern California), who in 1994 demonstrated the first molecular-scale compu

ZD_3_11 — History of Programming Languages: From Machine Code to Modern Paradigms

The history of programming languages traces the evolution of formal notations for instructing computers — from the raw binary patterns of machine code and the mnemonic abbreviations of assembly language through the devel

ZD_3_06 — Internet Architecture and Protocols

The Internet — a global network of interconnected networks — is arguably the most transformative technology of the late 20th century, connecting >5 billion users worldwide. Its architecture reflects deliberate design cho

ZD_3_17 — Reversible Computing and Landauer's Principle

Landauer's principle (1961) — one of the deepest connections between physics and computation — states that the erasure of one bit of information necessarily dissipates at least $k_B T \ln 2$ of energy as heat (approximat

ZD_3_02 — Computer Architecture and Von Neumann Model

Computer architecture concerns the design of digital computers — the organizational structure, functional behavior, and implementation of computing systems from logic gates to complete processors. The dominant paradigm s

ZD_3_04 — Operating Systems and Concurrency

Operating systems (OS) — the software layer managing hardware resources and providing abstractions for applications — are among the most complex software artifacts ever built. They manage process scheduling (deciding whi