--You received this message because you are subscribed to the Google Groups "Everything List" group.To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CA%2BBCJUiFsW5z1nPmXdZUNS2_StB%2B_cZjP5tX6gTndExtfxJOvg%40mail.gmail.com.
> Oh boy, John Clark is not going to like this :)
> My scepticism is this: is anything being gained in terms of explanatory power?
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3c907042-e54c-44e2-8969-6d02cd2db5b4%40www.fastmail.com.
Hi Jason,This is really interesting, thanks for sharing. Since Wolfram started going in this direction, something that occurs to me is this: hypergraphs are perhaps one of the most general mathematical constructs that can be conceived of. Almost everything else can be seen as a special case of hypergraphs. Like you say, with the update rules, we shouldn't be surprised if they are equivalent to the UD. My scepticism is this: is anything being gained in terms of explanatory power? Should we be surprised that such a powerful representation can contain the rules of our reality? I do admit that I have to study these ideas in more detail, and there is something really compelling about hypergraphs + update rules.
"There is no single one. There are infinite varieties of different TMs, and all can exist Platonically/Arithmetically. Gregory Chaitin discovered an equation whose structure models LISP computers. There are likewise other equations corresponding to the Java Virtual Machine, and the Commodore 64. All these Turing machines, and their execution traces of every computer program they can run, exist in math in the same sense that the Mandelbrot set or the decimal expansion of Pi exist in math. Despite the infinite variety of architectures for different Turing machines, their equivalence (in the Turing computability sense) makes the question of “Which Turing machine is running this universe?” impossible to answer, beyond saying, “all of them are.”"
"As soon as one starts talking about “running programs” some people will immediately ask “On what computer?” But a key intellectual point is that computational processes can ultimately be defined completely abstractly, without reference to anything like a physical computer. "
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe or someone writing it down, or a mathematician thinking about it, that is all you need.
For if the truth values of certain simple relations have an independent existence, then so to do the truth values of far more complex equations. Let’s call the Diophantine equation that computes the Wave Function of the Hubble Volume of our universe “Equation X”. Now then, it becomes a question of pure arithmetic, whether it is true or false that:
“In Equation X, does the universal state variable U, at time step T contain a pattern of electrons that encode to the string:‘why does the existence of Universal Equations imply the existence of iterative search processes for solutions?'”
If that question has a definitive objective truth, then it is the case that in the universe U, at time step T, in equation X, there is some person in that universe who had a conscious thought, and wrote it down and it got organized into a pattern of electrons which anyone who inspects this vast equation with its huge variables could see.
Once you get to this point, the last and final step is to reject the possibility that the patterns found in these equations, which behave and act like they are conscious, and claim to be conscious, are philosophical zombies. In other words, to accept that they are conscious beings, just like those who exist in “physical” universes (assuming there is any possible distinction between a physical universe, and a physical universe computed by a Platonic or Arithmetic Turing Machine).
--Oh boy, John Clark is not going to like this :)Telmo.Am Do, 11. Aug 2022, um 20:35, schrieb Jason Resch:I found this fascinating. It appears to have many similarities with the type of physical reality that emerges from then universal dovetailer, with new ways of explaining it and some new insights.Jason
--You received this message because you are subscribed to the Google Groups "Everything List" group.To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CA%2BBCJUiFsW5z1nPmXdZUNS2_StB%2B_cZjP5tX6gTndExtfxJOvg%40mail.gmail.com.
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3c907042-e54c-44e2-8969-6d02cd2db5b4%40www.fastmail.com.
Below is what I wrote:
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe or someone writing it down, or a mathematician thinking about it, that is all you need.
> I think John rejects zombies,
>so he would have to reject objective truth to believe a physical computer is necessary to produce observers. Below is what I wrote:
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe
> If there were zero objects in the universe then the concept of zero would necessarily exist to preserve the property of the number of physical objects in that nothing. If the concept of zero exists then at least 'one' abstract entity must exist, the one number zero. Now 'two' abstract numbers exist, 'one' and 'zero'. Et cetera.
Brent
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/e8a7222b-87f6-aebc-3e2f-26723732e436%40gmail.com.
> You defined nothing as a universe of zero physical objects.
> Is zero meaningless in a universe with zero physical things?
> I don't see any way from escaping the necessity of rules and the number zero,
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe
I defined "nothing" as infinite unbounded homogeneity. If you have a better definition of "nothing" I'd like to hear it.
If the concept of zero exists then at least 'one' abstract entity must exist, the one number zero.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv2jVApsd-UFgBbAKw6ZZZAH%3Di00vsTEffq2_R_TUKL81A%40mail.gmail.com.
> My scepticism is this: is anything being gained in terms of explanatory power?Although quite interesting so far Stephen Wolfram cellular automation ideas have been no help whatsoever to physicists, but perhaps someday they may be, maybe someday we'll find that quarks behave the way they do because of some simple cellular automation at work inside them, but even if that day comes to pass you're still not going to be able to make a Turing machine, or anything else, with just a definition.
--ewg--Hi Jason,This is really interesting, thanks for sharing. Since Wolfram started going in this direction, something that occurs to me is this: hypergraphs are perhaps one of the most general mathematical constructs that can be conceived of. Almost everything else can be seen as a special case of hypergraphs. Like you say, with the update rules, we shouldn't be surprised if they are equivalent to the UD. My scepticism is this: is anything being gained in terms of explanatory power? Should we be surprised that such a powerful representation can contain the rules of our reality? I do admit that I have to study these ideas in more detail, and there is something really compelling about hypergraphs + update rules."As soon as one starts talking about “running programs” some people will immediately ask “On what computer?” But a key intellectual point is that computational processes can ultimately be defined completely abstractly, without reference to anything like a physical computer. "Oh boy, John Clark is not going to like this :)Telmo.Am Do, 11. Aug 2022, um 20:35, schrieb Jason Resch:I found this fascinating. It appears to have many similarities with the type of physical reality that emerges from then universal dovetailer, with new ways of explaining it and some new insights.Jason
--You received this message because you are subscribed to the Google Groups "Everything List" group.To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CA%2BBCJUiFsW5z1nPmXdZUNS2_StB%2B_cZjP5tX6gTndExtfxJOvg%40mail.gmail.com.
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3c907042-e54c-44e2-8969-6d02cd2db5b4%40www.fastmail.com.
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv3pjHXLeB7tqGEC2sZ8-3z%3D-LcS5VhT6TuOTeHSpdnNzQ%40mail.gmail.com.
> I defined "nothing" as infinite unbounded homogeneity. If you have a better definition of "nothing" I'd like to hear it.
> I define "nothing" as absence of information about any aspect (projection axis, defining semantic dimension) whatsoever.
On Fri, Aug 12, 2022, 3:33 PM John Clark <johnk...@gmail.com> wrote:
On Fri, Aug 12, 2022 at 3:09 PM Jason Resch <jason...@gmail.com> wrote:
> If there were zero objects in the universe then the concept of zero would necessarily exist to preserve the property of the number of physical objects in that nothing. If the concept of zero exists then at least 'one' abstract entity must exist, the one number zero. Now 'two' abstract numbers exist, 'one' and 'zero'. Et cetera.You're making the argument that there must be more than just one thing in the universe and therefore it can not consist of infinite unbounded homogeneity, and therefore the universe is not nothing, and therefore the universe is something, and therefore it exists. And that's all very fine but it's irrelevant because your claim was that 2+2=4 would exist even if the universe did not. I maintain it would not. I'm certainly not saying 2+2 =4 has no meaning, I'm saying it has a meaning precisely because the universe exists. I'm saying that physics is more fundamental than mathematics.
You defined nothing as a universe of zero physical objects. And have said a number N is meaningless without at least N things in that universe to count.
Is zero meaningless in a universe with zero physical things?
You might argue that it is, but I would say zero is necessary for the operation and preservation of such a universe of zero objects.
Otherwise without some rule saying "the number of physical objects is and shall always be 0" what is to stop the nothing from becoming a universe having a non zero number of objects?
I don't see any way from escaping the necessity of rules and the number zero, for a nothing of the kind you describe.
Not do I see a way for zero to exist apart from all the other numbers.
Zero has properties, including factors. The factors of zero include all integers.
On Fri, Aug 12, 2022, 3:29 PM Brent Meeker <meeke...@gmail.com> wrote:
On 8/12/2022 12:13 PM, Jason Resch wrote:
On Fri, Aug 12, 2022, 2:18 PM Brent Meeker <meeke...@gmail.com> wrote:
On 8/12/2022 10:56 AM, Jason Resch wrote:
Below is what I wrote:
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe or someone writing it down, or a mathematician thinking about it, that is all you need.
But it's truth value does depend on someone assigning the value "t" to some axioms and all mathematical truth values are nothing but "t" arbitrarily assigned to some axioms plus some rules of inference that preserve "t". "t" has little to do with what it true in the world.
The physical world chugs along with anyone having to assign to assign values, or apply rules of inference.
Why can't the same be true for other platonic objects?
Because "Platonic" means "exists only in imagination".
Perhaps conventionally.
But perhaps physical existence is platonic existence (i.e. all self-consistent structures exist, all rule based formal systems, etc.).
This would account for fine-tuning, and plausibly yield an answer to "why quantum mechanics?"
--
Brent
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/e88231c9-6d6a-d817-289b-91582c5add99%40gmail.com.
On Fri, Aug 12, 2022, 5:25 PM Brent Meeker <meeke...@gmail.com> wrote:
On 8/12/2022 12:56 PM, Jason Resch wrote:
On Fri, Aug 12, 2022, 3:29 PM Brent Meeker <meeke...@gmail.com> wrote:
On 8/12/2022 12:13 PM, Jason Resch wrote:
On Fri, Aug 12, 2022, 2:18 PM Brent Meeker <meeke...@gmail.com> wrote:
On 8/12/2022 10:56 AM, Jason Resch wrote:
Below is what I wrote:
The way I like to think about it is this: If one is willing to believe that truth values for mathematical relations like “2 + 2 = 4” can exist and be true independently of the universe or someone writing it down, or a mathematician thinking about it, that is all you need.
But it's truth value does depend on someone assigning the value "t" to some axioms and all mathematical truth values are nothing but "t" arbitrarily assigned to some axioms plus some rules of inference that preserve "t". "t" has little to do with what it true in the world.
The physical world chugs along with anyone having to assign to assign values, or apply rules of inference.
Why can't the same be true for other platonic objects?
Because "Platonic" means "exists only in imagination".
Perhaps conventionally.
But perhaps physical existence is platonic existence (i.e. all self-consistent structures exist, all rule based formal systems, etc.).
Given a sufficiently broad definition of "exists". Just like 2+2=5 for sufficiently large values of 2.
This would account for fine-tuning, and plausibly yield an answer to "why quantum mechanics?"
One can "account" for anything in words.
Not exactly. The existence of a plentitude implies observers should find themselves entwines with an environment having many-histories.
If there was no QM, that would rule out the existence of a plentitude.
Even God could perhaps not eliminate that indeterminnace as experienced by most observers in such a reality. The feat might be like making a square circle.
Jason
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CA%2BBCJUj6FAkAW2cZGEUwTheqDHSvdBTvytbBh8mOgSWW7xHzWA%40mail.gmail.com.
--
Brent
--Even God could perhaps not eliminate that indeterminnace as experienced by most observers in such a reality. The feat might be like making a square circle.
Jason
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CA%2BBCJUj6FAkAW2cZGEUwTheqDHSvdBTvytbBh8mOgSWW7xHzWA%40mail.gmail.com.
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/448be750-da2a-91b8-93ba-7c8ff215263a%40gmail.com.
Brent
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/a13fe376-1288-60cd-af27-4cb6e1742917%40gmail.com.
> Identical physical states in a deterministic world would evolve identically, as would any supervening mental states.
> However, a supervenient relationship is such that multiple different physical states can give rise to the same mental state.
> The different physical states may then evolve differently giving different subsequent mental states. Subjectively, this would mean that your next mental state is undetermined.
> This idea has been used by the philosopher Christian List to propose a mechanism for libertarian free will in a determined world. I don’t think that works because indeterminacy is not a good basis for free will (the main problem with libertarian free will), but it is an interesting idea nonetheless.