News for hackers. Stuff that matters.
Re:"Why not just use Lean?" by BigTTYGothGF on Monday April 27, 2026 @02:27PM (#47925341)
> If it is NOT true, they sometimes simply play "what if" and construct a new system where it could be true.

I trust you have some examples of this?

Re:"Why not just use Lean?" by sincerely on Monday April 27, 2026 @02:46PM (#47925585)
I think they're talking about conjectures that are unproven but seem "likely true" and people build further math off the assumption. E.G Reimann hypothesis
Re:"Why not just use Lean?" by ianhorn on Monday April 27, 2026 @11:31PM (#47930192)
Complex numbers and Schwartz distributions (the thing the dirac delta is) come immediately to mind. “Not all numbers have square roots, but what if they did?” It seems like a common pattern.