Hacker News new | ask | show | jobs
by eterevsky 1344 days ago
Ok, I think I generally agree with your categorisation.

Personally I did study mathematical logic in the University a little bit, but it was 20 years ago and I don't think I remember much about it past what all undergraduates are taught.