...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
"Be fair" is an expression I use - perhaps it is not as widely used as I thought - to signal that there is a brighter side to what seems so depressing. It's not an accusation or criticism. — Ludwig V
QM tells us the observer perturbs what s/he observes. — ucarr
Isn't that old news in a new bottle? — Ludwig V
the new bottle perturbs the old news into something interesting: — ucarr
I'm suggesting that it has been over-hyped and is rather less interesting than one would have thought, given all the fuss. — Ludwig V
There's always the hope of being understood. — ucarr
Be fair. Sometimes we are understood, and sometimes we manage to sort out misunderstandings. — Ludwig V
How do you characterize ontically and empirically the physicist and its experimental_inferential connection to planck-scale phenomena? — ucarr
My layman's best guess: only the interaction of the measuring-apparatus and "planck-scale phenomena" is manifestly ontic – quanta (e.g. photons) "perturbing" quanta – and the physicist's readings of her measurements (thereby making inferences) are empirical. — 180 Proof
QM tells us the observer perturbs what s/he observes. — ucarr
Isn't that old news in a new bottle. — Ludwig V
Well, as I've been saying, no one reads a given text exactly as another reads it. This because each individual perturbs what s/he observes individually. — ucarr
You are looking at only one side of the coin. We learn to read from each other (and we learn the language that we read and communicate in) and we learn all the skills of knowledge. Sharing and correcting — Ludwig V
I suppose it means that in a given time period for a foundational theory, no one can discover a form more basic. — ucarr
So "simple" means "more basic"? — Ludwig V
...since classical-scale systems (e.g. brains-sensoriums) cannot directly interact with planck-scale systems. — 180 Proof
Yes, as e.g. Spinoza points out, human knowledge of unbounded (infinite) reality is necessarily perspectival and therefore bounded (finite). Basic epistemic mereology (re: maps < terrain), no? — 180 Proof
I think your "strategic incompleteness" overstates the case and incoherently conflates teleology with formalism with empiricism. — 180 Proof
Okay. Proceeding from the observer as an always local person, if we bind the thinking of an always local person to that always local person, then it too, is always local, and the abstraction of abstract thinking starts dissolving. — ucarr
I don't know what you mean by "bind". If a local person indulges in abstract thinking, and shares that thinking with other local and non-local thinkers, how does the abstraction of abstract thinking dissolve? — Ludwig V
I didn't understand a lot of the intervening ideas. — Ludwig V
I have a lot of difficulty with the idea of something true but unprovable. How could we know that such things exist, and if we do, how do know what they are? But this is a bit more specific and so it helps. I still haven't seen an example of such a truth and would love to do so. — Ludwig V
There may not be any elegant simplicity axiomatic to everything. — ucarr
But isn't that just a methodological principle that applies when there are competing theories in play? — Ludwig V
By the way, what is the criterion for simplicity? — Ludwig V
However, it occurred to me that, as a definition, "Statements about statements" captures far too much... — Ludwig V
Berkeley's Dialogues for example can be read as a philosophical text, but also as a historical or religious text. The difference is not in the text, but in the approach to the text. — Ludwig V
True physics would be the set of all facts in the physical universe, i .e. physical reality.
Any proposed set of physical axioms does not need to be a lossless compression of physical reality either.
The compression is actually allowed to lose a lot -- or even most -- of the information contained in physical reality.
The compression merely needs to be sound. — Tarskian
If the compression deems a fact to be true, then it must indeed be verifiably true in the uncompressed reality. — Tarskian
The foundational crisis in mathematics does indeed have a distinct metaphysical sonority to it. It describes issues in arithmetic reality but it may actually also apply to physical reality, if both realities happen to be structurally sufficiently similar. — Tarskian
The observer cannot be abstracted from the experiment. — ucarr
Yes. But the observer, in my book, is not an abstraction - a point of view. (At most, a point of view is a location for a possible observer.) An observer is a person. — Ludwig V
What would be the criterion of success? THAT would be the definition. — Ludwig V
I have many problems with this - and with self-reference. Not the least of which is that I'm inclined to think that if a language cannot talk about itself, then there is something it cannot talk about, so it is incomplete. Nor is there anything wrong with self-reference. Some specific uses of it are problematic, but since I'm not committed to avoiding all logically problematic uses of language by ruling them out of court in advance, I'm not much bothered by them. — Ludwig V
I don't think they give rise to any major problems of philosophy. — Ludwig V
Logicians and mathematicians have adopted the project of constructing a language with a grammar that rules such statements out. That's their choice. But it seems clear that a language that include those possibilities is perfectly workable. — Ludwig V
A statement is philosophical, if it is a statement about another statement. For example:
It is irrelevant that it is raining today. — Tarskian
I'm afraid I'm completely stuck in my opinion that the example is not a philosophical statement, unless you mean that it being used as a philosophical example makes it a philosophical statement. Which I think would be unduly stretching the scope of philosophy. — Ludwig V
I am wondering, however, whether self-reference may not be part of the distinction between science and the humanities. — Ludwig V
...can there be science of science. I doubt if it could follow some version of scientific method, including the experimental method, so would such a discipline be scientific? — Ludwig V
History, literature, and some approaches to language are about actual human beings, not abstract concepts — Ludwig V
Is philosophy included here? Depends on what you mean by philosophy. Much philosophy presupposes an abstract observer, but Wittgenstein, of course, challenged that. — Ludwig V
A statement about a fact is not philosophical. For example:
It is raining today.
A statement is philosophical, if it is a statement about another statement. For example:
It is irrelevant that it is raining today.
This explains in simple words what the true meaning is of Godel's incompleteness theorem.
A theory is incomplete if it can express statements about its own statements. In other words, a theory is incomplete if it is capable of philosophy.
Self-referential statements are just a special case of the general case, which is the philosophical statement. If a statement can talk about other statements, then it can also talk about itself. — Tarskian
Discovery of "how" is rooted in the adverbial modification of the predication of the fact of existing things. — ucarr
...I don't really understand what you mean. — Ludwig V
To me, adverbial modification means walking purposefully, or ambling or wandering or limping. But you might mean that interpretation is... — Ludwig V
It is possible that the prediction of the behaviour of organic molecules using hard physics is not computable, just like the behaviour of a human stomach can't be predicted using hard physics, even if we accept that we live in a purely physicalistic universe that regularly obeys the fundamental laws of physics at every level. — Lionino
Even more challenging to the test designer, Jenkins adds, is to remember that taking a test is itself a behavior. This means that tests need to try to take into account the attitudes of test takers while they are taking the test.
This means some people may answer questions based on how they want to be perceived, rather than how they truly are.
One of the most difficult hurdles for researchers observing human behavior is how to deal with the reality that human test subjects are always aware they are being studied and can modify their behavior—purposely or unconsciously—in response. — "Tarskian
There are fields that are an tightly meshed combination of both, such as architecture. A good number of architectural rules have been experimentally tested for safety. Still, subjective aesthetics have always been a major consideration in the construction of new buildings. The same can be said about the design of cars or any consumer product. — Tarskian
That's right.
For millennia, humans have understood that buildings should be practical, beautiful, and sustainable, because if any of these qualities are omitted or prioritized the buildings become practical but not beautiful, or beautiful but unsustainable, or sustainable but regardless of how. — jkop
There's no causal relation between the aesthetics and the sustainability and the practical reason for solar panels.
— jkop
Does such a causal relation exist? — ucarr
Yes, in the sense that architecture causally emerges from the building's practical, aesthetical, and sustainable qualities. — jkop
So, one possible summit of a science-art mesh would be a building that's useful, ecological and beautiful. — ucarr
Yeah, those three (or closely related varieties of each) are the essential components of all successful structural designs. Also known as the Vitruvian Triad.
When the sciences divorced the humanities, many intellectuals (e.g. Schopenhauer) became reluctant to see architecture as an art. It just seemed too pragmatic, concerned with functions etc. — jkop
1 – Merriam-Webster is garbage;
2 – that is a metaphorical meaning;
12 – Merriam-Webster would have noted that were it not a terrible dictionary.
Even if it is somehow a valid definition, it is worthless for the argument being put forth. I won't invest my energies into explaining it. You can think about it if you want. — Lionino
Even if the universe turns out to have a theory, this theory will almost surely be incomplete and therefore be able to predict just a small fraction of its facts. So, there is indeed ample scope for mysteries and miracles. — Tarskian
The big difficulty is that one has to have competence in a field in order to assess how authoritative a source is — Ludwig V
In practice, that is not true. Competence in the field is not required, just common sense. A physics textbook by a professor from Utretch, used in physics courses internationally, is authoritative, a researcher's blogspot is not.
I don't need to know neuroscience to have the common sense to not take at face value a research paper (which isn't made for laymen) from 2011 with 2 citations and 1 no-name researcher. — Lionino
I am not interested in discussing physics with anyone before the moment of force of this high school problem is presented to me in Cartesian coordinates — Lionino
...HPU is not about either "existence" or "observation", these two mean nothing in physics. — Lionino
...observation is not relevant in physics, it is interference that is relevant, and interference happens through measurement, which is how we observe things (observation in itself is irrelevant). — Lionino
Is Heisenberg's uncertainty principle about existence or observation? — ucarr
Neither. — 01Lionino
No. The HUP still is not about the "limits of quantised physical interactions". It has a clear physical meaning. — 02Lionino
Is Heisenberg's uncertainty principle about existence or observation? — ucarr
Neither. — 01Lionino