preprint · 2015
Searching through the reals
It is a commonplace to say that `one can search through the natural numbers', by which is meant the following: For a property, decidable in finite time and w...
0 citationsDOI: https://doi.org/10.48550/arxiv.1502.03615Open accessPDF reported by metadataFull text reported by metadata