RESEARCH BASE
Search 3,717 documents across 34 fields — every claim tier-rated by evidence
307 results for "Church-Turing thesis" — page 1 of 16
X_4_20 — Autoimmune Disease Rise & Hygiene Hypothesis
The dramatic rise of autoimmune and allergic diseases in industrialized nations over the past half-century — while these conditions remain comparatively rare in developing countries — represents one of the most important
K_4_14 — Consciousness and Quantum Biology: Photosynthesis, Navigation, Smell
Quantum biology — the study of quantum mechanical effects playing functional roles in biological processes — has emerged as one of the most exciting interdisciplinary fields of the 21st century, with direct implications
ZD_1_08 — Lambda Calculus and Functional Programming
Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu
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
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
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
F_4_11 — Indo-European Migrations: Yamnaya, Corded Ware, and the Steppe Hypothesis
The Indo-European language family — comprising roughly 450 languages spoken by nearly half the world's population — traces its origins to pastoralist communities of the Pontic-Caspian steppe between approximately 4500 an
ZA_5_16 — Quantum Biology & Photosynthesis
Quantum biology investigates whether non-trivial quantum mechanical effects — coherence, tunneling, and entanglement — play functional roles in biological processes, rather than being washed out by the warm, wet, noisy c
ZA_4_21 — Quantum Coherence in Photosynthesis
Quantum coherence in photosynthesis is one of the most surprising discoveries in modern biophysics — the finding that photosynthetic organisms appear to exploit quantum mechanical effects, specifically long-lived electro
V_4_20 — Hypercomputation & Beyond-Turing Models
Hypercomputation refers to any model of computation that can solve problems beyond the theoretical capabilities of standard Turing machines — the abstract devices defined by Alan Turing in his landmark 1936 paper "On Com
M_4_09 — Younger Dryas Impact and Lost Civilization Hypothesis
The Younger Dryas Impact Hypothesis (YDIH) proposes that a cosmic impact or airburst event approximately 12,800 years ago (12.8 ka BP) triggered the Younger Dryas cold reversal — a ~1,300-year return to near-glacial cond
M_4_15 — The Richat Structure and the Atlantis Hypothesis
The Richat Structure (Guelb er Richat, "Eye of the Sahara") is a prominent ~40-km-diameter circular geological formation in the Adrar Plateau of Mauritania (21.13°N, 11.40°W). Its concentric ring pattern — visible from s
U_1_18 — Electronic Music Synthesis and Sound Art
Electronic music — music produced or modified using electronic technology — evolved from experimental laboratory curiosities of the early 20th century into one of the dominant cultural forces of the modern era. [KEY FIND
U_1_20 — Electronic & Experimental Music: Synthesis, Sampling & Algorithmic Composition
Electronic and experimental music — from Pierre Schaeffer's musique concrète (1948) to contemporary algorithmic composition — represents one of the most transformative developments in the history of sound, severing the a
C_1_14 — Dumézil's Trifunctional Hypothesis: Indo-European Social Structure in Myth
Georges Dumézil (1898–1986) was a French comparative mythologist and philologist who proposed that the mythologies, religions, and social institutions of Indo-European-speaking peoples share a common tripartite ideologic
ZG_5_19 — Marija Gimbutas: Old Europe, Goddess Archaeology, and the Kurgan Hypothesis
Marija Gimbutas (1921–1994) was a Lithuanian-American archaeologist whose "Kurgan hypothesis" and "Old Europe" thesis fundamentally reshaped Indo-European studies and Neolithic archaeology. Working at UCLA from 1963 unti
ZG_5_18 — Kurgan Hypothesis: Indo-European Origins and Steppe Migrations
The Kurgan hypothesis, formulated by Lithuanian-American archaeologist Marija Gimbutas in 1956 and elaborated through the 1970s–1990s, proposes that the Proto-Indo-European (PIE) language originated among pastoralist com
ZG_3_19 — Sapir-Whorf Hypothesis: Modern Evidence
The Sapir-Whorf hypothesis — the idea that the structure of a language influences its speakers' perception and cognition — has undergone a dramatic rehabilitation since the 1990s after decades of near-total rejection in
Q_4_20 — Catalysis: From Haber-Bosch to Asymmetric Synthesis
Catalysis — the acceleration of a chemical reaction by a substance (the catalyst) that is not consumed in the process — accounts for over 90% of all industrial chemical processes and has earned more Nobel Prizes than any
Q_2_12 — Cosmic Nucleosynthesis and Primordial Helium Abundance
Big Bang nucleosynthesis (BBN) — the formation of the lightest elements during the first ~20 minutes after the Big Bang — stands as one of the most remarkable quantitative successes of modern cosmology. With only one fre
BROWSE BY SECTION — 3717 documents across 34 fields