|
|
|
|
|
|
by lanstin
1256 days ago
|
|
|
I wouldn't call computable reals the reals. They are a subset of measure zero. Perhaps all we sentient beings can aspire to use, but still short of the glory of the completed infinities that even one arbitrary real represents. One half : ) |
|
|