Probability that there are two elephants given one on the left and one on the right.
In any case, if your language can’t express Fermat’s last theorem then of course you don’t assign a probability of 1 to it, not because you assign it a different probability, but because you don’t assign it a probability at all.
I agree. I am saying that we need not assign it a probability at all. Your solution assumes that there is a way to express “two” in the language. Also, the proposition you made is more like “one elephant and another elephant makes two elephants” not “1 + 1 = 2”.
I think we’d be better off trying to find a way to express 1 + 1 = 2 as a boolean function on programs.
Probability that there are two elephants given one on the left and one on the right.
In any case, if your language can’t express Fermat’s last theorem then of course you don’t assign a probability of 1 to it, not because you assign it a different probability, but because you don’t assign it a probability at all.
I agree. I am saying that we need not assign it a probability at all. Your solution assumes that there is a way to express “two” in the language. Also, the proposition you made is more like “one elephant and another elephant makes two elephants” not “1 + 1 = 2”.
I think we’d be better off trying to find a way to express 1 + 1 = 2 as a boolean function on programs.
This goes into the “shit LW people say” collection :-)
Upvoted for cracking me up.