Hacker News new | ask | show | jobs
by 8note 620 days ago
No, but that's irrelevant to whether humans do formal reasoning. Generally, we don't. Eg. https://m.youtube.com/watch?v=UBVV8pch1dM&pp=ygUhdGhpbmtpbmc...