<div dir="auto">Excellent, as Glen would say.  My explanation for Nick assumes applied mathematicians.<br><br><div data-smartmail="gmail_signature">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 20, 2020, 10:45 AM Jon Zingale <<a href="mailto:jonzingale@gmail.com">jonzingale@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The isomorphism *isn't*, in some sense, enough. For instance, the rationals<br>
can be philosophically different than the integers. Sure we can identify<br>
them via diagonal argument, but when we want a field we don't reach for the<br>
integers. I claim that something similar is happening here and that the<br>
point of the article is missed when we jump to the isomorphism. Gisin would<br>
have just talked about the rationals if he meant the rationals, instead, he<br>
invokes Chaitin and computability on purpose. The truncation simplification<br>
obfuscates the deeper point. He is making an ontological claim about the<br>
universe and one that theoreticians of quantum theory may appreciate but<br>
applied mathematicians will not. The subjectivity of an observer is forced<br>
on us by classical logic. Here he constructs a physics over a completely<br>
different topos and what follows is not needing to make the observer<br>
interpretation. This point is significant enough to think about as being<br>
*more* than just truncation, it establishes what can be meant by randomness<br>
and the possibility that determinacy may be an illusion, even in macroscopic<br>
physics.<br>
<br>
<br>
<br>
--<br>
Sent from: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
<br>
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div>