Bruno Marchal wrote:

Godel's theorem:
                                                ~Bf -> ~B(~Bf),

which is equivalent to B(Bf -> f) -> Bf,

Just a little aside a la Descartes + Godel: (assume that "think" and "believe" are synonymous and that f = "you are")

B(Bf -> f) -> Bf can be rendered as:
If you believe that "if you think that you are therefore you are", then you think you are.

That's what Descartes thought!

:-)    George

Reply via email to