Hacker News new | ask | show | jobs
by epgui 1205 days ago
Set theory is going the way of the dodo. There are modified versions of set theory, but afaik a lot of the more exciting work is happening around type theory and proof assistants these days.
1 comments

Set theory is not going anywhere. It may be pushed to the sidelines by new developments in category theory but that is not the same as going extinct like the dodo.