Am Dienstag, 10. Dezember 2013 14:01:30 UTC+1 schrieb wpih...@gmail.com:
> Then you know that for a constructivist there is no list of > > all real numbers.
Here we need a list of all rational numbers only. This list can be diagonalized. The first few digits of the antidiagonal cannot prove that the antidiagonal differs from all rational numbers of the list. Nobody has ever seen the following infintely many rationals. We can only prove mathematically that they are there and infinitey many of them are identical with the antidiagonal for all digits such that it is impossible to distinguish the antidiagonal from all of them.