RESEARCH BASE

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

3,721 Documents 34 Sections 43,623 Citations 34,854 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.

1,647 results for "sociology of science" — page 83 of 83

V_1_15 Credible Mathematics & Information

V_1_15 — Indian Mathematics: Zero, Infinity, and the Decimal System

Indian mathematics represents one of the most profound and consequential mathematical traditions in human history — contributing foundational innovations that shaped the course of global mathematics, most notably the dec

Indian mathematics zero decimal Aryabhata Brahmagupta Bhaskara
V_1_18 Credible Mathematics & Information

V_1_18 — Ethnomathematics: Mathematics Across Cultures

Ethnomathematics — the study of mathematical ideas, methods, and practices developed by cultural groups outside the Western academic tradition — was formalized as a field by Ubiratan D'Ambrosio (Brazil, 1985), who argued

ethnomathematics indigenous-mathematics quipu ishango-bone sand-drawing sona
V_1_00 Mathematics & Information

V_1_00 — History Cultural: Subfolder Summary

V_4_20 Credible Mathematics & Information

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

hypercomputation super-Turing oracle machines analog computation Turing limit Church-Turing thesis
V_4_16 Credible Mathematics & Information

V_4_16 — Mathematical Visualization: From Graphs to Virtual Reality

Mathematical visualization — the creation of visual representations of mathematical objects, relationships, and data — serves as both a tool for discovery and a medium for communication, transforming abstract mathematica

mathematical visualization data visualization graph theory fractal topology visualization geometric visualization
V_4_15 Credible Mathematics & Information

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

formal verification program correctness Hoare logic model checking theorem proving type theory
V_0_00 Mathematics & Information

V_0_00 — Mathematics & Information: Section Summary