>>13375714Retired math Prof. who went from writing papers about Lie group (geometry) to mostly shilling 400BC - 1800th century synethetic geometry (later axiomized by Hilbert, but nobody uses those FOL theories today, formally at least) on youtube. It's pretty good content.
But he really is famous for being against formalism while pushing his own ideosyncratic finitism.
Wildberger