B_2_24 — Wild Man: Feral Human Mythology and Bigfoot Traditions

The Wild Man — a large, hairy, human-like being living in the wilderness beyond civilization's edge — appears in mythologies, folklore, and claimed-sighting reports across every inhabited continent. The earliest fully de

B_2_23 — Shapeshifter: Transformation Mythology Across Cultures

The shapeshifter — a being that can alter its physical form, often between human and animal — is arguably the single most universal mythological motif, appearing in every documented human culture with sufficient mytholog

B_2_21 — Unicorn: Horse-Horn Mythology and Cultural Persistence

The unicorn — a single-horned equine creature of extraordinary beauty and power — is one of the most enduring mythological figures in world culture, with a documented textual tradition spanning at least 2,400 years and p

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

ZE_5_04 — Hindu Ethics: Dharma, Karma, Ahimsa, and Varnashrama

Hindu ethics — rooted in the vast textual traditions of the Vedas, Upanishads, Dharmasutras, Epics (Mahabharata, Ramayana), and Puranas — constitutes one of the world's most ancient and internally diverse ethical systems

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_0_00 — Mathematics & Information: Section Summary

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