> Stephen: Should we not expect Platonia to be Complete? I'd like to think that it should not be (by Godel?); or that it is not completely self-computable in finite meta-time. Or some such. But that's more of a faith than a theory.
Jonathan Colvin > >>Brent: I doubt that the concept of "logically possible" has any > >> absolute meaning. It is relative to which axioms and > >> predicates are assumed. > > > > That's rather the million-dollar question, isn't it? But isn't the > > multiverse limited in what axioms or predicates can be assumed? For > > instance, can't we assume that in no universe in Platonia > can (P AND ~P) > > be > > an axiom or predicate? > > > >>Not long ago the quantum weirdness > >> of Bell's theorem, or special relativity would have been > >> declared "logically impossible". > > > > That declaration would simply have been mistaken. > > > > Is it logically possible > >> that Hamlet doesn't kill Polonius? > > > > Certainly. I'm sure there are people named "Hamlet" who > have not killed a > > person named "Polonius". > > > >> Is it logically possible > >> that a surface be both red and green? > > > > If you are asking whether it is logically possibly that a > surface that can > > reflect *only* light at a wavelength of 680 nm can reflect > a wavelength of > > 510 nm, the answer would seem to be "no". > > > > Jonathan Colvin > > > > > >