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.

96 results for "halting problem" — page 1 of 5

K_1_14 Credible Consciousness

K_1_14 — Qualia: The Subjective Experience Problem

Qualia (singular: quale) — the term used in philosophy of mind for the subjective, experiential properties of conscious mental states — the redness of red, the painfulness of pain, the taste of coffee, the felt quality o

qualia subjective experience hard problem phenomenal consciousness Mary's Room what-it-is-like
Verified

INTERDOC_56 — Three-Field Convergence: Quantum Measurement, the Hard Problem, and the UAP Observation Problem

Three independent fields — quantum measurement (physics), the Hard Problem (philosophy of mind), and the UAP observation phenomenon (military / intelligence / sensor data) — converge on the same unresolved question: what

quantum measurement problem hard problem of consciousness observer effect UAP observation Wigner Wheeler
ZD_1_01 Verified Information & Computation

ZD_1_01 — Algorithms, Computation, and the Limits of Knowledge

An algorithm is a finite, unambiguous sequence of instructions for solving a problem — a concept formalized independently by Alan Turing (Turing machine, 1936) and Alonzo Church (lambda calculus) in response to David Hil

algorithms computation Turing machine Gödel incompleteness Church-Turing thesis
ZD_1_10 Verified Information & Computation

ZD_1_10 — Automata Theory and Formal Languages

Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into

automata theory formal languages Chomsky hierarchy finite automata pushdown automata Turing machine
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
P_1_05 Verified 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
ZF_5_22 Verified Oceanography

ZF_5_22 — Cetacean Cognition: Marine Mammal Intelligence and Problem-Solving

Cetaceans (whales, dolphins, porpoises) display a suite of cognitive capacities that meet or exceed those of great apes on multiple comparative measures, despite an evolutionary lineage independent from primate cognition

cetacean cognition dolphin intelligence whale culture mirror self-recognition vocal learning signature whistle
K_1_11 Verified Consciousness

K_1_11 — Dualism: Mind-Body Problem Across Philosophy and Neuroscience

The mind-body problem — the question of how subjective mental experience (consciousness, thought, sensation, emotion) relates to the physical body (brain, nervous system, matter) — is arguably the oldest and most persist

dualism mind-body problem substance dualism property dualism Descartes Chalmers
K_1_09 Credible Consciousness

K_1_09 — Philosophical Zombies and the Hard Problem

The philosophical zombie (p-zombie) thought experiment, formalized by David Chalmers (1996), asks: Could there exist a being physically and functionally identical to a conscious human — identical atom for atom, processin

philosophical zombie p-zombie hard problem of consciousness David Chalmers explanatory gap qualia
K_2_08 Credible Consciousness

K_2_08 — The Binding Problem in Consciousness

The binding problem asks how the brain creates unified, coherent conscious experiences from the distributed, specialized processing activity of millions of neurons across separate brain regions. When you see a red ball r

binding problem feature binding neural synchrony gamma oscillations temporal binding perceptual binding
Q_1_14 Verified Cosmology & Physics

Q_1_14 — Vacuum Energy and the Cosmological Constant Problem

The cosmological constant problem is widely regarded as the most severe fine-tuning problem in all of physics. Quantum field theory predicts that the vacuum of spacetime is not empty but seethes with zero-point fluctuati

vacuum energy cosmological constant dark energy zero-point energy quantum vacuum vacuum catastrophe
Q_4_10 Verified Cosmology & Physics

Q_4_10 — Fluid Dynamics: Turbulence, Navier-Stokes, and the Millennium Problem

Fluid dynamics is the study of the motion of fluids (liquids and gases) — a branch of physics with applications spanning aeronautics, meteorology, oceanography, astrophysics, cardiovascular medicine, chemical engineering

fluid dynamics Navier-Stokes equations turbulence Reynolds number viscosity laminar flow
P_1_01 Verified Philosophy & Meaning

P_1_01 — The Hard Problem of Consciousness

The Hard Problem of Consciousness, defined by philosopher David Chalmers in 1995, asks: Why does physical processing in the brain give rise to subjective experience? We can explain HOW neurons fire (the "easy problems")

consciousness hard problem qualia explanatory gap Chalmers panpsychism
P_1_08 Verified Philosophy & Meaning

P_1_08 — Philosophy of Mind and the Body Problem

The mind-body problem — how do mental states (thoughts, feelings, consciousness) relate to physical states (neurons, brains, bodies)? — is one of the oldest and most intractable problems in philosophy. Descartes (1641) f

philosophy of mind mind-body problem dualism Descartes physicalism materialism
P_2_01 Credible Philosophy & Meaning

P_2_01 — The Problem of Evil and Theodicy

The Problem of Evil is the oldest and most potent objection to the existence of an omnipotent, omniscient, benevolent God. First formulated rigorously by Epicurus (~300 BCE): "If God is willing to prevent evil but unable

theodicy problem of evil Epicurus Leibniz free will moral evil
ZA_1_14 Credible Physics & Quantum

ZA_1_14 — The Measurement Problem: Quantum Mechanics' Deepest Puzzle

The measurement problem — arguably the deepest conceptual issue in all of physics — arises from a fundamental tension within quantum mechanics between two processes: (1) unitary evolution — the deterministic, continuous,

measurement problem wave function collapse many-worlds decoherence Copenhagen interpretation objective collapse
ZA_1_05 Verified Physics & Quantum

ZA_1_05 — Quantum Decoherence and the Measurement Problem

Quantum decoherence explains how the strange superposition behavior of quantum mechanics transitions into the definite, classical-looking world we observe — without requiring a mysterious "collapse" postulate. When a qua

quantum decoherence measurement problem wave function collapse quantum to classical transition environment-induced decoherence einselection
V_4_04 Verified Mathematics & Information

V_4_04 — Unsolved Problems in Mathematics

Mathematics has always been driven by problems that resist solution — conjectures so deep that their resolution reshapes entire fields. The Clay Mathematics Institute's seven Millennium Prize Problems ($1 million each, a

unsolved problems Millennium Prize Riemann hypothesis P vs NP Navier-Stokes Hodge conjecture
P_1_19 Credible Philosophy & Meaning

P_1_19 — Philosophy of Mind

The philosophy of mind is the branch of philosophy that investigates the nature of mental phenomena — consciousness, intentionality, perception, emotion, belief, desire, and their relationship to the physical body and br

philosophy of mind consciousness mind-body problem qualia hard problem Chalmers
P_1_16 Credible Philosophy & Meaning

P_1_16 — AI Consciousness Philosophy: Can Machines Think, Feel, and Be Aware?

The question of whether artificial intelligence systems can be conscious — whether machines can genuinely think, have subjective experiences, or possess phenomenal awareness — is one of the deepest unsolved problems at t

AI consciousness artificial intelligence Chinese Room hard problem machine consciousness Alan Turing