>>11676807He's a professor who worked in a classical branch of geometry.
Apart from his normal academic life, he's also a finitist, meaning he believes there's "a biggest natural number in nature", so to speak, so he made a youtube channel to rant against formalism and, in particular, set theory. That's an ideological debate and it's what he's mostly known for online. He pulls it up in a way that doesn't allow formal engagement either, he's just against the axiomatic method. he sticks to very symbolic, dare I say graphic math.
He's also getting very old now and is doing "teach children beautiful real useful math" kind of videos.
I think he's a nice ideolog.
