I watched a couple of videos of his "Foundations of Maths A" series and wasn't very impressed (even with my limited undergraduate knowledge). For instance his arguments in his videos about set theoretic constructions aren't very rigorous or convincing. It's like he missed all the developments in category theory, type theory and logic w.r.t. those topics.
Then I watched a couple of his more advanced videos and (from my limited watching) saw that he seems not so crazy after all. It's just that he seems to like natural numbers and finite constructions a lot, although I didn't really fact check that much. Infinite and more abstract structures _abound_ (it's in their nature :P) in mathematics obviously and can be encoded symbolically just fine.
Seems fine by me, finite structures are very important as well and you can make reasoning about them very rigorous. It's just, maybe he shouldn't be teaching about all those other kinds of topics...
Then I watched a couple of his more advanced videos and (from my limited watching) saw that he seems not so crazy after all. It's just that he seems to like natural numbers and finite constructions a lot, although I didn't really fact check that much. Infinite and more abstract structures _abound_ (it's in their nature :P) in mathematics obviously and can be encoded symbolically just fine.
Seems fine by me, finite structures are very important as well and you can make reasoning about them very rigorous. It's just, maybe he shouldn't be teaching about all those other kinds of topics...