B_2_20 — World Serpent Comparative: Jörmungandr, Ouroboros, Shesha, and Global Serpent Cosmologies

The World Serpent — a cosmic serpent that encircles, supports, or threatens the world — is among the most widespread and persistent motifs in human mythology, appearing independently in traditions separated by vast dista

B_2_22 — Thunderbird: Storm Bird Mythology Across Cultures

The Thunderbird — a colossal avian being whose wingbeats produce thunder and whose eyes or beak flash lightning — is one of the most powerful and widespread figures in Indigenous North American mythology, documented acro

B_3_12 — Phoenix and Firebird: Resurrection Bird Across Cultures

The Phoenix — a mythical bird that dies in fire and is reborn from its own ashes — is among the most enduring and widespread symbols of death, regeneration, and immortality in world mythology. The concept appears in dist

ZD_1_00 — Foundations Theory: Subfolder Summary

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

V_4_20 — Hypercomputation & Beyond-Turing Models

Hypercomputation refers to any model of computation that can solve problems beyond the theoretical capabilities of standard Turing machines — the abstract devices defined by Alan Turing in his landmark 1936 paper "On Com

V_2_19 — Category Theory: Abstract Structure, Functors & Topos Theory

Category theory — often called the "mathematics of mathematics" — provides a universal language for describing mathematical structures and the relationships between them, emphasizing morphisms (arrows, maps, transformati

V_2_00 — Pure Mathematics: Subfolder Summary