On Dec 16, 6:27 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 16 Dez., 18:01, Rupert <rupertmccal...@yahoo.com> wrote: > > > > > There are plenty of uncountable languages. > > No languages that could be used for discourse. > An uncoutable language needs uncountably many characters. They cannot > be distinguished by finite sequences of bits. But the latter are > required in order to apply them, for instance here in this discussion. > > You may believe that every real number can represent a character - but > not before all these real numbers have been defined by a finite > language and not in order to define the real numbers. > > Believing, like GG, that these things are simply existing, is pure > matheology but not mathematics. > > Regards, WM
It is mathematics. Mathematics includes discourse about uncountable sets. The fact that it would not be possible for a human to use such a language is irrelevant.