/sci/ - Science & Math

>>12457720
>I just get the feeling that there is an implied agreement that the entire universe exists at the present only and the past and the future do not exist already, thats the present is all there is and its not akin to some frame in a movie film.
That sounds like a more philosophical reading. I wouldn't draw definitive existence claims from a formal framework like QM. Not even all the mathematicians can agree what it means that the theory of Peano arithmetic proves that there "exists" a natural number between 5 and 7.
Maybe my position is too anti-realist for you and you don't want to go with this, but I don't think there's a good reason to think QM would not be superseded in 10^10 years of continuous physics research. Does temperature exist, or is it just an intensive parameter obtained from a system as an average over particle movements. Does force exist or is it just the gradient of the average of energy/frequency densities of a theory involving a frequency spectrum. Is spaces well modeled by R^n or are points just emergent phenomena approximated by expectation values of non-commuting position operators in a semi-classical limit of string theory? Every existence claim will make you outdated in 100 years.

https://plato.stanford.edu/entries/scientific-realism/#AntiFoilForScieReal

cont.

>>11829610
>>11831969
Not the question answered, but up to the jump of limit ordinals (which i don't know how to handle), once could maybe at least do something with the idea.

Let [math] b:\alpha \to {\mathbb R}_+ [/math] be a bijection between the positive reals and an uncountable ordinal [math] \alpha [/math] (this decides the continuum hypothesis, though).
For all smaller ordinals [math] \beta < \alpha [/math], define [math] s(0)=0 [/math] and [math] s(\beta+1) = s(\beta) + b(\beta) + (-b(\beta)) = s(\beta) [/math] (and something similar for limit ordinals?).

Then, in an artificial way, I squeezed all reals in a transfinite sum and we should be able to prove this is 0.

>>11727095
>he doesn't know
OUCH

funfact of the day
https://en.wikipedia.org/wiki/Tennenbaum%27s_theorem

>>11649430

What's the difference? They're practically the same.