OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/ParticleDecisionUnconditional.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Particle-decision main results with the finite-machine input discharged.

  1. theorem OAI.ForcedComputation.initialized_particle_undecidable_unconditional line 11
  2. theorem OAI.ForcedComputation.fixed_particle_undecidable_unconditional line 17
  3. theorem OAI.ForcedComputation.stationary_particle_undecidable_unconditional line 23
  4. theorem OAI.ForcedComputation.slow_particle_undecidable_unconditional line 30
  5. theorem OAI.ForcedComputation.prefix_particle_undecidable_unconditional line 36
  6. theorem OAI.ForcedComputation.periodic_particle_undecidable_unconditional line 42