5 ms·
This corresponds to type II computability of the reals whereas the paper, as I skimmed it, is about type I computability.
by danharaj 8y ago
This corresponds to type II computability of the reals whereas the paper, as I skimmed it, is about type I computability.