korrents

On the map

Tap a claim on the ring to put it at the centre.

← Because uniform experience establishes the laws of nature, the proof…

17 connected korrents · 12 moments from 8 Jun 1637 to 24 Sept 2026.

Everything filed under mathematics mathematics Everything filed under AI and science AI and science Everything filed under formal proof formal proof Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Read this korrent: Because uniform experience establishes the laws of nature, the proof against any miracle is as complete as an argument from experience can be Because uniform experience establishes thelaws of nature, the proof against anymiracle is as complete as an argument fromexperience can be DH David Hume — holds since c. 1748 — tap for who they are Same subject: No testimony suffices to establish a miracle unless its falsehood would be more miraculous than the fact it seeks to establish — tap to centre the map on it No testimony suffices to establish amiracle unless its falsehood wouldbe more miraculous than the fact itseeks to establish DH David Hume — holds since c. 1748 — tap for who they are Same subject: Knowledge of cause and effect is never reached by reasoning a priori; it comes entirely from experience of things constantly conjoined — tap to centre the map on it Knowledge of cause and effect isnever reached by reasoning a priori;it comes entirely from experience ofthings constantly conjoined DH David Hume — holds since c. 1748 — tap for who they are Same subject: All the materials of reason and knowledge come from experience — tap to centre the map on it All the materials of reason andknowledge come from experience Last stated 337 years ago 24 May 1689 JL John Locke — holds since 1689-05-24 — tap for who they are Same subject: The argument from universal consent seems rather to show there are no innate principles, since none has universal assent — tap to centre the map on it The argument from universal consentseems rather to show there are noinnate principles, since none hasuniversal assent Last stated 337 years ago 24 May 1689 JL John Locke — holds since 1689-05-24 — tap for who they are Same subject: Legitimate power is wasted if not exercised — tap to centre the map on it Legitimate power is wasted if notexercised Last stated 4 years ago 9 May 2022 DH David Heinemeier Hansson — holds since 2022-05-09 — tap for who they are Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation aredifferent things, and a theorem canstay an unsolved expository problemlong after it is proved. Last stated 3 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: Knowledge that is not immune to doubt deserves no confidence and cannot count as certainty — tap to centre the map on it Knowledge that is not immune todoubt deserves no confidence andcannot count as certainty AL Al-Ghazali — holds since c. 1106–1111 — tap for who they are Same subject: Nothing should be accepted as true unless it is known so clearly and distinctly that no ground for doubt remains — tap to centre the map on it Nothing should be accepted as trueunless it is known so clearly anddistinctly that no ground for doubtremains Last stated 389 years ago 8 Jun 1637 RD René Descartes — holds since 1637-06-08 — tap for who they are Same subject: A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. — tap to centre the map on it A persistently rising dividend yieldeventually forces capitalappreciation as the market reratesthe stock. Last stated 7 months ago 3 Mar 2026 SB Sanjay Bakshi — holds since 2026-03-03 — tap for who they are Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers withany error rate at all becomesinsufferable, because finding theerror costs more than the paper isworth even at ninety-nine percent. Last stated 3 months ago 30 Jun 2026 GS Grant Sanderson — holds since 2026-06-30 — tap for who they are Same subject: A tossed coin is more likely to land on the same face it started on than on the opposite face. — tap to centre the map on it A tossed coin is more likely to landon the same face it started on thanon the opposite face. Last stated a week ago 24 Sept 2026 TH Tim Harford — holds since 2026-09-24 — tap for who they are Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is notby itself a reason to expect it todo better in the clinic. Last stated 2 years ago 13 May 2024 DL Derek Lowe — holds since 2024-05-13 — tap for who they are Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platformdoes not make a biotech fast,because the thousand other steps ofdrug development are still thebottleneck. Last stated 2 years ago 17 Sept 2024 AT Alex Telford — holds since 2024-09-17 — tap for who they are Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularlypredict protein structures withatomic accuracy even when no similarstructure is known. Last stated 5 years ago 15 Jul 2021 DH Demis Hassabis — holds since 2021-07-15 — tap for who they are Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples;a proof settles an infinite statespace, which is why formal methodscan say things testing never can. Last stated 5 months ago 22 Apr 2026 MK Martin Kleppmann — holds since 2026-04-22 — tap for who they are Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods morepopular without making themmainstream, moving them from about atenth of a per cent of engineers tothree tenths. Last stated 2 months ago 29 Jul 2026 HW Hillel Wayne — holds since 2026-07-29 — tap for who they are Same subject: AI will increasingly produce mathematical proofs, just as it already writes most code. — tap to centre the map on it AI will increasingly producemathematical proofs, just as italready writes most code. Last stated 3 weeks ago 11 Sept 2026 DL Daniel Lemire — holds since 2026-09-11 — tap for who they are
same subject or similar wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 1637 to today (stretched back to the oldest claim here) — full is todaya face: someone who holds the claim — tap it for who they are

At the centre Because uniform experience establishes the laws of nature, the proof against any miracle is as complete as an argument from experience can be Last stated c. 1748 Holds David Hume Read this korrent →