6 ms·

> The fact that you might object to considering such procedures algorithms rests on the fact that the "thesis" is providing a definition. Unfortunately, many p

> The fact that you might object to considering such procedures algorithms rests on the fact that the "thesis" is providing a definition. Unfortunately, many people don't seem to understand this. An interesting paper related to this issue is The Myth of Hypercomputation [1] Basically it is easy compute something that is uncomputable by using uncomputable inputs. [1] https://link.springer.com/chapter/10.1007/978-3-662-05642-4_8 https://link.springer.com/chapter/10.1007/978-3-662-05642-4_...

eindiran 6y ago
Thank you for the pointer to this. Searching for the paper led me to a few things. If anyone would like to read the paper mentioned in OP's post, you can find it here: https://www.researchgate.net/publication/243784599_The_Myth_of_Hypercomputation https://www.researchgate.net/publication/243784599_The_Myth_... This is a response to "The Myth of Hypercomputation" (entitled "The Myth of 'The Myth of Hypercomputation'"): http://kryten.mm.rpi.edu/PRES/TURKUHYPER/NSG_SB_MoMoH_presentation_v3.pdf http://kryten.mm.rpi.edu/PRES/TURKUHYPER/NSG_SB_MoMoH_presen... This is an interesting blog post that explains a bit about both positions, without addressing the rebuttal to Davis' paper: https://paulcockshott.wordpress.com/2018/02/13/no-mysteries-davis-and-the-myth-of-hypercomputation/ https://paulcockshott.wordpress.com/2018/02/13/no-mysteries-...