GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 31–60 of 1709 reference entries

Physics · MeasurementCaesium-133 defining frequency

ΔνCs denotes the unperturbed ground-state hyperfine transition frequency of caesium-133. Its numerical value is fixed exactly in SI units.

Definition
Mathematics & logic · InformationClassical propositions and connectives

Classical logic combines truth-valued propositions using defined connectives.

Definition
Mathematics & logicAxioms, deduction and mathematical proof

A mathematical proof derives a conclusion within stated assumptions and rules.

Method
Mathematics & logic · InformationSets, membership and basic operations

A set specifies membership without counting duplicate listings.

Definition
Mathematics & logic · InformationFunctions, domain and codomain

A function assigns exactly one output to each input in its domain.

Definition
Mathematics & logic · InformationMathematical induction

A base case and general successor step establish a predicate on all nonnegative integers.

Method
Mathematics & logic · MeasurementEuclidean right triangles and the Pythagorean theorem

In a Euclidean right triangle, squared leg lengths sum to the squared hypotenuse length.

Mathematical statement
Mathematics & logic · PhysicsSine, cosine and the unit circle

Sine and cosine are unit-circle coordinates whose squared values sum to one.

Mathematical statement
Mathematics & logic · InformationComplex numbers

A complex number has real coordinates a and b and an imaginary unit satisfying i²=−1.

Definition
Mathematics & logic · Information · PhysicsLinear maps and matrix representation

A linear map preserves linear combinations and has a matrix once bases are chosen.

Definition
Mathematics & logicLimit of a real function

A finite limit controls output error through sufficiently small input distance.

Definition
Mathematics & logic · PhysicsDerivative at a point

A derivative is a finite limit of local difference quotients.

Definition
Mathematics & logic · PhysicsDefinite integral and signed accumulation

A definite integral is the limiting signed accumulation of small contributions.

Definition
Mathematics & logic · PhysicsFundamental theorem of calculus

Continuity connects differentiation with integration.

Mathematical statement
Mathematics & logic · InformationProbability space and axioms

A probability assigns nonnegative, normalised, countably additive weights to events.

Definition
Mathematics & logic · InformationConditional probability and independence

Conditioning restricts attention to an event of positive probability.

Definition
Mathematics & logic · InformationExpected value of a discrete random variable

Expected value weights possible values by their probabilities.

Definition
Mathematics & logic · MeasurementConfidence interval for a population mean

A confidence level describes repeated-sampling coverage of an interval procedure.

Method
Information · Mathematics & logicBits and unsigned binary encoding

A bit has two possible states; a fixed-width unsigned binary word encodes an integer.

Definition
Information · Mathematics & logicShannon entropy of a discrete distribution

Shannon entropy measures uncertainty in a specified probability distribution.

Definition
InformationAlgorithm and decision procedure

An algorithm specifies effective steps; a decision procedure must terminate on every permitted input.

Method
Information · Mathematics & logicUndecidability of the halting problem

No total algorithm decides halting for every program and input in a general computation model.

Mathematical statement
Information · Mathematics & logicAsymptotic upper bounds and big O

Big O bounds eventual growth up to a fixed constant factor.

Definition
MeasurementSI base units

Seven named base units organize the SI quantity system.

Definition
MeasurementSI decimal prefixes

Prefix symbols specify decimal scale factors.

Definition
MeasurementMetrological traceability

Connect a result to a reference through documented calibrations.

Definition
Measurement · Mathematics & logicFirst-order uncertainty propagation

Combine input uncertainty through a measurement model.

Method
Measurement · Physics · Mathematics & logicDimensional consistency

Use dimensions to detect impossible quantity equations.

Method
Physics · Earth & cosmosNewtonian gravitation

An inverse-square force models attraction between point masses.

Model
PhysicsFrequency, wavelength and phase speed

Relate a periodic wave's spatial and temporal repetition.

Definition
DefinitionSource checked

Caesium-133 defining frequency

PhysicsMeasurement

ΔνCs denotes the unperturbed ground-state hyperfine transition frequency of caesium-133. Its numerical value is fixed exactly in SI units.

Key knowledge

ΔνCs = 9 192 631 770 Hz, exactly by the SI definition.

Reference values

ΔνCs9192631770Hz

Exact value · SI definition

Values and equations

ΔνCs = 9 192 631 770 Hz

ΔνCs
ΔνCs denotes the unperturbed ground-state hyperfine transition frequency of caesium-133. Hz

Conditions and scope

  • Refers to the specified unperturbed atomic transition used to define the second.

Exact definitions do not remove uncertainty from practical measurements.

Sources · 5

References

Sources retain their recorded scope. A source link alone does not establish verification of every statement.

  1. Bureau International des Poids et Mesures (BIPM)3 sources
    1. SI defining constantsBureau International des Poids et Mesures (BIPM)Reference guidebipm.orgRead source
    2. The International System of UnitsBureau International des Poids et Mesures (BIPM)Reference guidebipm.orgRead source
    3. The International System of Units, 9th edition, version 4.01 (2026)Bureau International des Poids et Mesures (BIPM)Reference guidebipm.orgRead source
  2. Meet the ConstantsNational Institute of Standards and Technology (NIST)Reference guidenist.govRead source
  3. 国際単位系(SI)第9版 · Japanese translation, V3.01National Metrology Institute of Japan, AISTReference guide · PDFunit.aist.go.jpRead source

Evidence and review

Exact SI value, symbol, unit and defining scope.

2026-10-09 · English value and scope checked against BIPM; value compared with NIST. This review covers the definition only.

Foundational review

2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.

Sources from other places

Agreement within this scope

The unperturbed caesium133 ground-state hyperfine transition defines the second through exactly 9192631770 Hz.

The unperturbed transition is the reference; actual clocks need corrections and carry uncertainty.

Entry detailsPermanent link to this entry ↗
Record identity
si-caesium-frequency
Revision
1
Structured reference record
SI