Hacker News new | ask | show | jobs
by pmoriarty 4177 days ago
Physicists seem very hand-wavey to mathematicians, and mathematicians seem very hand-wavey to logicians. If you want to learn what real formal rigor is like, study logic.