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

43 results for "Cook-Levin theorem" — page 3 of 3

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

V_2_14 Mathematics & Information

V_2_14 — Differential Topology and Manifolds

Differential topology studies smooth manifolds — spaces that locally resemble Euclidean $\mathbb{R}^n$ with smooth (infinitely differentiable) transition maps — and the smooth maps between them, classified up to diffeomo

differential topology manifold smooth manifold diffeomorphism tangent bundle vector field

ZD_2_08 Credible Information & Computation

ZD_2_08 — Penrose and Computation: Non-Computability, Consciousness, and Gödel's Theorem

Roger Penrose (b. 1931), Nobel laureate in physics (2020, for demonstrating that black hole formation is a robust prediction of general relativity), has advanced an influential and controversial argument that human mathe

Penrose Gödel non-computability consciousness quantum gravity orchestrated objective reduction

← Prev 1 2 3

BROWSE BY SECTION — 3717 documents across 34 fields

A Foundations 112 docs B Beings & Entities 114 docs C Global Traditions 116 docs D Sites & Artifacts 116 docs E Cataclysms & Chronology 109 docs F Lost Connections 111 docs G Modern Frameworks 99 docs H Suppression & Thesis 95 docs I UAP Disclosure 87 docs J Ancient Technology 103 docs K Consciousness 100 docs L Genetics & Origins 92 docs M Forbidden Archaeology 103 docs N Secret Societies 87 docs O Earth Anomalies 108 docs P Philosophy & Meaning 104 docs Q Cosmology & Physics 100 docs R Biology & Evolution 94 docs S Future Technology 100 docs T Psychology & Social 112 docs U Art, Music & Culture 122 docs V Mathematics & Information 87 docs W World Civilizations 140 docs X Medicine & Healing 126 docs Y Altered States 113 docs Z Molecular Biology 112 docs ZA Physics & Quantum 117 docs ZB Ecology & Biology 118 docs ZC Social Science 111 docs ZD Information & Computation 95 docs ZE Ethics & Applied Philosophy 99 docs ZF Oceanography 105 docs ZG Linguistics & Communication 110 docs ZH Archaeoastronomy 114 docs