On 11 Jan 2014, at 23:11, meekerdb wrote:

## Advertising

On 1/10/2014 11:43 PM, Bruno Marchal wrote:But what is the measure of "relative persistence"?It is the measure almost defined by the material hypostases (inS4Grz1, Z1* and X1*). It defines the comp physical laws.How do those different logics define a measure over possible physics?

By defining a proximity space on computation or sigma_sentences proof.

`Technically this use a representation theorem of quantum logic (due to`

`Goldblatt), which defines such measure, in term of a modal logic`

`(known as B), with main axioms Bp -> p, and p -> BDp. The logics above`

`prove those two theorem (and disprove BDp -> p, avoiding the collapse`

`into classical logic), and heve the exact properties such that the`

`translation of p into BDp acts as a quantization, close enough to`

`simulate a quantum computer, except from still unsolved problem.`

`Von Neumann defined a quantum logic to be "right", if it determines`

`all probabilities (not just the case of certainties). He failed to`

`find it, but if comp is correct, and if the classical notion of`

`knowledge is accepted, then the representation theorem shows how to`

`lift a Gleason like measure unicity proof from them, and so the`

`arithmetical quantum logic should be of the type of Von Neumann, ...`

`or comp and classical theory of knowledge are false.`

`One day, I will list (at least) the representation theorems making the`

`hypostases and quantization possible (and necessary).`

Bruno

BrentIf they don't exist, comp has to be false, or we are in asimulation, or the S4 theory of knowledge should be amended.--You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.