RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.
438 results for "mathematical logic" — page 22 of 22
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
R_5_19 — Evolutionary Game Theory: Cooperation, Altruism, and Strategy in Nature
Evolutionary game theory applies mathematical game theory to biological evolution, explaining how natural selection favors strategies for survival and reproduction in competitive and cooperative interactions. The field's
ZA_2_14 — Penrose Twistor Theory: Spinor Geometry and Spacetime
Twistor theory — conceived by Roger Penrose beginning in 1967 — is a radical reformulation of the geometry underlying physics in which the fundamental objects are not points in spacetime but rather twistors: elements of
ZA_5_11 — Quantum Chaos: Where Classical Chaos Meets Quantum Mechanics
Quantum chaos investigates the quantum-mechanical signatures of systems whose classical counterparts exhibit chaotic behavior — addressing the profound question of how quantum mechanics, which is fundamentally linear, en
V_4_00 — Computational Modern: Subfolder Summary
V_4_06 — Mathematics in Natural Forms: Spirals, Symmetry, and Phyllotaxis
Mathematics pervades the natural world in patterns of astonishing regularity — from the logarithmic spirals of nautilus shells, hurricanes, and galaxies, to the Fibonacci phyllotaxis of sunflower seed heads and pinecone
V_3_20 — Fibonacci Sequences in Nature
The Fibonacci sequence (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...), in which each number is the sum of the two preceding ones, was introduced to European mathematics by Leonardo of Pisa (known as Fibonacci) in his 1
V_3_14 — Stochastic Processes: Random Walks, Markov Chains, and Brownian Motion
Stochastic processes — mathematical models of systems evolving randomly over time — provide the essential framework for understanding phenomena where uncertainty is intrinsic: the jittery motion of pollen grains in water
V_3_16 — Representation Theory: Symmetry, Groups, and Their Actions
Representation theory transforms the abstract algebraic machinery of groups — mathematical structures encoding symmetry — into concrete matrices and linear transformations that act on vector spaces. By representing group
V_3_00 — Applied Mathematics: Subfolder Summary
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
BROWSE BY SECTION — 3,721 documents across 34 fields