How do you express, Fermat’s last theorem for instance, as a boolean combination of the language I gave, or as a boolean combination of programs? Boolean algebra is not strong enough to derive, or even express all of math.
edit: Let’s start simple. How do you express 1 + 1 = 2 in the language I gave, or as a boolean combination of 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.
How do you express, Fermat’s last theorem for instance, as a boolean combination of the language I gave, or as a boolean combination of programs? Boolean algebra is not strong enough to derive, or even express all of math.
edit: Let’s start simple. How do you express 1 + 1 = 2 in the language I gave, or as a boolean combination of 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.