<div dir="auto"><div>See</div><div dir="auto"><br></div><div dir="auto"><a href="https://www.researchgate.net/publication/255569778_Actual_Causes_and_Thought_Experiments">https://www.researchgate.net/publication/255569778_Actual_Causes_and_Thought_Experiments</a></div><div><br></div><div dir="auto">For details</div><div dir="auto"><br></div><div dir="auto"><br></div><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 Thu, Oct 31, 2024, 12:29 PM Frank Wimberly <<a href="mailto:wimberly3@gmail.com">wimberly3@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>Some of you know that in my last position at Carnegie Mellon I was working on causal reasoning.  We made a distinction between probabilistic causation (smoking causes cancer) and actual causation (dropping the bottle caused it to break).  In the former case we used graphical models, specifically parameterized Bayes networks to model the causal relationships among a set of variables.  In the latter case a simple directed graph suffices.  In the Wolfram, Gorard, Sorkin work do they make this distinction?</div><div dir="auto"><br></div><div dir="auto">Frank</div><div><br></div><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 Thu, Oct 31, 2024, 8:46 AM glen <<a href="mailto:gepropella@gmail.com" target="_blank" rel="noreferrer">gepropella@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Since we're talking about Sabine and anastomosis, I found this video interesting"<br>
<br>
This Theory of Everything Could Actually Work: Wolfram’s Hypergraphs<br>
<a href="https://youtu.be/-yzdjziS-bo?si=w5av9XcTUqjodJ5V" rel="noreferrer noreferrer noreferrer" target="_blank">https://youtu.be/-yzdjziS-bo?si=w5av9XcTUqjodJ5V</a><br>
<br>
"The idea that the laws of physics are a sort of computation has a rather basic problem. It's incompatible with Einstein's theories of general relativity and it's not a small mismatch. You see, any type of computation works in steps. If it doesn't, then calling it a computation is really just a weird way of talking about the laws of physics that we already use. A computation has some sort of update rule. [snip] The problem with this idea isn't just that Einstein's theories don't use graphs. But that we know you can't use graphs to even properly approximate them. The gaps in the graphs and the updates in time steps can't be hidden away. They will always be observable. And we haven't observed them. [snip] As a consequences, you can't approximate general relativity with a graph while respecting all its symmetries."<br>
<br>
She then mentions her paper: A No-go theorem for Poincaré-invariant networks <<a href="https://arxiv.org/abs/1504.06070" rel="noreferrer noreferrer noreferrer" target="_blank">https://arxiv.org/abs/1504.06070</a>>, which I'm incompetent to read. She continues:<br>
<br>
"The new Wolfram approach uses what they call 'hypergraphs'. Instead of just using graphs to describe space-time and particles in them, they collect these graphs into groups. So the hypergraph is really a collection of graphs. The points in this graph describe space-time and can also describe matter in the space-time, depending on their properties. But the lengths in the hypergraph are not physical. They have no length. They just quantify the relations between the points. And since they have no length, there's no problem with them becoming shorter or longer for different observers. It's actually a clever idea. I had an exchange with the guy who works for Wolfram Research who did most of this work, I think, Jonathan Gorard, in 2020. I came to the conclusion that this is indeed possible. But it's been done before. This is exactly the idea an approach called 'Causal Sets' put forward by Rafael Sorkin. As the name suggests, in this approach space-time is a set of points, like the points in the hypergraph. And these points have causal relations, which you can depict with arrows. So that gives you a graph. And this will, indeed, respect Einstein's theory. If you look at what they've [Gorard et al] been doing after that announcement in 2020, they've worked more on the relation between Wolfram's hypergraph and causal sets. Most of this work has been done, it seems, by Jonathan Gorard. He has also looked at how to use that to do general relativity and how it prevents singularities, which the causal sets people never figured out how to do. [snip] However, the causal sets people already showed that it's possible to put discretized versions of differential equations on these graphs. So maybe it isn't as difficult as it sounds. So when I look at this today, I honestly think this research program is going very well. And I think it's about time that physicists pay a little more attention to it."<br>
<br>
[Gorard et al] <a href="https://scholar.google.com/citations?hl=en&user=ItG_Nz0AAAAJ&view_op=list_works&sortby=pubdate" rel="noreferrer noreferrer noreferrer" target="_blank">https://scholar.google.com/citations?hl=en&user=ItG_Nz0AAAAJ&view_op=list_works&sortby=pubdate</a><br>
<br>
<br>
On 10/30/24 17:21, Stephen Guerin wrote:<br>
> On Wed, Oct 30, 2024 at 12:32 PM glen <<a href="mailto:gepropella@gmail.com" rel="noreferrer noreferrer" target="_blank">gepropella@gmail.com</a> <mailto:<a href="mailto:gepropella@gmail.com" rel="noreferrer noreferrer" target="_blank">gepropella@gmail.com</a>>> wrote:<br>
> <br>
>     The idealists will never stop idealizing and then reifying their ideal. To Engineer is Human. But those of us who know (or merely confidently believe) reality is made up of a diverse non-wellfounded set of ... what? ... urges? ... nano-agents? ... IDK, whatever, will always anastomose that built environment ... or at least reclaim it like a hermit crab squatting in a tin can.<br>
> <br>
> <br>
>   I like the visual and deeper concept, Glen. A kind of wuwei attitude.<br>
> <br>
> sequeing impermanence of political structures to over-reified software:<br>
> <br>
> Today at lunch, John Zingale lamented that the residence time of code in the system seems to be decreasing. Perhaps Anastomotic Computing is the next big thing.  :-)<br>
<br>
<br>
-- <br>
ꙮ Mɥǝu ǝlǝdɥɐuʇs ɟᴉƃɥʇ' ʇɥǝ ƃɹɐss snɟɟǝɹs˙ ꙮ<br>
-. --- - / ...- .- .-.. .. -.. / -- --- .-. ... . / -.-. --- -.. .<br>
FRIAM Applied Complexity Group listserv<br>
Fridays 9a-12p Friday St. Johns Cafe   /   Thursdays 9a-12p Zoom <a href="https://bit.ly/virtualfriam" rel="noreferrer noreferrer noreferrer" target="_blank">https://bit.ly/virtualfriam</a><br>
to (un)subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a><br>
archives:  5/2017 thru present <a href="https://redfish.com/pipermail/friam_redfish.com/" rel="noreferrer noreferrer noreferrer" target="_blank">https://redfish.com/pipermail/friam_redfish.com/</a><br>
  1/2003 thru 6/2021  <a href="http://friam.383.s1.nabble.com/" rel="noreferrer noreferrer noreferrer" target="_blank">http://friam.383.s1.nabble.com/</a><br>
</blockquote></div>
</blockquote></div>