|
|
|
|
|
by aeneasmackenzie
2784 days ago
|
|
You can easily do so (usually not that specific representation) but there "are" more reals in the classical construction than you can represent with computations. Constructive mathematics just lets you say "No, this is all of them." |
|