Re:Category Theory ∩ Machine Learning
by epgui on Tuesday March 07, 2023 @07:26PM
(#35063488)
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.
[ Parent
| on HN ]
Re:Category Theory ∩ Machine Learning
by johnbernier on Wednesday March 08, 2023 @03:24PM
(#35074264)
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.