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?
Not a mathematician but AFAIK, Hilbert basically asked if we could make a machine that answers every math question correctly. The answer to that is ‘no’. But an algorithm for rational decision-making isn’t about that.