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?
I also reply that it needs to rank any pair, not every pair.