Activity
Dennis Hackethal addressed criticism #5419.
#5419·Dennis HackethalOP, 1 day agoNeil Hudson says in response to the bounty:
I wonder if this objection risks making a Hilbertian mistake: assuming that an objective criterion must provide a universal decision procedure. Gödel taught us not to equate objectivity with decidability. Why should HTV need to algorithmically rank every pair of explanations to be meaningful?
Why should HTV need to algorithmically rank every pair of explanations to be meaningful?
Because, per BoI, we can’t claim to have understood a computational task if we can’t program it. The formation of rational preferences is a computational task.