[deleted]
Dear Florin,
thank you very much for your prompt replies on the communities questions including my own. It's a pleasure for me to see that the discussions in the essay contest start up, for it is a main goal of the contest to stimulate discussion and fair exchange of thoughts. Thank you therefore again for this contribution to the contest.
So at first i want to say that your approach should be traced further because it could be that it will succeed, and if not, at least i would be very interesting in the question where your approach could lead us probably. Mabe we receive some new insights (i am sure that this would be the case) into the very issue of the present contest, namely the limits of physics and the physics of limits. That's important for me to say, because i am not the person who can exclude a priori some possibilities with certainty.
Although there are some aspects i want to comment on. The universal truth property for example. For me, it is evident (as surely for the most people), that one of those universal truth properties is myself (although i will die at some point of time). For me, it is really a property, not only because i exist in a very short part of the world's lifetime, but also because i am convinced that consciousness is a somewhat build-in property of ultimate reality.
Another universal truth property for me is, that when i wake up in the morning, it is granted that i am in the environment i was, before i felt into sleep. For that, the world - in the meaning of its physical behaviour and the underlying laws - stays the same with or without me. Another universal truth (but surely no *poperty* of the universe) is, that our conversation here at FQXi is and will be a truth, even if the universe fades away and somedays maybe disappears into the void nothing it possibly came out of. Well, it is an interesting question if this conclusion is really true, because if the universe came out of nothing and at some day will go into this "nothing", can we really say that the truth that we do comment on each other here and now in spacetime at FQXi will further be an undeniable fact, hence a truth out of its own existence? That question is valid also for all historical events and is only once more a rethoric question because in your framework there isn't such a thing as "nothing". In your framework "nothing" is replaced by its pure opposite, namely infinity and the special subset of it that can fully describe our physical world if your approach succeeds.
So, my question about the future status of the truth of the fact of our conversation here must have been incorporated into this subset from the very beginning of all_that_exists (because your consideration - and i want to emphasize here that it is yet only an *assumption* - is, if i got this right, that the underlying maths is "platonic" and therefore exists out of time and eternally). If the latter is true, our conversation is somewhat predetermined and all of our conclusions here too. And if in turn that would be true, Gテカdel's undecidability comes into play again because we couldn't be sure that the conclusions that are immanent in the very math of the subset you are searching for, are consistent with the rest of this subset. Surely they would be consistent with all testable and perceivable physical data, but does this sufficiently mean that they are also consistent with the very framework we started from (and that is - for the case that your subset really exists - is also incorporated into this subset)? Surely, they had - for the purpose of the whole argument - to be *necessary*, but i don't think that this necessity is sufficient to conclude that there really aren't/couldn't be some other things than the laws of physics discovered at this point of time. But what, if this subset is such that it contains data that is - for whatever reasons - consistent with observation, but the a priori-conclusions correlated with this observations are of an inconsistent type?
That's what i wanted to say with my "anthropic"-argument, namely that we start with things that we are familiar for us (because we are inescapable "correlated with) and extrapolate them to the utmost level of imagination (the latter is surely also valid for my own approach).
In this context i think our both approaches aren't so much different, because you start with infinity and i start with some opposite of it, namely an undefined space of creative possibilities. And surely, my own approach could be of such a nature, that it テュs a tiny part of your subset, in the sense of a somewhat misleading conclusion that is possible because the whole subset is possible (for whatever reasons).
I want to end up with this comment with some words of Gテカdel himself, who made up his mind deeply about the possible meaning of his own undecidability-results and for those i think could be a good partial end point of my comments so far. Gテカdel stated that [1]
"[...] consistency with existence manifestly presupposes the axiom that every mathematical problem is solvable. Or, more precisely, it presupposes that we cannot prove the unsolvability of any problem.".
I think this lines from Gテカdel are somewhat just another variation of Turing's halting problem. For circumventing it, we had to know what we yet don't know. And as Hilbert put it, we must know, - and maybe we will know.
[1]: Gテ-DEL, Kurt: On formally undecidable proposition of Principia mathematica and related systems I. (1931). In: Collected Works Vol. I, Publications 1929-1936. Oxford University Press, New York, 1986, pp. 145-195.