Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

SI quantities and unit conventions

Physical scope

SI types and units used by the nonrelativistic macroscopic thermodynamic framework; this item does not define a thermometer calibration or an equation of state.

Definition

This framework uses the modern International System of Units (SI). A scalar quantity has a real numerical value with the stated unit; a vector quantity has a value in the stated real coordinate space with the stated component unit. The numerical coordinates used elsewhere on this page are divided by their displayed SI units before they are placed in a Euclidean coordinate space.

The model's energy coordinate U and its process-transfer values Q and Won are scalar energies measured in joules (J). Volume V is a scalar measured in cubic metres (m³); amount of substance nj for species j is a scalar measured in moles (mol); and a particle count Nj, when separately used in a microscopic model, is dimensionless. Time t is measured in seconds (s), mass M in kilograms (kg), and a translational velocity vcm is a vector in R3 with components measured in metres per second (m/s). The physical meanings of U,Q,Won are fixed by the state and process definitions, not by their units alone.

The relevant exact SI relations are

1 J=1 kg m2 s−2,1 N=1 kg m s−2,1 Pa=1 J m−3.

The kelvin (K) is the SI unit of thermodynamic temperature. The Boltzmann constant has the exact defining value kB=1.380649×10−23 J K−1. The mole is the SI unit of amount of substance; the Avogadro constant has the exact defining value NA=6.02214076×1023 mol−1. When a model uses particle counts, nj=Nj/NA. The molar gas constant is derived as R=NAkB=8.31446261815324 J mol−1 K−1. This framework does not set kB=1. These SI definitions do not themselves introduce a thermodynamic temperature state function or entropy function.

Within the macroscopic framework, (U,V,nj) are adopted state coordinates. A quantity's status as primitive in this model is separate from whether its SI unit is a base or derived unit.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources