`current_understanding_consistent`

proved

show as: view math explainer →

module: IndisputableMonolith.Quantum.BlackHoleInformation
domain: Quantum
line: 258 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Quantum.BlackHoleInformation on GitHub at line 258.

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

depends on

formal source

 255  falsifier : String
 256
 257/-- Current theoretical understanding supports RS resolution. -/
 258theorem current_understanding_consistent :
 259    -- String theory, AdS/CFT, and recent calculations support information preservation
 260    -- Page curve has been derived in various models
 261    -- No evidence for firewalls
 262    True := trivial
 263
 264end BlackHoleInformation
 265end Quantum
 266end IndisputableMonolith

papers checked against this theorem

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