Encyclopedia/All topics/Nuclear

Nuclear

Articles 1–22 of 22. Alphabetical by title.

• Nuclear Alpha Decay Rs5

  A machine-checked file named for alpha decay proves only three general facts about a cost function, and nothing about the decay itself.

• Nuclear Binding Energy

  The energy that holds an atomic nucleus together, and its variation across elements explains why iron is the most stable.

• Nuclear Binding Energy Iron Octave Multiple

  Iron-56, the nucleus at the peak of the binding-energy curve, is also 7 times 8, a fact the Recognition Science framework's machine-checked library records as a theorem.

• Nuclear Binding Energy Magic 2 From Dimension

  A single Lean theorem about the number 2, its context in nuclear physics, and the limits of what it actually proves.

• Nuclear Binding Energy Nuclear Binding Cert Exists

  A machine-checked certificate bundles seven small facts about nuclear magic numbers and binding coefficients, but it does not prove a full binding-energy formula.

• Nuclear Binding Energy Volume Dominates Surface

  Nuclear binding energy is mostly a bulk effect: the more nucleons, the stronger the pull, and the surface plays a smaller role per particle.

• Nuclear Fission Energy From Jcost

  The standard 200 MeV of a uranium-235 fission event appears in Recognition Science as a ratio of masses run through a single cost function.

• Nuclear Neutron Lifetime Structure

  A free neutron decays in about 881 seconds, but the exact number still divides the physics community; this page shows what a ledger-based framework can and cannot yet prove about i

• Nuclear Neutron Lifetime Structure Neutron Decay Phase Space Positive

  A machine-checked proof that a positive energy release in neutron decay guarantees a positive phase-space factor, a necessary but modest condition for any lifetime calculation.

• Nuclear Neutron Lifetime Structure Neutron Lifetime Implies Decay Allowed

  A free neutron can decay into a proton, an electron, and an antineutrino because the reaction releases energy, and that simple fact is what the framework's formal proof record

• Nuclear Neutron Lifetime Structure Neutron Lifetime Implies Phase Space Positive

  A machine-checked proof shows that if the neutron's lifetime is positive, its decay must be allowed by energy conservation.

• Nuclear Neutron Lifetime Structure Neutron Lifetime Implies Positive Lifetime

  A machine-checked theorem confirms that if the neutron's decay is possible, its lifetime must be a positive number, a small but exact step in a larger unfinished derivation.

• Nuclear Neutron Magnetic Moment Rs

  The neutron carries a magnetic moment of about -1.913 nuclear magnetons, a fact that Recognition Science aims to derive but has not yet.

• Nuclear Nuclear

  A machine-checked library file applies a universal cost formula to nuclear binding, but the proof stops at the template, not the physics.

• Nuclear Nuclear Magic Numbers2 From Jcost

  Nuclear magic numbers are the proton or neutron counts that make an atomic nucleus unusually stable, and a framework called Recognition Science tries to derive them from a single c

• Nuclear Nuclear Shell Gap Rs

  A gap in nuclear energy levels, measured around 4 MeV, is where Recognition Science's cost function finds a familiar number.

• Nuclear Nuclear Shell3 From Jcost

  A machine-checked file named for the nuclear shell model turns out to prove three general facts about a cost function, and nothing about atomic nuclei.

• Nuclear Nuclear Symmetry Energy Rs

  The nuclear symmetry energy is the price a nucleus pays for having unequal numbers of protons and neutrons, about 31.7 MeV for ordinary matter.

• Nuclear Proton Electric Dipole V3

  The proton's electric dipole moment, a measure of charge asymmetry, is measured to be vanishingly small; Recognition Science predicts it is exactly zero.

• Nuclear Proton Lifetime Bound Rs

  The proton's lifetime is known to exceed 1.6e34 years; Recognition Science predicts it sits at a specific power of the golden ratio.

• Nuclear Radioactive Halflife3 From Jcost

  A machine-checked file named for radioactive decay actually proves three general facts about a cost function, and nothing specific to half-lives.

• Nuclear Spont Fission3 From Jcost

  Spontaneous fission is the unforced splitting of a heavy atomic nucleus, and a machine-checked library proves three basic facts about the cost function that describes it.