← All disciplines

Formal sciences

Discrete Mathematics

The study of mathematical structures that are countable and distinct, such as integers, graphs, and logical statements, rather than continuous quantities.

A discipline is a lens, not an owner — the same idea can be viewed through many.

10 concepts64 relationships6 relation families7 bridge concepts

Concepts viewed through this lens

These numbers describe the current Thinking OS knowledge slice, not the whole field.

Explore this lens in the graph →

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.

Field shape — representation health

68/100 overall · 10 concepts

The eight dimensions measure Thinking OS coverage of this field, not the quality or importance of the discipline.

  • Structural69 /100
  • Evidence70 /100
  • Foundations93 /100
  • Factual depth13 /100
  • Pedagogical69 /100
  • Cross-disciplinary100 /100
  • Provenance30 /100
  • Taxonomy100 /100

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 68/100 — healthy representation. Strongest: cross-disciplinary, taxonomy. Thinnest: factual depth, provenance.

    structural · Measures the current Thinking OS representation, not the quality or importance of the field.

  • 86% of its relations reach into 57 other disciplines — an outward-facing field in the atlas.

    structural · Measures the current Thinking OS representation, not the quality or importance of the field.

  • Its 68 representation-health is above the 55 median of 225 similarly-sized disciplines (comparable by concept count).

    structural · Measures the current Thinking OS representation, not the quality or importance of the field.

  • 10% of its concepts have a single connection (mean internal degree 1.8) — a fairly cohesive internal structure.

    structural · Measures the current Thinking OS representation, not the quality or importance of the field.

  • 100% of its concepts carry a source, 40% a Tier A/B source; 42% 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.

Teaching link24
Kind & structure21
Dependency9
Explains & models5
Analogy & transfer3
Cause & effect2

Coverage matrix

How these concepts distribute across domains and concept families — real counts, not a score.

SystemsInformationMatterChangePatternsEnergyLifeScaleStructureDecisionNetworksWavesCausalityComputationEarthSpaceOptimizationNumberProbabilitySecurityThresholdsConstraintsNatural sciencesFormal sciencesEngineeringMedicine & healthSocial sciencesHumanitiesProfessionalArtsInterdisciplinary111511

Knowledge timeline

Real, sourced key dates of these concepts.

2 events
200 BCE0200400600800c. 300 BCE · Algorithmc. 820 CE · Algorithm
  • c. 300 BCEAlgorithm · First use · Computer Science
  • c. 820 CEAlgorithm · 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).

  • NetworkreachesAgricultureArchaeologyBiologyBusinessComplexity ScienceComputational Social ScienceComputer ScienceDecision TheoryEcologyEconomicsEngineeringEnvironmental ScienceEpidemiologyGeographyIndustrial EngineeringLogisticsManagementNeuroinformaticsNeuroscienceOperations ResearchPhysiologyPolitical SciencePublic HealthSupply Chain ManagementSystems BiologyUrban Science
  • AlgorithmreachesArtificial IntelligenceBiochemistryBioinformaticsBiologyCell BiologyComputational BiologyComputational ComplexityData StructuresEvolutionary BiologyGeneticsHistoryInformation TheoryMachine LearningMolecular BiologyNumerical AnalysisOptimizationStatistics
  • SequencereachesAlgorithmsBiochemistryBiologyCell BiologyCognitive ScienceDesignEducationEducational ScienceEvolutionary BiologyGeneticsLogicMachine LearningSoftware EngineeringTheory of Computation
  • Graph theoryreachesAnthropologyLinear AlgebraNetwork ScienceSociologyUrban Planning
  • SetreachesAlgebraLinear AlgebraLogicTopology
  • RecursionreachesAlgorithmsLogicSoftware EngineeringTheory of Computation

Mental models that recur here

People represented in this atlas

People tagged with this lens who have a recorded contribution. Not exhaustive, and not a ranking.

Explore connections

What this lens reveals
  • 10 concepts are viewed through this lens.
  • 7 of them bridge into other disciplines.
  • Its signature thinking pattern is “Information” (recurs in 2 concepts).
  • The most common kind of connection here is “Teaching link”.
  • It is most tightly linked to Mathematics.

Derived from the current graph structure — observations, not a judgement of the field.