News for hackers. Stuff that matters.

A comment on Verification Is Not Knowledge: Science needs more than answers. Parent comment

Re:Verification Is Not Knowledge: Science needs more than an... by bongofizzbuzz on Wednesday November 04, 2026 @11:18AM (#50367765)
Just like small numbers appear in almost all places in mathematics. Small numbers are limited. Sometimes these may appear as coincidences. Similarly small elegant explanations are limited in numbers. As mathematical universe expands, only way to explain these additional results will be to have complex explanations.
[ Parent | on HN ]
Re:Verification Is Not Knowledge: Science needs more than an... by adrianN on Wednesday November 04, 2026 @01:33PM (#50369660)
That is true in theory, in practice the space of proofs that fit in thirty pages or so is so vast that I find it unlikely that we’ll exhaust it for the foreseeable future.
[ Parent | on HN ]