Hacker News new | ask | show | jobs
by bo1024 3358 days ago
> he has simply stated a way to generate another member of the set of French texts which of course is part of that set and so on.

Nope, because he used the diagonalization technique to make sure the new text was not in the original set, which supposedly contained all texts.
1 comments
gerdesj 3358 days ago
I don't know what the rigorous definition of a real number is nor even what the rigorous definition of French (texts) is but I'm pretty sure it would possible to define "reals" in terms of "French texts" in such a way that all the results hold.

Funnily enough: 0,1,2,3,4,5,6,7,8,9 are French words along with . and ,

So, how do we proceed to define reals in French?

link