`EulerFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Mathematics.Euler
domain: Mathematics
line: 274 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Mathematics.Euler on GitHub at line 274.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

formal source

 271    1. A simple e = f(φ) formula is found
 272    2. Some other base works for J-cost
 273    3. e is not required for normalization -/
 274structure EulerFalsifier where
 275  simple_formula_found : Prop
 276  other_base_works : Prop
 277  e_not_required : Prop
 278  falsified : other_base_works ∧ e_not_required → False
 279
 280end Euler
 281end Mathematics
 282end IndisputableMonolith

papers checked against this theorem

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