[librexpr]

Cantor's work on infinity and the diagonal argument was hugely important in mathematics, paving the way for important results like Godel's incompleteness theorems, the halting problem, the creation of modern set theory which allowed unifying effectively all of known mathematics into one theory, etc.

> It's a pure naval-gazing exercise

> The response to the idea [...] should be "who cares".

If anything sets back mathematics, it's when people have this kind of attitude towards the parts of math they find unintuitive.