module module

`IndisputableMonolith.RRF.Foundation.Consciousness`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

IndisputableMonolith.RRF.Foundation module_import

declarations in this module (18)

structure ProofState L38
def recognize L53
def isConsistent L88
def validMoves L93
def H_FreeWillExists L103
theorem free_will_exists L108
theorem determinism_constraint L115
structure QualiaState L126
theorem pain_is_high_strain L145
theorem pleasure_is_low_strain L153
theorem valence_strain_opposite L161
structure TimeArrow L167
def present_is_boundary L176
theorem proofstate_has_boundary L180
structure NavigationPoint L186
theorem navigation_requires_choice L195
structure HardProblemDissolution L203
theorem hard_problem_dissolution_consistent L212