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