RESEARCH BASE

Search 3,721 documents across 34 fields — every claim tier-rated by evidence

3,721 Documents 34 Sections 43,625 Citations 34,852 Keywords Indexed 4 Evidence Tiers

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 Verified Beings & Entities

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

world serpent Jörmungandr ouroboros Shesha Ananta Quetzalcoatl
B_2_22 Verified Beings & Entities

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

thunderbird storm bird Wakinyan Anzu Garuda Roc
B_3_12 Verified Beings & Entities

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

phoenix Bennu bird Fenghuang Firebird Simurgh resurrection
ZD_1_00 Information & Computation

ZD_1_00 — Foundations Theory: Subfolder Summary

ZD_1_14 Verified Information & Computation

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

type theory lambda calculus dependent types Curry-Howard Coq Lean
ZD_1_11 Verified Information & Computation

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

Turing machine computability decidability halting problem Church-Turing thesis algorithm
R_5_19 Verified Biology & Evolution

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

evolutionary game theory prisoner's dilemma tit for tat altruism kin selection reciprocity
ZA_2_14 Credible Physics & Quantum

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

twistor theory Roger Penrose spinor conformal invariance twistor space scattering amplitudes
ZA_5_11 Verified Physics & Quantum

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

quantum chaos random matrix theory level statistics quantum scars stadium billiard Berry conjecture
V_4_00 Mathematics & Information

V_4_00 — Computational Modern: Subfolder Summary

V_4_06 Credible Mathematics & Information

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

mathematics in nature Fibonacci phyllotaxis spirals logarithmic spiral golden angle
V_3_20 Verified Mathematics & Information

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

Fibonacci golden ratio phyllotaxis sunflower spirals phi Lucas numbers
V_3_14 Credible Mathematics & Information

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

stochastic processes random walk Markov chain Brownian motion Wiener process Poisson process
V_3_16 Credible Mathematics & Information

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

representation theory group representation symmetry Lie group Lie algebra character
V_3_00 Mathematics & Information

V_3_00 — Applied Mathematics: Subfolder Summary

V_0_00 Mathematics & Information

V_0_00 — Mathematics & Information: Section Summary

V_2_19 Credible Mathematics & Information

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

category-theory functor natural-transformation topos-theory saunders-mac-lane samuel-eilenberg
V_2_00 Mathematics & Information

V_2_00 — Pure Mathematics: Subfolder Summary