Hacker News new | ask | show | jobs
by BlueTemplar 1956 days ago
Yeah, I guess that it's harder to check logical arguments not expressed in mathematics ?