News for hackers. Stuff that matters.
Re:Cantor diagonalisation by btilly on Saturday March 11, 2017 @11:35AM (#13845976)
As it happens, I don't.

That said I'm quite able to quote and do mathematics that depends on axioms that I do not accept. I can be quite the formalist when it is convenient. But I privately think of it as formal bullshit. And don't like seeing people who haven't accepted it beaten over the head until they do.

There are no comments on this comment yet.