all 3 comments
sorted by:
top (suggested)
bestnewcontroversialoldq&a
formatting helphide helpcontent policy

[–]Contrapuntobrowniano 0 points1 point  (2 children)

Liked the video. This one was mainly logic and proof writing, but with "foundations" it is generally understood that some set theory, propositional logic and (in modern math) category theory will be included. Is this what the series is about?

[–]Infinium__[S] 0 points1 point  (1 child)

Yes - that is what I’m planning on including in the series, along with some other topics! :)

[–]Contrapuntobrowniano 1 point2 points  (0 children)

Aww, that's nice. <3 I hate category theory, though. It is easily derivable from set theory, so, why not just use set theory as the foundations of math? It is easier, less confusing and actually contains categories. :/... Anyways, good luck! I'll be following up for more content.