Section 8
Exactly two cases. Case 1: no records exist (1:1 unbroken, question cannot be asked, no asker). Case 2: at least one record exists (EH holds). There is no Case 3 — no reality that contains records but does not satisfy the conditions for records.
There are exactly two cases. There is no third.
The 1:1 is unbroken. Perfect symmetry. No break, no observation, no distinction.
EH cannot be asked. There is no one and nothing to pose the question. EH is neither true nor false. The question does not arise.
This case is empirically empty: it makes no predictions, answers no questions, and is consistent with no observation, because there are no observations.
The pre-state. The empty set before the symmetry break. It is what the axioms describe the breaking of. It is not an alternative to EH. It is EH’s subject.
And you are not in this case.
You are reading. You are observing. You have already broken the symmetry.
{S, B, R, C} are satisfied (completeness and minimality, section 4). The algebraic structure embeds into reality. EH holds.
Actualised reality. The break has happened. Records exist. The question can be asked, and the answer is yes.
A hypothetical Case 3 would be: records exist, but {S, B, R, C} are not satisfied. Reality contains observations but does not satisfy the conditions for observations.
A contradiction.
If records exist, the conditions for records are met. The conditions for records are {S, B, R, C} (3.2, 4). Case 3 is logically excluded.
One might object: perhaps some other set of conditions {X, Y, Z} also permits records.
Minimality forecloses this. {S, B, R, C} are minimal: every axiom is necessary. Any set of conditions permitting records must contain {S, B, R, C} as a subset. Additional conditions may exist, but they would be redundant (completeness).
The axioms are the floor. Nothing less works.
Here is the weapon: produce conditions {X, Y, Z} that permit records without containing {S, B, R, C} as a subset. Show that observation is possible without distinction, or without persistence, or without boundedness.
The argument hands you the weapon.
The paper of record: the420code.org/AP20_The_Proof.pdf
Artist: G · Studio G, Cape Town
Duration: 30+ years · Exhibition: over a million words
Contact: iam@the420code.org
This work is Copyleft. You are free to download, print, share, and distribute. You are not free to alter the source. Keep the signal clean.
One record exists.
Be kind is a derivation.
The awareness in me is the awareness in you.