Computer Science
A discipline is a lens, not an owner — the same idea can be viewed through many.
Concepts viewed through this lens
These numbers describe the current Thinking OS knowledge slice, not the whole field.
Disciplines it bridges to
Each bridge is built by ideas the two fields share, the thinking patterns that recur across both, and a representative relationship that shows how they connect.
Computer Scienceconnects toMathematics
Shared thinking patterns
Why this bridge exists
Supervised learning enables Prediction — supervised learning enables Prediction.
Explore this connection →Computer Scienceconnects toSoftware Engineering
Shared thinking patterns
Computer Scienceconnects toHuman-Computer Interaction
Shared concepts
Shared thinking patterns
Why this bridge exists
Signal enables Information — A signal carries information across a channel.
Explore this connection →Computer Scienceconnects toMachine Learning
Shared concepts
Shared thinking patterns
Why this bridge exists
Machine learning enables Generalization — Learning succeeds when the model generalises beyond its examples.
Explore this connection →Computer Scienceconnects toBiology
Shared concepts
Shared thinking patterns
Why this bridge exists
Feedback influences Machine learning — Training adjusts a model through feedback on its errors.
Explore this connection →Computer Scienceconnects toComputational Complexity
Shared thinking patterns
Why this bridge exists
Space Complexity measures Turing machine — Space Complexity measures Turing Machine.
Explore this connection →Computer Scienceconnects toTheory of Computation
Shared thinking patterns
Why this bridge exists
Church-Turing Thesis explains Computability — Church-Turing Thesis explains Computability.
Explore this connection →Computer Scienceconnects toData Science
Shared thinking patterns
Why this bridge exists
Feature engineering enables Supervised learning — Feature engineering enables Supervised learning.
Explore this connection →
Field shape — representation health
65/100 overall · 143 concepts
The eight dimensions measure Thinking OS coverage of this field, not the quality or importance of the discipline.
What kind of structure is this field?
Interpreted from the current atlas — how this field is represented, not a judgement of the field.
Representation health 65/100 — healthy representation. Strongest: cross-disciplinary, taxonomy. Thinnest: factual depth.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
Its 65 representation-health is above the 63 median of 12 similarly-sized disciplines (comparable by concept count).
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
22% of its concepts have a single connection (mean internal degree 2.4) — a fairly cohesive internal structure.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
53% of its relations reach into 84 other disciplines — an outward-facing field in the atlas.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
68% of its concepts carry a source, 44% a Tier A/B source; 32% of relations carry claim-level evidence.
atlas representation · Measures the current Thinking OS representation, not the quality or importance of the field.
How this lens connects
The kinds of relationship that characterise this discipline lens in the current slice.
Coverage matrix
How these concepts distribute across domains and concept families — real counts, not a score.
Knowledge timeline
Real, sourced key dates of these concepts.
- c. 300 BCEAlgorithm · First use · Computer Science
- c. 820 CEAlgorithm · Formalization · Computer Science
- 1936Turing machine · Formalization · Computer Science
- 1945Computer · Discovery · Computer Science
- 1947Transistor · Discovery · Computer Science
- 1953Hash table · Discovery · Computer Science
- 1955Linked list · Formalization · Computer Science
- 1958Integrated circuit · Discovery · Computer Science
- 1969Internet · Formalization · Computer Science
Ideas that connect this discipline outward
Concepts viewed through this lens that reach disciplines it does not itself carry — concept-level bridges (distinct from the discipline-to-discipline bridges below).
- Machine learningreachesAlgorithmsBiochemistryBiologyBiotechnologyBusinessCognitive ScienceData ScienceDesignDiscrete MathematicsEconomicsEducationEducational ScienceEngineeringEvolutionary BiologyHuman-Computer InteractionLogicMathematical ModellingMathematicsNeuroinformaticsNeuroscienceOptimizationProbabilitySoftware EngineeringSystems BiologySystems EngineeringSystems ScienceTheory of Computation
- AlgorithmreachesArtificial IntelligenceBiochemistryBioinformaticsBiologyCell BiologyComputational BiologyComputational ComplexityData StructuresEvolutionary BiologyGeneticsHistoryInformation TheoryMachine LearningMolecular BiologyNumerical AnalysisOptimizationStatistics
- SequencereachesAlgorithmsBiochemistryBiologyCell BiologyCognitive ScienceDesignEducationEducational ScienceEvolutionary BiologyGeneticsLogicMachine LearningSoftware EngineeringTheory of Computation
- InformationreachesData ScienceElectrical EngineeringHuman-Computer InteractionInformation ScienceJournalismMedia StudiesMolecular BiologyNeuroscience
- DatareachesBiologyCommunication ScienceComputational Social ScienceDigital HumanitiesGeographyGeoinformaticsInformation TheorySociology
- Communication protocolreachesAnthropologyDiscrete MathematicsLinear AlgebraMathematicsNetwork ScienceSociologySoftware EngineeringUrban Planning
Mental models that recur here
Information ×14
Anything that reduces uncertainty. It can be encoded into a signal, sent across a channel, and decoded — and noise can corrupt it on the way.
Networks ×7
A set of parts connected so that a change in one can spread to others through the links.
Scale ×5
How a system's size changes what matters about it. Quantities rarely scale in step: doubling a length can quadruple an area and multiply a volume eightfold.
Cause and effect ×4
One thing genuinely bringing about another — as opposed to two things merely moving together. Establishing it needs a mechanism and controls, not just a pattern.
Learning journeys that use it
People represented in this atlas
People tagged with this lens who have a recorded contribution. Not exhaustive, and not a ranking.
- Muḥammad ibn Musa al-Khwarizmi
750–846
- Al-Kindi
801–870
- Gottfried Wilhelm Leibniz
1646–1716
- Charles Babbage
1791–1871
- Ada Lovelace
1815–1852
- John James Backus
1863–1937
- Edmund Landau
1877–1938
- Agner Krarup Erlang
1878–1929
- Arthur Samuel
1901–1990
- 143 concepts are viewed through this lens.
- 58 of them bridge into other disciplines.
- Its signature thinking pattern is “Information” (recurs in 14 concepts).
- The most common kind of connection here is “Kind & structure”.
- It is most tightly linked to Mathematics.
Derived from the current graph structure — observations, not a judgement of the field.