[supercasio]

> 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_...

[eindiran]

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_...

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_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-...