<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <strong class="gmail_sendername" dir="auto">Jason Resch</strong> <span dir="auto"><<a href="mailto:jasonresch@gmail.com">jasonresch@gmail.com</a>></span><br>Date: Wed, Nov 3, 2021 at 12:19 PM<br>Subject: Re: [ExI] Gödel and physical reality<br></div><br><br><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 3, 2021 at 9:34 AM Giulio Prisco <<a href="mailto:giulio@gmail.com" target="_blank">giulio@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">On Wed, Nov 3, 2021 at 2:52 PM Jason Resch <<a href="mailto:jasonresch@gmail.com" target="_blank">jasonresch@gmail.com</a>> wrote:<br>
><br>
> Hi Giulio,<br>
><br>
> Thank you for raising so many profound questions!<br>
><br>
> On Wed, Nov 3, 2021 at 5:10 AM Giulio Prisco via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a>> wrote:<br>
>><br>
>> Gödel and physical reality. What are the implications of Gödel's<br>
>> theorem for fundamental science and metaphysics?<br>
>><br>
><br>
> I think there are deep connections between Gödel's theorem and the question of why anything exists. I write about some of the connections and implications in this article:<br>
> <a href="https://alwaysasking.com/why-does-anything-exist/#20th_Century_Mathematics" rel="noreferrer" target="_blank">https://alwaysasking.com/why-does-anything-exist/#20th_Century_Mathematics</a><br>
<br>
Hi Jason, your website doesn't seem to be working (522: connection timed out).<br></blockquote><div><br></div><div>Hi Giulio, it appears to be back up, for the time being at least. I apologize for the outage.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
><br>
> In summary, Gödel's result implies an independence of mathematical truth from any human theory of that truth, and I would argue, even makes mathematical truth independent of the physical universe.<br>
><br>
<br>
But it can also be argued that it makes mathematical truth *strongly<br>
dependent* on the physical universe. I tend to think of mathematics as<br>
the physics of little things that can be counted - a construction<br>
motivated by physical experience and the need to stay alive long<br>
enough to reproduce.<br></blockquote><div><br></div><div>There is a circularity for sure.</div><div><br></div><div><img src="cid:ii_kvjrz08g0" alt="circularity-math-matter-mind.png" width="562" height="333"><br></div><div><br></div><div>The question is: where does it begin?</div><div><br></div><div><br></div><div>This is roughly the picture I have arrived at:</div><div><br></div><div><img src="cid:ii_kvjs2zv71" alt="story-of-creation.green-text.png" width="562" height="316"><br></div><div><br></div><div>Necessity requires logical laws; logical laws imply incontrovertible truth; such truth includes mathematical truth; mathematical truth defines numbers; numbers possess number relations; number relations imply equations; equations define computable relations; computable relations define all computations; all computations include algorithmically generated observers; and these observers experience apparent physical realities.</div><div><br></div><div>Here is a simple example of how logical necessity gives a shape to reality. Consider the theory "Every rule has an exception". This is self-refuting because then the rule that every rule has an exception would have an exception, negating the rule. So then there must be some rules without exceptions (what we might call laws). This is just an example, but similar ideas from logic can be used to show certain truths would necessarily exist, even with no universe and no things, as denying them would lead to a contradiction.</div><div><br></div><div>So we arrive at a picture where "infinite truth", the embodiment of all knowledge, serves as a container of all minds and all things. We could liken it to an omniscient mind, being total, infinite, and incomprehensible, eternal and uncreated, without a beginning or end, self-existent. Furthermore, if this infinite truth produces observers and experiences of physical universes as described above, hen this infinite truth is also the reason and cause behind all things, the ground of being to ourselves and the material universe.</div><div><br></div><div>Jason<br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
> Then, there are a number of constructive arguments that show how the existence of mathematical truth leads to the existence of entities who believe and consider themselves to be parts of physically existing worlds. In effect, all computational histories (of all programs) are a small part of what exists in the set of all mathematical truth. This was discovered in 1970 as part of the MRDP-Theorem which solved Hilbert's 10th problem. There exists a single Diophantine equation, whose solutions embody all possible programs (all computable sets). See: <a href="https://alwaysasking.com/why-does-anything-exist/#Universal_Equations" rel="noreferrer" target="_blank">https://alwaysasking.com/why-does-anything-exist/#Universal_Equations</a><br>
><br>
>><br>
>> What does Gödel’s theorem say about physical reality?<br>
><br>
><br>
><br>
> If you define physical reality as the observable universe, whose information content is large but finite (say 10^120 bits), then our universe lacks the computational and memory resources to even list all the properties of the number "3". In this sense, the number 3 is a larger, and more complex object than our physical universe, for there are an infinite number of true statements concerning the number 3, not all of which can be enumerated in our physical universe. The finiteness of our universe also means there are axiomatic systems which contain more axioms than there are atoms in our universe, so we could never conceive of them.<br>
><br>
>><br>
>> Does Gödel’s<br>
>> theorem imply that no finite mathematical model can capture physical<br>
>> reality?<br>
><br>
><br>
> Since our physical reality allows the construction of computers, and since the behavior of computers cannot be determined in general (you will always need ever-more expensive mathematical theories to prove things about the operations of certain computers), then in a very real sense, Gödel’s theorem (and particularly in conjunction with the unsolvability of Hilbert's 10th problem (undecidability)), it means certain physical problems are not decidable either.<br>
><br>
> For example, consider if I have a computer searching for counterexamples to the Goldbach conjecture, after which it will turn on a light switch, because the computer is a physical system, I could ask the physical question of: "how long, if ever, will it take for the light to turn on?" And yet, it very well could be that we cannot determine the answer to this problem, without developing a new more powerful mathematical system that enables us to prove that there are no counterexamples to the Goldbach conjecture. So physics and our physical theories, because they are general enough to allow us to build computers, are subject to the limits of undecidability, and ultimately are limited by the power of our mathematical systems.<br>
><br>
>><br>
>> Does the nondeterminism found in quantum and chaos physics -<br>
>> it’s impossible to predict (prove) the future from the present and the<br>
>> laws of physics - have something to do with Gödel’s incompleteness?<br>
>> Many scientists e.g. Stanley Jaki, Freeman Dyson, and recently Stephen<br>
>> Hawking ("According to the positivist philosophy of science, a<br>
>> physical theory is a mathematical model. So if there are mathematical<br>
>> results that can not be proved, there are physical problems that can<br>
>> not be predicted…") have formulated this intuition. But I'm not aware<br>
>> of any proof (or very strong semi-rigorous argument) that causal<br>
>> openness in physical reality follows from Gödel's theorems (or the<br>
>> related results of Turing, Chaitin etc.). Can anyone give me<br>
>> links/ideas?<br>
><br>
><br>
> There are a number of recent results that suggest the uncertainty we observe in physics could be a direct manifestation/consequence of our existence within an infinite ensemble of all possible computational histories. I quote and cite some of these theories and theorists here:<br>
> <a href="https://alwaysasking.com/why-does-anything-exist/#Why_Quantum_Mechanics" rel="noreferrer" target="_blank">https://alwaysasking.com/why-does-anything-exist/#Why_Quantum_Mechanics</a><br>
><br>
I'll wait and see if your website comes back online!<br>
<br>
> If you have any questions about any of these ideas, I would be happy to follow up in more depth, but the links from there should provide a good starting point.<br>
><br>
> Jason<br>
</blockquote></div></div>
</div></div>