1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Auke B. Booij
Real numbers do not admit an extensional procedure for observing discrete information, such as the first digit of its decimal expansion, because every extensional, computable map f…