[Fis] It-from-Bit and information interpretation of QM

[Koichiro Matsuno]

At 4:00 AM 06/27/2015, John Collier wrote:

 

I also see no reason that Bateson’s difference that makes a difference needs to involve meaning at either end.

 

[KM] Right.  The phrase saying “a difference that makes a difference” must be a prototypical example of second-order logic in that the difference appearing both in the subject and predicate can accept quantification. Most statements framed in second-order logic  are not decidable. In order to make them decidable or meaningful, some qualifier must definitely be needed. A popular example of such a qualifier is a subjective observer. However, the point is that the subjective observer is not limited to Alice or Bob in the QBist parlance. 

 

   Koichiro

 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listas.unizar.es/pipermail/fis/attachments/20150627/d95ea05e/attachment.html>