<div dir="ltr">Matrices that have no inverse are called "singular".  Would that word work in this context?<div><br></div><div>The treatment of fibers, bundles, connections, etc. that I am familiar with is in Baez's book Gauge Theory, Knots and Gravity.  </div><div><br></div><div>Frank</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 20, 2020 at 9:40 AM uǝlƃ ☣ <<a href="mailto:gepropella@gmail.com">gepropella@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On 5/19/20 4:55 PM, Jon Zingale wrote:<br>
> Doing so could be one meaningful way to interpret /tracing a thought/.<br>
<br>
Yes. While I don't fully grok the expansions from fibers to bundles/sheaf, what it evokes in my head seems coherent.<br>
<br>
> With regards to the discussion about our holographic surface, I could use more<br>
> clarification on the lossy/lossless property. I assume we agree that sorting is<br>
> not dual to shuffling. For instance, defining the type of a shuffling algorithm<br>
> does not require Ord <<a href="http://zvon.org/other/haskell/Outputprelude/Ord_c.html" rel="noreferrer" target="_blank">http://zvon.org/other/haskell/Outputprelude/Ord_c.html</a>> to be a class constraint, where it /is/ required for sorting.<br>
<br>
I think whether shuffle is yet another ordering depends on what we mean by "random". But I don't want to devolve into metaphysical conversations about free will and whatnot. So, if we assume shuffle is ordered, just ordered mysteriously, then we can talk about loss sans metaphysics.<br>
<br>
> If we are claiming that the information found on our holographic surface is<br>
> complete, I would like to think we are claiming it to be lossless‡. At the end<br>
> of the day, it may be the case that we will never know the ontological status of<br>
> information reversibility through a black hole. Am I wrong about this? If our<br>
> holographic surface isn't reversible, is hashing perhaps a better analogy?<br>
<br>
To do complete justice to the steelman of the EricC/Nick claim, I think we do have to assert no loss. And invertibility of the transform(s) is the right way to think. But I *also* think, if we tried hard enough, we could get EricC/Nick to admit to some loss with the caveat that what's lost in that lossy transform is *irrelevant* somehow (EricC's use of "invalid" and yammerings about Wittgenstein >8^D). And since my point isn't to inadvertently create a *strawman* of their claim by making the steelman too ... well, steely, I'd like to allow for a lossy transform as well as a lossless transform. And, by extension, I'd like to allow both invertible and uninvertible transforms.<br>
<br>
That may well be important if the steelman turns out to be nothing *more* than metaphor. If all I'm doing is laying out a metaphor for privacy, then I'll lose interest pretty quick because what I'm *trying* to do is classify privacy. I want string comprehension to be in the same class as behaviorism. I don't want to draw super-flawed analogies between them.<br>
<br>
But the distinction ([non]invertibility) might very well help evaluate the believability of the steelman.<br>
<br>
> If in the limit of behavioral investigation we find no more semantic ambiguity than<br>
> the semantic ambiguities we experience when attempting to understand an others<br>
> language, [...]<br>
<br>
I don't think it is. I think there is a no-go lurking that is associated by EricS's recent mention of the student laughing because the insight was "at his elbow". And it's (somehow) associated with Necker cubes, paradigm shifts, and even a "loss of innocence" you see in people who've become cynical, the difference between work and play, "flow", etc. It's related (somehow) to the opportunity costs of using decoder X instead of decoder Y. As SteveS pointed out, one's participation in the landscape *changes* the landscape.<br>
<br>
This is fundamental to the steelman we're building. It's not merely epiphenomenal. By decoding the surface of the ... [ahem] ... "patient", you are *manipulating* the patient. You can see this directly in your worry about [ab]using Frank as our privacy touchstone.<br>
<br>
I wanted to set the stage for this in the formulation of 1st order privacy (by obscurity) by laying out the thing to decode side-by-side with the decoder, evoking a UTM where the tape contains both the computation and the description of the machine that can do the computation ... but I thought that would interfere with my main targets EricC and Nick. If they reject the steelman, then this becomes a tangent project of numbers, groups, and codes ... which is cool, but not what I intended [†].<br>
<br>
[†] I'd love to sit in on a read of Gentry's paper, though it'd all be over my head.<br>
<br>
<br>
-- <br>
☣ uǝlƃ<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" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/FRIAM-COMIC" rel="noreferrer" target="_blank">http://friam.471366.n2.nabble.com/<br>
FRIAM-COMIC</a> <a href="http://friam-comic.blogspot.com/" rel="noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">Frank Wimberly<br>140 Calle Ojo Feliz<br>Santa Fe, NM 87505<br>505 670-9918</div>