So a math proof is evidence that mathematicians aren’t human? You might want to back off from that statement. Humans don’t always think logically.
It was an analogy—prior beliefs in either informal reasoning or Bayesian probabilities are like axioms in that they’re input to a procedure to determine conclusions. The analogy doesn’t have to be instantiated precisely in humans to have a reasonable sense extractable.
So a math proof is evidence that mathematicians aren’t human? You might want to back off from that statement. Humans don’t always think logically.
It was an analogy—prior beliefs in either informal reasoning or Bayesian probabilities are like axioms in that they’re input to a procedure to determine conclusions. The analogy doesn’t have to be instantiated precisely in humans to have a reasonable sense extractable.