Hacker News new | ask | show | jobs
by dmurray 151 days ago
I agree with this reasoning. I think this is more than intuition, it's pretty much a formal proof.
1 comments
xamidi 140 days ago
It's based on natural language in contrast to formal language, thus it is at best a social proof [1].

[1] https://mathweb.ucsd.edu/%7Esbuss/ResearchWeb/handbookI/Chap...

link