News for hackers. Stuff that matters.

A comment on All you need is λ, part one: booleans. Parent comment

Re:All you need is λ, part one: booleans by supercasio on Saturday September 26, 2020 @09:58PM (#24603596)
> 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_...

[ Parent | on HN ]
Re:All you need is λ, part one: booleans by eindiran on Sunday September 27, 2020 @03:10AM (#24604839)
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-...

[ Parent | on HN ]