[Sadhu Sanga] Re: Continued thread on foundations of mathematics

Bruno, 

I've read into step 5 (again) in your SANE04  paper. 

(*) B. Marchal. The Origin of Physical Laws and Sensations. In 4th International System Administration and 

Network Engineering Conference, SANE 2004, Amsterdam, 2004.

http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html (sane04)

But I have a question in sub-hypothesis (3) of your initial assumptions...

"Definition:  Classical Digital mechanism, or Classical Computationalism, or just comp, is the conjunction of the following three sub-hypotheses:

(1) yes doctor..

(2) Church thesis...

3)      Arithmetical Realism (AR). This is the assumption that arithmetical proposition, like “1+1=2,” or Goldbach conjecture, or the inexistence of a bigger prime, or the statement that some digital machine will stop, or any Boolean formula bearing on numbers, are true independently of me, you, humanity, the physical universe (if that exists), etc. It is a version of Platonism limited at least to arithmetical truth. It should not be confused with the much stronger Pythagorean form of AR, AR+, which asserts that only natural numbers exist together with their nameable relations: all the rest being derivative from those relations."

What I question or wonder about is where you say, "(...stuff bearing on numbers... is true) --- independently of me, you, humanity, the physical universe...".  

Does "independently" have a special ~philosophical meaning?   I mean, I sort of get that it appears you are assuming arithmetical widgets are like in a separate category, and even though I may have my own unfamiliarity with the notion,  when I consider the "independently..." I envision a rather strong boundary or separation. Thus, where you (later or in other posts) make references to your Arithmetical Realism having or imbued with human traits and features such as: 1pp, 3pp, dreaming, knowing...  to me  it appears that you are blurring or violating your own stated initial conditions.

Is it that you find patterns in Arithmetical Realisms in number relations, and then later or invisibly in your logic rules, you fabricate analogies or "likenesses" where you apply/associate the ~human features and traits as being signaled by the various number patterns?   

And, if so, how is that not violating the "independently..." constraint?

Can you please clarify and explain?

Secondly,  your various guided visualizations on "teleportation" in the steps I've read so far, remind me of the "old days" a few decades ago before and during the "Reagan years" of "remote/distance viewing experiences" I used to have/imagine, usually under certain chemical/intentional conditions.  Quite fanciful and, I suppose, somewhat psychotic had I taken them more seriously.  Certainly, unverified/unverifiable (except perhaps possibly only in one case) and wildly 1pp subjective ~out of control and multiple-perspective -- which might be akin to your "copying" operation prior to teleporting, but maintaining a ~link, somewhat to each.    In that experience/imagination scenario, initially the ~mechanism/pathway was in part via TV/radio/microwave/satellite/air traffic control  communications channels, and, seemed quite important "to folks" I ~observed in co-linked control/monitoring rooms...   All, quite imaginative.   After a while,  in part since I couldn't figure out how to collect any back pay for services rendered, I got therapy for some underlying emotional tensions, became a bit more productive and retired from the "service" - turned away from that activity.  The guided imagery of your teleportation steps, though, seems quite familiar or along similar lines, except for   being less along the typical "wires and waves through walls" ~schizophrenic ideation.   

With that backstory, though,   perhaps that 'conditioning explains' some of my difficulty in following along with your proposed  arithmetical substitution storyline/metaphor.  ...Although, you may be aiming in some different direction.     In my storyline,  there doesn't appear to be any need for the digital comp or substitution level for the ~mental/~self translocation since that can just go "via the electromagnetic/analog resonance" somewhat by one's will.  Apparently, real yogiis or mystics can already do such  transitions, and have been able to do so for a long time.

But, like I say,  you may be aiming in some different direction -- memory/~self storage  and/or creating a comp control tech for charging a fee for mystic transactions as a service (MTAAS). Yes?

Thirdly, old business -- thanks for the mention of 'the mathematics of self-reference' which led me to http://www.science4all.org/article/self-reference/   and https://mathwithbaddrawings.com/2016/02/10/faqs-about-self-reference/ and some introductory logic material.

From within my NSD perspective, though, I found myself noticing that logic is some kind of an instance of nested structured~duality  where the structure is perhaps ~linear or ~list-like (something equals something else...) and the duality is true-false.   Then, when reading about contradictions (inconsistency; both true and false) my hunch is contradictions mark branches to another (NSD) nesting level. I suppose that is a hunch.

I also notice that situations like "This sentence is false" are places where the user doubles down on the basic (true-false) duality of the NSD system in use and that, apparently, creates anomalies. Again, I would say this would be because ~reality is NSD whereas the user is not cognizant of that fundamental fact and/or ignores or denies the fundamental nested structured~duality.  Then, his or her error makes itself known in strange but noticeable ways.

I did notice, though, that when I say ""instance of nested structured~duality"  I guess I am or could be referring  a "set".  Also, when I observe your  or logic's successor notation for the numbers:  0,s(0),s(s(0)),s(s(s(0)))... each of  those certainly are spitting images of an NSD, so I'd say sets of numbers are also sets of NSD's.  Numbers are NSD's.

Vaguely, having previously read a tiny bit on Von Neumann's axiom of foundation using an ordered succession of steps to exclude possibility of a set belonging to itself,  and seeing his term: "method of inner models",  I suspect there  may be some cross connections or bleedthrough ~there (too).  He was "structuring structure", adding an additional level of order -- adding or acknowledging or relying upon the underlying nested structure.

Secondly,  FWIW,  your comment way, way below about the folks in Heaven, not us aerobic creatures here on Earth, was helpful  in me trying to grasp your digital mechanism substitution/arithmetic storyline.   I may be more or a shimmering energy field/pattern advocate than a numbers fan, but the distinction and mention is helpful. 

No doubt I will still persist in my sp^3 hybridized patterns, though, since I think the visualization of the "one" specific and existant, ubiquitous  pattern of structural coding is also helpful to consider. 

Also, in your modeling I am wondering if there is one mechanism or many?   Also, is delivering physical intuition an alternate measure or demonstration of effectiveness of a model or theory -- alternate to, say, formal expression or Popper-like falsifiability -- particularly for models supporting both ~physical and ~mental artifacts and attributes?

Best regards,

Ralph