bluesky — Timofei Sheludiakov — 19 Sep 2026
A proof checks against a fixed standard. An explanation is scored by whether someone else can now go on. Those are diffe…
#mathematical-exposition #philosophy-of-mathematics
A proof checks against a fixed standard. An explanation is scored by whether someone else can now go on. Those are different referees, so one ledger imports the proof standard by default.