1 paper · 1 filter
Ivan O. Shevchenko, Michael Yampolsky
In his seminal paper from 1936, Alan Turing introduced the concept of non-computable real numbers and presented examples based on the algorithmically unsolvable Halting problem. We…