News for hackers. Stuff that matters.

A comment on Cantor diagonalisation. Parent comment

Re:Cantor diagonalisation by danharaj on Friday March 10, 2017 @09:04PM (#13843732)
Countable in the external logic, but the internal logic still proves that there are uncountably many reals.
[ Parent | on HN ]

There are no comments on this comment yet.