Indeed. The disagreement over abortion is, roughly, whether killing a human fetus should ever be legal. The disagreement is hard to resolve because it’s not clear which principles to apply, so that arguments pro or con…
The Church-Turing proposition carries an implicit challenge: find an algorithm to evaluate a function which is not Turing computable. Because it can be challenged in this way, it’s not just a definition (mere…
Weird that they went back to 1755 but skipped the universal Turing machine.
Indeed. The disagreement over abortion is, roughly, whether killing a human fetus should ever be legal. The disagreement is hard to resolve because it’s not clear which principles to apply, so that arguments pro or con…
The Church-Turing proposition carries an implicit challenge: find an algorithm to evaluate a function which is not Turing computable. Because it can be challenged in this way, it’s not just a definition (mere…
Weird that they went back to 1755 but skipped the universal Turing machine.