Hacker News new | ask | show | jobs
by whatshisface 1293 days ago
I don't think you can say that classical logic won over intuitionistic logic when the former is thousands of years older and the latter is a growing area of research interest.