Formalisms measure regularities of nature. — ucarr
No they don't. As I wrote: formalisms ARE USED to measure or describe the regularities of nature (e.g. arithmetic IS USED to count apples in a barrel). — 180 Proof
Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact (e.g. entropy), rather they are used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
Formalisms measure regularities of nature. — ucarr
No they don't. As I wrote: formalisms ARE USED to measure or describe the regularities of nature (e.g. arithmetic IS USED to count apples in a barrel). — 180 Proof
Formalisms measure regularities of nature. — ucarr
.No they don't. As I wrote: formalisms ARE USED to measure or describe the regularities of nature (e.g. arithmetic IS USED to count apples in a barrel). — 180 Proof
Formalisms measure regularities of nature. You say (above) regularities of nature are concrete matters of fact. Since formalisms measure regularities of nature, and regularities of nature are concrete matters of fact, formalisms measure concrete matters of fact. — ucarr
Since formalisms measure regularities of nature, and regularities of nature are concrete matters of fact, formalisms measure concrete matters of fact. — ucarr
...they are used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
The regularities of nature are concrete matters of fact — 180 Proof
Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact (e.g. entropy)... — 180 Proof
...you also say formalisms do = regularities of nature — ucarr
False. Stop shadowboxing with your strawmen, you're further confusing yourself. — 180 Proof
Formalisms (axiomatic or otherwise) are... used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact (e.g. entropy)... — 180 Proof
rather they are used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
Why are these two statements not a contradiction? — ucarr
Map-making does not "contradict" using a map for navigating terrain.. — 180 Proof
Why are "regularities of nature" not concrete matters of fact? — ucarr
The regularities of nature are concrete matters of fact from which physical laws are generalized (i.e. abstracted) physical. I haven't claimed or implied otherwise — 180 Proof
Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact...rather they are used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
How are "matters of fact" concrete but not empirical? — ucarr
Where are you getting this? This question has nothing to do with what I've argued. — 180 Proof
If self-descriptions ("formalisms...do not refer beyond themselves") have nothing to do with the world (nature), instead beinginterested only in themselvesonly self-referential, how are they meaningful and useful? — ucarr
Are the disciplines of epistemology and ontology merely products of human translations? — ucarr
Idk what you mean by "translations" — 180 Proof
...that physical laws are computable does not entail that the physical universe is a computer. — 180 Proof
Uncertainty is a precision problem.
More precision means more information.
According to Chaitin's incompleteness, sufficiently higher precision will indeed at some point exceed the amount of information that the system can decompress.
According to the literature on the subject, both incompleteness and imprecision ("uncertainty") can be explained by the principle of lossy compression that results in a particular maximum amount of information that could ever be decompressed out of the system. — Tarskian
Does a lossy axiomatic system also necessarily omit consequential facts because of measurement limitations described by Heisenberg Uncertainty? — ucarr
Yes. Technically, the resulting imprecision is the due to the fundamental properties of wave functions.
However, the paper mentioned , Calude & Stay, 2004, "From Heisenberg to Gödel via Chaitin.", connects uncertainty to Chaitin's incompleteness:
In fact, the formal uncertainty principle applies to all systems governed by the wave equation, not just quantum waves. This fact supports the conjecture that uncertainty implies algorithmic randomness not only in mathematics, but also in physics.
They conclude that it is not possible to decompress more precise information out of an axiomatic system than the maximum precision imposed by the fundamental properties of wave functions. — Tarskian
...that physical laws are computable does not entail that the physical universe is a computer. — 180 Proof
Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact (e.g. entropy)... — 180 Proof
...rather they are...measuring / describing the regularities of nature. — 180 Proof
Does a lossy axiomatic system also necessarily omit consequential facts because of measurement limitations described by Heisenberg Uncertainty? — ucarr
Yes. Technically, the resulting imprecision is the due to the fundamental properties of wave functions. — Tarskian
... for any system that does work, as it goes forward in the systematic process of doing work, the work builds up complexity of detail. This building up of complexity can be observed in two modes: phenomenal (entropy) and epistemic (logic). — ucarr
...logic is not "doing work" — 180 Proof
This leads to the conclusionthat axiomatic systems are a form of compression of complexity and that the increase of complexity is an irreversible process.
More nonsense. Formalisms (axiomatic or otherwise) are abstract and therefore do not refer beyond themselves to concrete matters of fact (e.g. entropy), rather they are used as syntax for methods of precisely measuring / describing the regularities of nature. — 180 Proof
We will show that algorithmic randomness is equivalent to a “formal uncertainty principle” which implies Chaitin’s information-theoretic incompleteness. We also show that the derived uncertainty relation, for many computers, is physical. In fact, the formal uncertainty principle applies to all systems governed by the wave equation, not just quantum waves. This fact supports the conjecture that uncertainty implies algorithmic randomness not only in mathematics, but also in physics. — Tarskian quoting Calude and Stay
Was this correct:
I am starting to believe that what you are really getting at behind the curtains here is that science and art share common features. — I like sushi
Followed by the possibility of uniting/transcending the differences held by many? — I like sushi
I simple yes/no or suffice. If it is a bit more than this then a sketchy - yet straight forward - outline would be all I need. — I like sushi
We don't live within a universe; instead, we live within a vital approach to a universe strategically forestalled by entropy_uncertainty_incompleteness. Science and Humanities are the two great modes of experiencing the uncontainable vitality. — ucarr
In each problem, ultimate pattern arises from the particular information preserved in the face of the combined fluctuations in aggregates that decay all non-preserved aspects of pattern toward maximum entropy or maximum randomness — Tarskian
Axiomatic theories do something similar. — Tarskian
The few rules in the axiomatic theory will not succeed in decompressing themselves back into the full reality. What facts from the full reality that they fail to incorporate does not say particularly much about these facts (deemed "chance", "random", ...). They rather say something about the compression technique being used, which is the principle that chooses what facts will be deemed predictable and what facts will be deemed mere "chance". — Tarskian
It is simply not possible to decompress and reconstruct the totality of all the information about reality out of an axiomatic system that describes it (if this axiomatic system is capable of arithmetic). — Tarskian
But then again, it also does not mean that the information forgotten in the compression is "accidental" or "random". — Tarskian
Randomness is not a necessary requirement for unpredictability. Incompleteness alone is already sufficient. A completely deterministic system can still be mostly unpredictable. — Tarskian
You have not given me any reason to read someone else's thoughts on the matter. Make your philosoophical case, ucarr, and I will respond. — 180 Proof
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
If the forward direction of a phenomenon incorporates information that cannot be decompressed from its theory, then it will also be impossible to decompress the information needed to reverse it, rendering the phenomenon irreversible. — Tarskian
"Entropy, heat, and Gödel incompleteness", 2014, by Karl-Georg Schlesinger, — Tarskian
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
...succinctly express your disagreement with something I have written that you wish for me to further elaborate on... — 180 Proof
Regarding what exactly? — 180 Proof
If a thing is not computable, thus causing attempted measurements to terminate in undecidability, is it sound reasoning to characterize this undecidability as uncertainty — ucarr
For me uncertainty refers to a situation where you don't have all the information.. — ssu
You can have all the information, yet there's no way out of this. — ssu
There is a lot of text which you won't ever write, but anything you write will automatically be something you do write (and hence not in the category of all the texts you will never write). So is this a limitation on what you can write? Of course not. — ssu
Is this a logical statement: ¬x ≠ x? If so, then why is it not a logically preemptive limitation on what I can write? — ucarr
The implicit but really strong assumption in Schlesinger's paper is that there exists exactly one lossy compression algorithm, i.e. axiom system A, for the information contained in the physical universe.
Schlesinger actually admits this problem:
https://arxiv.org/pdf/1404.7433
So, we would need a slightly stronger form of Gödel incompleteness which would make the dynamics non-predictable for any choice of axiom system A. — Tarskian
According to Schlesinger, a physical phenomenon becomes irreversible and entropy will grow, if reversing the phenomenon would require using more information than allowed by Godel's incompleteness. — Tarskian
If all these alternative compression algorithms always lead to the same output in terms of predicting entropy, then for all practical purposes, they are one and the same, aren't they? — Tarskian
Are you proceeding from the premise causal relationships are not fundamental in nature? — ucarr
Nope. — 180 Proof
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
I am starting to believe that what you are really getting at behind the curtains here is that science and art share common features. — I like sushi
..the beating heart of physics is entropy — I like sushi
J could easily respond by restricting his sphere of discourse to the logical frame and asking something like, "But do they add anything as far as the logic is concerned?" But this raises the fraught question of where the logical ends and the metalogical begins, or else where the metalogical ends and the ontological begins, in any given system. — Leontiskos
Are you proceeding from the premise causal relationships are not fundamental in nature? — ucarr
Nope. — 180 Proof
I can say “It is true that there are a hundred thalers on the table” but this adds nothing to the proposition ‛There are a hundred thalers on the table’. — J
Basically, yes. — Leontiskos
I can say “A hundred thalers exist” but this adds nothing to the concept ‛a hundred thalers’; — J
This is a bit different, as the latter possesses a conceptual existence which the former surpasses by asserting a super-conceptual existence, at least according to common language. As far as I can see things can only be true or false in one way, whereas things can exist in multiple ways. The domain of the former is propositions whereas the domain of the latter is ontological realities, and ontological realities are more variegated and complicated. — Leontiskos
“Truth is not a predication.” That is, neither existence nor truth add anything, conceptually, to what they appear to be predicating ‛existence’ and ‛truth’ of. — J
I suppose Frege was the first to have pointed out the “emptiness” of the “It is true that . . .” prefix, but did he also make the parallel with “Existence is not a predicate”? — J
Aristotle's claim in the Metaphysics that to speak truth is to say of what is that it is or of what is not that it is not is very close to the truth predication question. — Leontiskos
The undecidability results simply show that not all is computable (or in the case of Gödel's theorems, provable), even if there is a correct model for the true mathematical object (namely itself). — ssu
There is a lot of text which you won't ever write, but anything you write will automatically be something you do write (and hence not in the category of all the texts you will never write). So is this a limitation on what you can write? Of course not. You can still write anything you want. It's a bit similar with the undecidability results. — ssu
This is not an example of a "fundamental relationship of uncertainty, incompleteness & entropy". Not even close. — 180 Proof
"Uncertainty" is epistemic, "incompleteness" is mathematical and "entropy" is physical. I don't think they are related at a deeper – "foundational" – level unless Max Tegmark's MUH is the case. :chin: — 180 Proof
No need for proof in physical reality to perceive its facts. — Tarskian
The Fourier transforms won't allow us to accurately measure both position and momentum of an elementary particle; it's one measurement at a time being accurate, with the other measurement being far less accurate. — Tarskian
Unlike in physical reality, in arithmetical reality we typically know that a theorem is true because we can prove it... That is why arithmetical reality appears so orderly to us, while in reality, it is highly chaotic, just like physical reality. We just cannot see the chaos. — Tarskian
