RESEARCH BASE

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

3,717 documents 34 sections 47,686 citations 34,596+ keywords indexed 4 evidence tiers

11 results for "axiom"

K_1_17 Verified Consciousness

K_1_17 — Integrated Information Theory: Phi, Axioms & Empirical Tests

Integrated Information Theory (IIT), developed primarily by Giulio Tononi (University of Wisconsin–Madison) from 2004 to the present, proposes that consciousness is identical to integrated information — a quantity denote

integrated-information-theory iit phi giulio-tononi consciousness-axioms qualia-space
K_5_05 Credible Consciousness

K_5_05 — Consciousness and Information Integration: Phi and Its Critics

Integrated Information Theory (IIT), developed primarily by neuroscientist Giulio Tononi (b. 1960) at the University of Wisconsin-Madison, with significant contributions from Christof Koch (Allen Institute for Brain Scie

integrated information theory IIT phi Tononi Koch consciousness
P_1_05 Philosophy & Meaning

P_1_05 — Gödel's Incompleteness and Limits of Knowledge

In 1931, Kurt Gödel proved two theorems that shattered the foundations of mathematics and permanently altered humanity's understanding of knowledge, truth, and proof. The FIRST INCOMPLETENESS THEOREM states: in any consi

Gödel incompleteness theorem undecidable unprovable consistency
P_5_06 Philosophy & Meaning

P_5_06 — Philosophy of Mathematics

The philosophy of mathematics investigates the nature of mathematical objects, the status of mathematical truth, and the relationship between mathematics and the physical world. The fundamental question is: Are mathemati

philosophy of mathematics mathematical realism Platonism mathematics nominalism formalism logicism
V_1_02 Mathematics & Information

V_1_02 — Infinity, Paradoxes, and Mathematical Philosophy

Infinity has been a source of wonder, terror, and paradox since the ancient Greeks first grappled with Zeno's paradoxes of motion. Georg Cantor's revolutionary set theory (1870s-1890s) proved that infinities come in diff

infinity Cantor set theory Zeno paradoxes Russell paradox continuum hypothesis
V_1_10 Mathematics & Information

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)

Greek mathematics Euclid Elements Pythagoras Archimedes Thales
V_4_05 Mathematics & Information

V_4_05 — Origami Mathematics and Paper Folding

Origami — the art of paper folding — conceals a rich mathematical framework that has emerged as a serious branch of computational geometry with applications from space engineering to medical devices. The mathematics of o

origami paper folding Huzita-Hatori axioms flat foldability computational origami crease pattern
V_2_06 Mathematics & Information

V_2_06 — Set Theory & Foundations Crisis: Cantor, Russell, Gödel

The foundations crisis (c. 1895–1936) was the most profound intellectual upheaval in the history of mathematics — revealing that the discipline's logical underpinnings were far more fragile than anyone had imagined.

set theory foundations Cantor Russell paradox Gödel incompleteness
V_2_04 Mathematics & Information

V_2_04 — Geometry: Euclid to Non-Euclidean Revolution

Euclid's Elements* (c. 300 BCE, Alexandria) is the most influential textbook in human history — the second most printed book after the Bible — establishing the axiomatic method** (definitions, postulates, common notions

geometry Euclid Elements axiom parallel postulate Lobachevsky
V_2_13 Mathematics & Information

V_2_13 — Measure Theory and Integration

Measure theory provides the rigorous mathematical foundation for the concepts of length, area, volume, and probability — and the integration theory built upon them. Developed primarily by Henri Lebesgue (1902), it resolv

measure theory Lebesgue measure sigma algebra Borel set measurable function Lebesgue integral
V_2_08 Mathematics & Information

V_2_08 — Mathematical Proof: History & Philosophy

Mathematical proof — the definitive demonstration that a statement follows necessarily from accepted axioms — is the distinguishing feature of mathematics as a discipline. The axiomatic-deductive method originated with t

mathematical proof axiomatic method Euclid proof by contradiction reductio ad absurdum Four Color Theorem