<div dir="ltr">Dear Bruno, <div><br></div><div>In the Vedic Religion - still practiced today - there are many names that can invoke God, <div>or different Aspects of Him/Her associated with different Functions of the Divine. </div><div><br></div><div>In India, I constantly (almost weekly) meet people who can attest to that in different ways, </div><div>and tell me stories indicating that they live in almost constant contact with the 'Divine Principle'. </div><div>They seem to be constantly showered by Grace. </div><div><br></div><div>It is not an overtly 'mechanical process' - but it does seem to obey definite laws. </div></div><div>It requires acknowledging to keep that Grace flowing. </div><div><br></div><div>All best wishes, </div><div><br></div><div>Alex </div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 10 March 2018 at 00:16, Bruno Marchal <span dir="ltr"><<a href="mailto:marchal@ulb.ac.be" target="_blank">marchal@ulb.ac.be</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Plamen, Loet, Pedro,<div><br></div><div><br><div><blockquote type="cite"><div>On 2 Mar 2018, at 10:36, Dr. Plamen L. Simeonov <<a href="mailto:plamen.l.simeonov@gmail.com" target="_blank">plamen.l.simeonov@gmail.com</a>> wrote:</div><br class="m_173443437845849644Apple-interchange-newline"><div><div dir="ltr">I know him: his name is God, the meta-observer + meta-actor at the same time.<div>Correct, Bruno?</div></div></div></blockquote><div><br></div><div>God has no name that can be invoked … in the antic greek scientific approach of theology. So it is only a subject of inquiry and never an answer. The God of plato was arguably the notion of truth, with the understanding that it transcend us, or is “beyond” us, or bigger than us. But then who are “us”? </div><div>The use of “God” was as a form of pointer to the question of what is real, with the doubt about the natural criterion: what we see is what is real, that Aristotle will yet come back on, and which please our sense and intuition.</div><div><br></div><div>Now, if we start from some theological assumption like Mechanism (the believe that we can survive some digital transformation), then, the constraints of digitalness are enough big and counterintuitive to be able to refute Aristotle theology (where God is the physical reality) and to force the rationalist to envisage a coming back of the God of the Pythagoreans: the Numbers, or the arithmetical reality.</div><div><br></div><div>Indeed, it is a proven fact that the elementary arithmetic reality emulates (executes, run, …, in the precise mathematical sense of Church, Turing, Kleene, …) *all* computations, and it is a fact that a universal machine cannot distinguish by introspection if it is run by an arithmetical relation or any Turing universal machinery. It is also a fact that such computations are implemented in arithmetic in a highly distributed way, and that observation provides information coming from a self-localization in an infinite distribution, and highly structured, complex net of computations. The structure is imposed by the mathematics of computability versus provability versus knowability versus observability, all modes of the universal machine ability to refers to itself.</div><div><br></div><div>So when Pedro asks “The impending agenda is on something general universal as an object, and yet concrete particular enough in process. The richness resides within the concreteness down to the bottom.”, I would suggest the concept of universal machine, or universal word, number, digital program, etc. It is something very general, and admitting many very particular instances, yet all mimicking each other in arithmetic. But this leads to the reversal between physics and number’s psychology/theology. We are distributed in infinitely many computations, making any attempt to predict anything into a statistics on all computations, again structured by the universal machine ability to refer to itself. That makes mechanism testable, and indeed, this leads to quantum logic for the logic of the observable of (any) universal machine/number. Yet, that means that there is no physical bottom, or that the physical bottom is not really a bottom, but a statistical sum on infinities of computations, something rather confirmed by quantum mechanics or quantum filed theory.</div><div><br></div><div>And that put even constraints on what “God” can be. Unlike a common idea about God, there will be a trade-off between science and potence. Quasi-omniscience leads to quasi-impotence, and the price of potence (ability to act on the reality) leads to loss of science: it looks we cannot have both at once. The finite creature, being participating to the building of the realities, can act by lacking knowledge, and can awaken in the infinite by loosing acting powers.</div><div><br></div><div>If Mechanism is true, from inside, the arithmetical truth is made equivalent (yet in a necessarily non provable way) with the semi-computable universality, and god is the universal subject associated with the universal machine. It is a not a creator, more like a terrible child, and rarely if ever satisfied despite the range of its distribution.</div><div><br></div><div>The “correct” machine avoids the contradictory blasphemy by adding an interrogation mark for the propositions corresponding to their true but unjustifiable, and the logic of Gödel-Löb-Solovay, accessible to the machine itself provided a very small amount of inductive abilities, provides the way to handle them with the needed caution.</div><div><br></div><div>On the propositions which are semi-computable truth and proof meets and join: p <-> []p, but only at the truth level: G* proves []p -> p, but G does not even for p restricted at sigma_1 (semi-computable). Note that G, for p restricted to sigma_1 proves p -> []p, which is what makes the machines Löbian. It directly implies a form of self-referential awareness ([]p is itself sigma_1 so this implies []p -> [][]p).</div><div><br></div><div>A nice recreative introduction to the key tool here, the modal G, is given by Smullyan’s book “Forever Undecided”. It makes it look like a fairy tale, because the K4 reasoner needs to visit a very special Knight-Knaves Island, but that is the case for all self-referential relatively finite entities by Gödel Diagonal Lemma (or by Kleene’s second recursion theorem).</div><div><br></div><div>With the number there are two sort of information: the usual gossip (Did you know that all odd square are sum of 1 with 8 triangular numbers! Oh!), and the hard kick back of the infinitely many universal computations which makes them sharing stable and long stories/dreams, which most of the time are beyond words. They are captured by the “variants à-la Theaetetus” of Gödel’s provability/believability predicate of the (arithmetically sound and universal) machine.</div><div><br></div><div>God observes, maybe, silently. We still have to do the work, if and when we return in the Village ...</div><div><br></div><div>Hope this helps. I feel like people miss the universal person, which is the one making sense of (any possible) truth, behind the universal (Turing) machine. Not an answer, but an incredible unknown getting quickly many names and rising some mess already in Pythagorus Heaven!</div><div><br></div><div>A universal number transforms a number into an history, but below our substitution level, they are *all* participating in some sort of competitions, not so different from Feynman-Everett formulation of Quantum Mechanics, as it should and should be continued to be scrutinised. Mechanism in philosophy of mind is incompatible with mechanism in philosophy of matter, or for consciousness, and still less about truth/god. Mechanism is a vaccine against reductionism, as its shows the machine’s first person ([]p & p) can defeat all the third person theories attempting to identify them. The soul of the machine knows that she is not a machine!</div><div><br></div><div>Bruno</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><br><blockquote type="cite"><div dir="ltr"><div><br></div><div>best,</div><div><br></div><div>Plamen</div><div><br></div><div class="gmail_extra"><br clear="all"><div><div class="m_173443437845849644gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr"><div><div>______________________________<wbr>______________________________</div></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
<br><div class="gmail_quote">On Fri, Mar 2, 2018 at 8:53 AM, Loet Leydesdorff <span dir="ltr"><<a href="mailto:loet@leydesdorff.net" target="_blank">loet@leydesdorff.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Dear Pedro, Koichiro, and colleagues,</div><div><br></div><div>At the level of observers, indeed, a hierarchy may be involved for the change of focus (although this is empirical and not necessarily the case). The communication, however, as a system different from the communicators may contain mechanisms such as "translation" which make it possible to redirect. </div><div><br></div><div>Best,</div><div>Loet</div>
<div><br></div><div id="m_173443437845849644m_-7369849874048024422signature_old"><div id="m_173443437845849644m_-7369849874048024422xdd040692738d4e9"><div id="m_173443437845849644m_-7369849874048024422x337b22579712426abf55c20f258d0a74">
<div class="MsoNormal" align="center" style="text-align:center"><span style="font-size:10.0pt;color:#1f497d">
<hr size="3" width="100%" align="center">
</span></div><p class="MsoNormal"><span style="font-size:10.0pt;color:#1f497d">Loet
Leydesdorff <u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:10.0pt;color:#1f497d">Professor emeritus,
University of Amsterdam<br>
Amsterdam School of Communication Research (ASCoR)<u></u><u></u></span></p><p class="MsoNormal"><span style="color:#44546a"><a href="mailto:loet@leydesdorff.net" title="mailto:loet@leydesdorff.net" target="_blank"><span style="font-size:10.0pt">loet@leydesdorff.net </span></a></span><span style="font-size:10.0pt;color:#1f497d">; </span><span style="color:#44546a"><a href="http://www.leydesdorff.net/" title="http://www.leydesdorff.net/" target="_blank"><span style="font-size:10.0pt">http://www.leydesdorff.net/</span></a></span><span style="font-size:10.0pt;color:#1f497d"> <br>
</span><span style="font-size:9pt">Associate Faculty, </span><span style="color:#44546a"><a href="http://www.sussex.ac.uk/spru/" target="_blank"><span style="font-size:9.0pt">SPRU, </span></a></span><span style="font-size:9pt">University of Sussex; <u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:9pt">Guest Professor </span><span style="color:#44546a"><a href="http://www.zju.edu.cn/english/" target="_blank"><span style="font-size:9.0pt">Zhejiang Univ.</span></a></span><span style="font-size:9pt">, Hangzhou; Visiting Professor, </span><span style="color:#44546a"><a href="http://www.istic.ac.cn/Eng/brief_en.html" target="_blank"><span style="font-size:9.0pt">ISTIC, </span></a></span><span style="font-size:9pt">Beijing;<u></u><u></u></span></p><p class="MsoNormal"><span style="font-size:9pt">Visiting Fellow, </span><span style="color:#44546a"><a href="http://www.bbk.ac.uk/" target="_blank"><span style="font-size:9.0pt">Birkbeck</span></a></span><span style="font-size:9pt">,
University of London; <u></u><u></u></span></p>
<span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#44546a"><span style="font-size:9.0pt"><a href="http://scholar.google.com/citations?user=ych9gNYAAAAJ&hl=en" target="_blank">http://scholar.google.com/cita<wbr>tions?user=ych9gNYAAAAJ&hl=en</a></span></span></div><div id="m_173443437845849644m_-7369849874048024422x337b22579712426abf55c20f258d0a74"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#44546a"><br></span></div></div></div><div><div class="m_173443437845849644h5"><div><br></div>
<div>------ Original Message ------</div>
<div>From: "Koichiro Matsuno" <<a href="mailto:CXQ02365@nifty.com" target="_blank">CXQ02365@nifty.com</a>></div>
<div>To: <a href="mailto:fis@listas.unizar.es" target="_blank">fis@listas.unizar.es</a></div>
<div>Sent: 3/2/2018 6:41:12 AM</div>
<div>Subject: Re: [Fis] Meta-observer?</div><div><br></div>
<div id="m_173443437845849644m_-7369849874048024422x6fac707c907e4b1"><blockquote cite="http://000001d3b1e9$13069090$3913b1b0$@nifty.com/" type="cite" class="m_173443437845849644m_-7369849874048024422cite2">
<div class="m_173443437845849644m_-7369849874048024422WordSection1"><span class=""><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d">On 28 Feb 2018 at 10:34 PM, PedroClemente Marijuan Fernadez wrote:<u></u><u></u></span></p><p><span lang="EN-US">A sort of "attention" capable of fast and furious displacements of the focus... helas, this means a meta-observer or an observer-in-command.<u></u><u></u></span></p></span><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"> Pedro, it is of course one thing to conceive of a hierarchy of observers for our own sake, but quite another to figure out what the concrete participants such as molecules are doing out there. They are doing what would seem appropriate for them to do without minding what we are observing. At issue must be how something looking like a chain of command could happen to emerge without presuming such a chain in the beginning. Prerequisite to its emergence would be the well-being of each participant taken care of locally, as a replenishable inevitable. That is an issue of the origins of life. The impending agenda is on something general universal as an object, and yet concrete particular enough in process. The richness resides within the concreteness down to the bottom. <u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"> Apropos, the communications among the local participants differ from computation despite the seemingly concrete outlook of the latter. Computation upon the notion of time as the linear sequence of the now points is not available to the local participants because of the lack of the physical means for guaranteeing the sharing of the same now-point among themselves.<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"> Koichiro Matsuno<u></u><u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"><u></u> <u></u></span></p><p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#1f497d"><u></u> <u></u></span></p></div></blockquote></div>
</div></div></div><span class=""><br>______________________________<wbr>_________________<br>
Fis mailing list<br>
<a href="mailto:Fis@listas.unizar.es" target="_blank">Fis@listas.unizar.es</a><br>
<a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-bi<wbr>n/mailman/listinfo/fis</a><br>
<br></span></blockquote></div><br></div></div><span class="">
______________________________<wbr>_________________<br>Fis mailing list<br><a href="mailto:Fis@listas.unizar.es" target="_blank">Fis@listas.unizar.es</a><br><a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" target="_blank">http://listas.unizar.es/cgi-<wbr>bin/mailman/listinfo/fis</a><br></span></blockquote></div><br></div></div><br>______________________________<wbr>_________________<br>
Fis mailing list<br>
<a href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a><br>
<a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-<wbr>bin/mailman/listinfo/fis</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Alex Hankey M.A. (Cantab.) PhD</span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"> (M.I.T.)<br>Distinguished Professor of Yoga and Physical Science,<br>
SVYASA, Eknath Bhavan, 19 Gavipuram Circle<br>
Bangalore 560019, Karnataka, India <br>Mobile (Intn'l): +44 7710 534195 </span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"></span><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Mobile (India) +91 900 800 8789</span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div style="font-size:12.8px">____________________________________________________________</div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><br></span></div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><a href="http://www.sciencedirect.com/science/journal/00796107/119/3" style="color:rgb(17,85,204)" target="_blank">2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy</a></span></div></span></div></div></div></div>
</div>