Monday, October 20, 2014

Topos Update I

Topos Update I

Andre Willers
20 Oct 2014

Synopsis :
Non-Aristotelian logical systems .

For Ermeine on request .


“Physics from Fisher information” by B.R.Frieden  ISBN 052163167X  : see in general , or search for “mining the Oort” ,

Topos is simply a new name for non-Aristotelian logical systems .
Gauss saw it , but did not publish , deeming it too controversial . (He hated controversy.)
Russell and Whitehead proved that A and not-A is less than the Universum .
Godel’s work was a consequence of this .

Discussion :

Classes of Reality . Prediction and postdiction.

How to get macroscale effects from quantum fluctuations

Origin of vacuum energy

Non-Aristotelian systems using Aristotelian concepts of delineation:mathematical vacuums .

Define an integer (hard work!)

Extremes of likelihood existence

How to go places without bothering with all those tiresome bits in between .

You’ll need the peripatetic salesman if you don’t want to get lost .

And a willing computer for the heavy lifting .

Using extremes of likelihood . Create your own pocket universe if you are smart enough .

How to get smarter .

What does it mean?
If you say that something exists (say A) , it means it must be defineable in some way , separate . In other words , the person talking about A plays a role , he defines it  . Even using a symbol like A makes it separate .

But there is then always something left over . The indefinables . In other words , A and not-A is not the Universum .

This has been rigorously proved . It is obvious from the above .

True is defined as existing . Existence is defined as defineable . Something that is not defineable then is true and not-true . The essence of quantum systems .

If you have read and understood what I wrote before , you know more about these systems than the Topos authors .

Unless a Wright-proof (ie an undeniable physical gadget ) results , these theories become froth on the gales of history .

In any case , this little lot should keep you busy .


Topos is a typical publish or perish phenomenon . Dress up old , known things in a new guise . Some quotes from the Topos paper :
“Intuistionic logic”  : what does not fit , gets swept under the carpet . They should get a fuzzy logic Roomba .
“Heyting algebra”  : fuzzy logic , as used by your fridge or microwave , but a neat term .
“Sets” is used in the argument : sets? Sets are a number of similar identifiable items ,  these being identified and counted by the hypothetical observer . This directly contradicts the basic assumption of Topos .
Notice how classical set theory warps if you add the hidden assumption of somebody doing the defining and counting .

Topos is not a very good attempt . Frieden did better .

Trying to define the indefinable

No comments: