I_5_00 — Cultural Psychological Phenomena: Subfolder Summary

I_4_00 — Evidence Technology: Subfolder Summary

V_1_08 — Mathematical Puzzles & Recreational Mathematics

Mathematical puzzles — problems posed for amusement, education, or intellectual challenge — have served as engines of mathematical discovery for over 4,000 years. The Rhind Mathematical Papyrus (c. 1650 BCE, Egypt) conta

V_1_05 — Ancient Number Systems & Gematria

Every literate civilization developed a number system, and the diversity of these systems reveals both universal mathematical needs and culturally specific solutions.

V_1_09 — Ancient Egyptian & Babylonian Mathematics

Ancient Egyptian and Babylonian mathematics — the two oldest documented mathematical traditions — represent fundamentally different approaches to mathematical thinking, both achieving remarkable sophistication millennia

V_1_10 — Ancient Greek Mathematics

Ancient Greek mathematics (c. 600 BCE – 500 CE) transformed mathematics from a collection of empirical recipes into a deductive science built on axioms, definitions, and rigorous proof. Thales of Miletus (c. 624–546 BCE)

V_1_13 — Women in Mathematics History

Women have made profound contributions to mathematics throughout history despite systematic exclusion from universities, academies, and professional recognition. Hypatia of Alexandria (c. 350–415 CE), the first well-docu

V_1_00 — History Cultural: Subfolder Summary

V_1_12 — Chinese Mathematics History

Chinese mathematics developed independently over at least 3,000 years, producing remarkable achievements often centuries before their European counterparts. The Jiuzhang Suanshu (Nine Chapters on the Mathematical Art, co

V_4_09 — Numerical Analysis: Algorithms for Approximate Solutions

Numerical analysis — the study of algorithms for approximately solving mathematical problems that cannot be solved exactly (or cannot be solved exactly in practice due to computational constraints) — is the mathematical

V_4_02 — Mathematical Economics

Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc

V_4_00 — Computational Modern: Subfolder Summary

V_4_15 — Formal Verification: Proving Programs Correct

Formal verification — the use of rigorous mathematical methods to prove that a software or hardware system satisfies its specification — aims to provide absolute correctness guarantees, going beyond testing (which can re

V_3_01 — Statistics & Probability: Pascal to Bayes

Probability and statistics — the mathematics of uncertainty — emerged as formal disciplines from the Pascal-Fermat correspondence (1654) on the "problem of points" (how to divide stakes in an interrupted game of chance),

V_3_08 — Fractal Geometry: Self-Similarity Across Scales

Fractal geometry, developed primarily by Benoit Mandelbrot (1975-1982), studies shapes with self-similar structure at multiple scales — coastlines, fern leaves, blood vessel networks, galaxy distributions, and financial

V_3_02 — Graph Theory & Network Mathematics

Graph theory — the mathematics of networks, connections, and relationships — began with Euler's Königsberg bridge problem (1736) and has become one of the most broadly applicable branches of mathematics, with direct rele

V_3_00 — Applied Mathematics: Subfolder Summary

V_3_03 — Chaos Theory & Fractals: Mathematics of Complexity

Chaos theory — the mathematical study of systems that are deterministic yet unpredictable — represents one of the most profound discoveries of 20th-century mathematics. Edward Lorenz (1963) discovered that a simple syste

V_2_00 — Pure Mathematics: Subfolder Summary

V_2_07 — Formal Logic: Aristotle to Turing

Formal logic — the systematic study of valid inference — spans 2,400 years from Aristotle's syllogistic (c. 350 BCE) to Turing's computation theory (1936). Aristotle's Organon established the syllogism as the fundamental