Despite all the absurd polemics and parochial (and polarizing) opinions, he had a fundamental point about the nature of math. Regardless, it's funny their "discussions" were predicated on timelines of many decades. Like, about abstract future computer mathematicians.
