Hacker News new | ask | show | jobs
by eli_gottlieb 4468 days ago
That's because your brain implements a weakly truth-preserving plausibility logic, whereas real mathematics makes use of strongly truth-preserving formal logic.