Re-Observer-Moment Measure from Universe Measure

From: George Levy <glevy.domain.name.hidden>
Date: Mon, 13 Jun 2005 15:35:51 -0700

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
Received on Mon Jun 13 2005 - 18:36:36 PDT