Hacker News new | ask | show | jobs
by eli_gottlieb 4421 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.