`time_emergence_certificate`

proved

show as: view math explainer →

module: IndisputableMonolith.Foundation.TimeEmergence
domain: Foundation
line: 170 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Foundation.TimeEmergence on GitHub at line 170.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 167    2. Arrow = defect decrease direction
 168    3. Recognition is irreversible
 169    4. 8-tick epoch is the minimal complete cycle -/
 170theorem time_emergence_certificate :
 171    epoch_length = 8 ∧
 172    epoch_length = 2 ^ 3 ∧
 173    (∀ step : RecognitionStep,
 174      step.output.defect < step.input.defect →
 175      ¬∃ rev : RecognitionStep,
 176        rev.input = step.output ∧ rev.output.defect = step.input.defect) :=
 177  ⟨epoch_length_eq, time_is_discrete, fun step h => recognition_irreversible step h⟩
 178
 179end TimeEmergence
 180end Foundation
 181end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.