Activity
Dennis Hackethal addressed criticism #5420.
#5420·Dennis HackethalOP, 1 day agoNot 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.
Neil replies fallibility means the criterion must be able to get answers wrong or not deliver an answer at all sometimes. And if that’s the case, not any pair should be needed.