Hard disagree

I’ll go out on a limb and say the majority of HN users at this point do not know the context and implications of the impact of Cantor - would probably have only heard the name in the context of mathematics but no deeper

I’d go further and say the majority have not ever heard of the name Dedekind

I would assume that at least cantors technique of diagonalisation should have found its way into some CS course that I assume a good part of the audience here has studied? Considering that’s what Turing used to prove the undecidability of the halting problem.