On Tuesday, April 16, 2019 at 6:39:28 AM UTC-5, Bruno Marchal wrote:
>
>
> On 15 Apr 2019, at 11:04, Philip Thrift <cloud...@gmail.com <javascript:>>
> wrote:
>
>
> If our physics is in a number, is Game of Thrones physics
>
> *The physics of Game of Thrones*
>
> https://winteriscoming.net/2017/09/29/neil-degrasse-tyson-cant-stop-talking-physics-game-thrones/
>
>
>
> That would be the mistake of Dgital Physics/Physicalism.
>
> It is like saying that some program u generate the physical universe. That
> is not entirely excluded from the mechanist hypothesis, but even if that is
> the case, such an u (and of course all the u’ such that phi_u = phi_u’
> extensionally) must be derived from elementary arithmetic, if mechanism is
> correct.
>
> But that can be shown to be not quite plausible, as this would make our
> substitution level so low that the only “artificial brain” possible would
> be the entire physical universe. In that case, most of our biology and
> physics would be false. It is such a weakening of Mechanism, that it would
> make Mechanism wrong FAPP, contradicting all the evidences that we have for
> Mechanism, like evolution, molecular biology or quantum physics.
>
>
>
>
>
> in another number?
>
> Or: Is there a a GoT reality?
>
>
> Sure there is, but not a fundamental one, capable of explaining
> (every)thing.
>
> Bruno
>
>
>
Assume "our physics" is the Standard Model.
Here it is in a few hundred characters (Lagrangian_{SM}):
https://www.sciencealert.com/this-is-what-the-standard-model-of-physics-actually-looks-like
How does one "derive" this Lagrangian_{SM} from the logic of elementary
arithmetic (Logic_{EA}) -- even given the translation of the language of
Lagrangians into the language of Logic_{EA}. Why should our SM be the one,
and not an alternative SM? If every SM equation is possible (not just the
one equation above), what is "explained"?
It makes more sense that Lagrangian_{SM} and Logic_{EA} are completely
contingent hypotheses written in languages created by us humans to model
reality.
- pt
--
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-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
