News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by pfdietz on Thursday October 08, 2026 @12:05PM (#50007546)
It's when theorems are proved by True Scotsmen.

There are no comments on this comment yet.