Why is there so much crackpot physics?

...which tells us nothing about whether the rejection killed the dichotomy or whether the distinction survived despite that rejection, being regarded as useful for, well: drawing distinctions. Carnap was aware of Quine's objections, but justified maintaining the dichotomy on utilitarian grounds - which seem more in line with my work.
The analytic/synthetic dichotomy is sustainable in some particular circumstances where "analytic" can be identified with an objectively definable notion such as "provable", "valid", or some such. In those common cases, however, the analytic/synthetic distinction just adds misleading synonyms to existing technical nomenclature. When no objectively definable notion of analytic is available, then Quine's objections hold with full force and the analytic/synthetic dichotomy just adds muddle. In my opinion, therefore, it's hard to find any real use for the dichotomy.

It would be very helpful to know what "the ambiguity" is, and some hint about what you'd like me to do about it?
Cite your sources instead of plagiarizing them.

I'd like to call attention to Raatikainen's review of a cleverly titled book by Torkel Franzén: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. In that review, Raatikainen applauds Franzén's refutation of BurntSynapse's argument:

To me, he's talking about arguments with regard to mathematics which attack it as unreliable. I don't recognize any of those arguments as opinions I share.
Some of us had somehow gotten the impression you were trying to use Gödel's incompleteness theorems to support your belief that physicists' use of vector math entails risk of "undocumented assumptions" in physics.

I regard uses of math different than math. Risky use does not mean the math is risky in and of itself in any way, and should not be taken as such.
When using math, there is the obvious and mundane risk that someone (e.g. a physicist) might make a mistake. Had you been talking about that risk, everyone would have agreed with you at the outset and we would not be having this conversation.

There is a smaller risk that someone (typically a mathematician) might make a mistake that gets past peer review and enters a paper that describes faulty mathematics upon which physicists might eventually rely. Mathematicians make a fair number of such mistakes, but the risk here is small because most (though not all) of the math physicists rely upon has been in widepread use for a long time and is pretty thoroughly debugged. I thought at first that this was the kind of risk you were talking about in vector math, but whenever I say anything about this kind of risk you say it has nothing to do with the risk you're talking about.

Gödel's incompleteness theorems have nothing to do with risk in math or physics. When you dragged Gödel into the conversation, it was a clear signal you didn't know what you were talking about.

There is a small risk of inconsistency in ZF, and I suppose there may be some theoretical risk that even Peano arithmetic is inconsistent. If you were saying those risks are undocumented, you'd be as wrong as it's possible to be.

(Pro tip: Refusing to explain your position with any real clarity makes it easier for you to say critics are attacking a position you don't hold, but it is possible to protest so often as to rule out all reasonable positions you could have held.)​

My read of Gödel's incompleteness theorems, (first learned from Gödel, Escher, Bach and as described therein) is that the incompleteness he describes in dialog form is analogous to the project management principles of inherently incomplete documentation, and the issue that PM standards are limited in their ability to define when to apply any particular guideline.
That's a fairly bizarre misreading of Gödel's incompleteness theorems. If you tell us which section(s) of Hofstadter's book led you to that impression, perhaps we can help you to debug your thinking.

You continue to pretend my characterization of your opinion as a grotesque distortion of Quine's theory was unsupported by specifics or argument. Fair-minded readers who examine that post will conclude otherwise.
A) It's not pretending, and
B) it's not my objection.

It's more that the specifics seem to attack opinions that I don't hold.
It does take a certain amount of intellectual sophistication to see any connection between Burton Dreben's refutation of the claim that Quine's theory of underdetermination leads to thinking there's as much evidence for Zeus as for electrons and your own claim that Quine's theory of underdetermination makes it hard to tell whether falling is better explained by Zeus or by a theory of gravity.

(Pro tip: When complaining about attacks on opinions you don't hold, your habit of mangling or deleting links in the attacks you quote could lead readers to suspect you are trying to make it harder for them to view the evidence. In your quotation of my words above, I took the liberty of restoring the link you deleted.)​
 
Wow, excellent obfuscating jargon! :D

Although jargon can also be used to concisely express complex technical ideas...

Obfuscating suggests intention to deceive, which is not my intention here. Obviously, we are all certain to be wrong, less-developed, and ignorant of many things from future perspectives, (assuming we grow).

I affirm as if I were in a court of law: I am trying tell the truth, the whole truth, and nothing but the truth.

If something seems unclear, knowledgeable participants in the discussion can help - there is no weakness in asking.
 
Last edited:
I just completed Max Tegmark's book "Our Mathematical Universe," wherein he describes his idea of a four level multiverse as well as the notion that the universe is mathematics.
Tegmark makes the latter claim observing that at the most fundamental level all we have is mathematical structure to describe nature. For example, the electron as nothing more than the mathematical structure describing it, since all properties of an electron can be completely described mathematically. He then invokes the mathematical concept of isomorphism to conclude the electron is the mathematical structure describing it. It's a provocative idea.
I would be interested to learn to what degree the physicists here would find his conjectures to be "crackpot" as opposed to, say, "interesting speculation."
 
I just completed Max Tegmark's book "Our Mathematical Universe," wherein he describes his idea of a four level multiverse as well as the notion that the universe is mathematics.
Tegmark makes the latter claim observing that at the most fundamental level all we have is mathematical structure to describe nature. For example, the electron as nothing more than the mathematical structure describing it, since all properties of an electron can be completely described mathematically. He then invokes the mathematical concept of isomorphism to conclude the electron is the mathematical structure describing it. It's a provocative idea.
I would be interested to learn to what degree the physicists here would find his conjectures to be "crackpot" as opposed to, say, "interesting speculation."


Well, in a lot of ways "crackpot" is often just an over application of, or devotion to, an "interesting speculation". When the mathematical description of an electron repels the same mathematical description of another electron I might go with "the electron is the mathematical structure describing it". Until then the electron has a property called charge which we can describe mathematically but it is still a property the electron has and those mathematical descriptions do not. So while the electron has its properties and is described by them in its interactions. The mathematics just describes those properties and interactions not actually having the properties of the electron (like charge) and having other properties the electron itself does not have (like the ability to be easily manipulated). One of the problems with this 'isomorphic' electron is that our mathematics generally describes idealized electrons and/or an electron just within some limitations. Indeed the mathematics is our best description of the electron (idealized and limited) and that is where those isomorphic aspects remain.
 
Not confused, nor do I think it funny, nor do I think including a name leaves a person unable to ask for any details about which they have any question.
Who is this imaginary person that you are talking about, BurntSynapse :D.
People in this thread have asked you questions about your name dropping, e.g. my questions:
BurntSynapse, Please define Nersessian's "concrete problem"
First asked 29 January 2014.

BurntSynapse, please cite, quote or describe the "Nersessian Model"/" Representation"/"the main thrust of Creating Scientific Concepts
First asked 5 February 2014
 
Well, in a lot of ways "crackpot" is often just an over application of, or devotion to, an "interesting speculation". When the mathematical description of an electron repels the same mathematical description of another electron I might go with "the electron is the mathematical structure describing it". Until then the electron has a property called charge which we can describe mathematically but it is still a property the electron has and those mathematical descriptions do not. So while the electron has its properties and is described by them in its interactions. The mathematics just describes those properties and interactions not actually having the properties of the electron (like charge) and having other properties the electron itself does not have (like the ability to be easily manipulated). One of the problems with this 'isomorphic' electron is that our mathematics generally describes idealized electrons and/or an electron just within some limitations. Indeed the mathematics is our best description of the electron (idealized and limited) and that is where those isomorphic aspects remain.
But the mathematics does describe electric charge and all its consequences. Do not the quantum field equations for electrons apply to all situations describing the underlying behavior of electrons, not just limited and idealized ones? Isn't the idealization you mention used for clarity and computational purposes?
 
The analytic/synthetic dichotomy is sustainable in some particular circumstances where "analytic" can be identified with an objectively definable notion such as "provable", "valid", or some such.
As your references pointed out convincingly, objective definition appears beyond reach, but where we seem to disagree here is whether subjective, relative definition is permissible which justifies the distinction. If tons of people agree, but objective criteria prove difficult, shall we assert no such distinction exists? Kassler claims philosophers definitions are not the same as lexicographers.

Kassler’s explanation: “Mere agreement about the cases, like "this counts as science while this as pseudo-science," even if almost all of us agree and agree confidently, won't tell us what our criteria are, much less how good they are. So a definition would be lovely, yet good definitions are hard to come by. We don't always need a definition in order to draw a confident distinction.”


In those common cases, however, the analytic/synthetic distinction just adds misleading synonyms to existing technical nomenclature.
When we say the distinction "just adds misleading synonyms", it seems to conflict with Kassler’s claims: “If we have necessary conditions, we can confidently rule certain things out from counting as bourbon or as science. We can say, here are the necessary conditions, this thing doesn't meet a necessary condition, hence it's not science. Similarly, if we have sufficient conditions, we can definitively rule certain things in.”
For transdisciplinary linking, this seems significant.

When no objectively definable notion of analytic is available, then Quine's objections hold with full force and the analytic/synthetic dichotomy just adds muddle.
I think you're repeating for emphasis, and I acknowledge your objection is both substantial and defensible. I suspect we further agree the importance of the objectively definable criteria you present (as one of the math & physics experts here) is less important within utilitarian perspectives, where we are concerned with doing something different than formally proving.

We may be unable to define pornography or childhood with any objective precision, but we do want some legal restrictions, especially when those attributes intersect.

Cite your sources instead of plagiarizing them.
Good advice & I'll work on doing better with that.

As I said VERY early: the only idea I can claim (AFAIK) is treating physics as an information system for providing decision-relevant information...or something pretty close to that.

Yes, that seems accurate as an illustration of where completeness for rules governing the application of rules can never be totally documented, it must be assumed. Reminder: this is exactly what your critic of the mis-use of Gödel, Escher, Bach stated. His argument, IMO, reflect the utilitarian view that functionality trumps objective definition...even going so far as to claim it can make absolutely certain claims, which seems to contravening the “always subject to revision or incorporation in a larger theory” condition required in science.

When using math, there is the obvious and mundane risk that someone (e.g. a physicist) might make a mistake. Had you been talking about that risk, everyone would have agreed with you at the outset and we would not be having this conversation.
Perhaps, but I'm concerned with underdetermination regarding which math or model to use. My reading is that historically there’s nothing within geo-centric math, the model itself, or its related theories that will tell us it should be excluded, or included. From http://en.wikipedia.org/wiki/Tarski's_indefinability_theorem : “…truth in the standard model of the system cannot be defined within the system”.
Quine’s web of belief explained how theories are protected from disconfirming evidence, and this protection seems to lie outside the model or math.

I find the argument that quaternions were less risky compelling because advocates provided arguments which seem compelling even if I don't understand them, while critics' denials seem to lack the same depth. This criterion lies outside the math, even outside the mathematicians. I also tend to judge based on how many top experts go from one side to the other, and I even advocate this as a good heuristic. I tell people: “Want to know if climate change/religion/autism links to vaccines are real? Top experts usually only go one way at a time – and we should not blindly follow, but we should follow.”

I've never spoken to a quaternion expert who didn't have a solid grounding in vectors, and then eschewed Q's for reasons that the techniques were more capable. I can't prove they’re better for anything, but if I have to provide some sort of example for a new approach that has does not seem to have been done yet, Q’s are the first pain-reliever I reach for. Better criteria & examples are invited.

There is a smaller risk that someone (typically a mathematician) might make a mistake that gets past peer review and enters a paper that describes faulty mathematics upon which physicists might eventually rely.
Yeah...but we agree this is very small, and I hope we agree different than a mistake in which mathematics to use.

Mathematicians make a fair number of such mistakes, but the risk here is small because most (though not all) of the math physicists rely upon has been in widepread use for a long time and is pretty thoroughly debugged. I thought at first that this was the kind of risk you were talking about in vector math, but whenever I say anything about this kind of risk you say it has nothing to do with the risk you're talking about.
Yup...and I said it again above. The technique or tool and its selection are related, but different, IMO.

Gödel's incompleteness theorems have nothing to do with risk in math or physics.
I think given sufficiently strict definitions, I’d agree, but the Tarski stuff does seem awfully close to what I’m saying. I’d be interested to know what Quine wrote in the last chapter of Mathematical Logic described at: http://en.wikipedia.org/wiki/Willard_Van_Orman_Quine




When you dragged Gödel into the conversation, it was a clear signal you didn't know what you were talking about.
You think? ;) Hopefully repeated agreement with my limitless inadequacies will enable critics to take yes for an answer, and help compensate for them.
I remember a conversation from Gödel, Escher, Bach where there was an infinite regress of "Suppose I agree with all those, and still don't accept X" (note: trying to remember from approx. 35 years ago.)

I'm no mathematician, physicist, or HPS expert. I am an expert in designing standards for successful delivery of a defined goal, with lots of experience in making it happen.

There is a small risk of inconsistency in ZF, and I suppose there may be some theoretical risk that even Peano arithmetic is inconsistent. If you were saying those risks are undocumented, you'd be as wrong as it's possible to be.
OK! That's delightfully different than a previous "you're wrong as it's possible to be".

I'm not arguing that sort of risk. I refer to the undocumented risk inherent in using cognitive frames without any awareness of how they are reconfigured during paradigm change.


(Pro tip: Refusing to explain your position with any real clarity makes it easier for you to say critics are attacking a position you don't hold, but it is possible to protest so often as to rule out all reasonable positions you could have held.)​
This sounds like a generalization of the all the particulars for which we cannot and (IMO) should not be trying to establish clarity, such as specific impacts far in the future.

That's a fairly bizarre misreading of Gödel's incompleteness theorems. If you tell us which section(s) of Hofstadter's book led you to that impression, perhaps we can help you to debug your thinking.
Described above.

“My claim” actually comes from Kassler’s explanation of why Quine advocates “simplicity and conservatism” as criteria for preferring different webs of belief. This seems related to underdetermation and incompleteness, but I don’t think any segments of the PMBOK on risk management are going to be rewritten if that perception proves illusory.

(Pro tip: When complaining about attacks on opinions you don't hold, your habit of mangling or deleting links in the attacks you quote could lead readers to suspect you are trying to make it harder for them to view the evidence. In your quotation of my words above, I took the liberty of restoring the link you deleted.)​
[/QUOTE]
My apologies for invoking Hanlon's Razor again, and I'd really appreciate more focus on substance than form, unless agreement on even the smallest point is prohibited by some rule I don't share.
If there is a way to easily include sub-quotes that otherwise get deleted, I’d appreciate any help with that.
 

I thought I'd already given this link:
www.amazon.com/Creating-Scientific-Concepts-Bradford-Books/dp/0262515075

I also thought I'd quoted and/or summarized bits from that page:
How do novel scientific concepts arise? In Creating Scientific Concepts, Nancy Nersessian seeks to answer this central but virtually unasked question in the problem of conceptual change. She argues that the popular image of novel concepts and profound insight bursting forth in a blinding flash of inspiration is mistaken. Instead, novel concepts are shown to arise out of the interplay of three factors: an attempt to solve specific problems; the use of conceptual, analytical, and material resources provided by the cognitive-social-cultural context of the problem; and dynamic processes of reasoning that extend ordinary cognition. Focusing on the third factor, Nersessian draws on cognitive science research and historical accounts of scientific practices to show how scientific and ordinary cognition lie on a continuum, and how problem-solving practices in one illuminate practices in the other. Her investigations of scientific practices show conceptual change as deriving from the use of analogies, imagistic representations, and thought experiments, integrated with experimental investigations and mathematical analyses. She presents a view of constructed models as hybrid objects, serving as intermediaries between targets and analogical sources in bootstrapping processes. Extending these results, she argues that these complex cognitive operations and structures are not mere aids to discovery, but that together they constitute a powerful form of reasoning--model-based reasoning--that generates novelty. This new approach to mental modeling and analogy, together with Nersessian's cognitive-historical approach, make Creating Scientific Concepts equally valuable to cognitive science and philosophy of science.
 
Last edited:
Not at all. It just means the jargon you posted made your meaning obscure, unclear, or unintelligible. I have no idea why you do it.
To me, jargon is only meaningless if I'm unwilling to do some minimal research. If the learning curve is too steep, I ask for help understanding.

Example, when I didn't understand ZF, I didn't think the user had done anything unusual, assuming it was an exemplar for the topic in his field.

A few back & forths with Wikipedia helped me get the gist...and I think the concept stuck better than if he'd just explained.
 
"Creating Scientific Concepts" turns out to be irrelevant

Which ignores the first question:
BurntSynapse, Please define Nersessian's "concrete problem"
First asked 29 January 2014.

And is a general description of the book which makes the answer to:
BurntSynapse, please cite, quote or describe the "Nersessian Model"/" Representation"/"the main thrust of Creating Scientific Concepts"

The "Nersessian Model"/" Representation"/"the main thrust of Creating Scientific Concepts" is not relevant to this thread :jaw-dropp!
The book is an analysis of historical novel scientific concepts arising, not a proposal to improve current scientific research.

Anyone who has learned about the history of science knows that the popular image of progress by Aha! moments is mostly wrong.
 
In an attempt to improve the focus of this conversation, I'm going to ignore several side issues that belong in the subforum devoted to Religion & Philosophy.

Yes, that seems accurate as an illustration of where completeness for rules governing the application of rules can never be totally documented, it must be assumed. Reminder: this is exactly what your critic of the mis-use of Gödel, Escher, Bach stated. His argument, IMO, reflect the utilitarian view that functionality trumps objective definition...even going so far as to claim it can make absolutely certain claims, which seems to contravening the “always subject to revision or incorporation in a larger theory” condition required in science.
Yowza. What you said there is half wrong and the other half bafflegab.

Gödel's completeness theorem (not his incompleteness theorems) proved the completeness of certain rules governing application of the inference rules for first order logic. That's not an assumption, it's a theorem, and that theorem provides unassailable documentation of the fact.

As for "your critic of the mis-use of Gödel, Escher, Bach", which critic do you think you're talking about? I was talking about Torkel Franzén's criticism of the misuse of Gödel's incompleteness theorem by people like you. Franzén wasn't talking about Hofstadter's book.

No matter which critic you think you were discussing, what you wrote about that critic's claims was pure bafflegab. Your description of the criticism bears absolutely no resemblance to Franzén's actual criticism (or any other critic I've cited or quoted, so far as I know).

I find the argument that quaternions were less risky compelling because advocates provided arguments which seem compelling even if I don't understand them, while critics' denials seem to lack the same depth. This criterion lies outside the math, even outside the mathematicians. I also tend to judge based on how many top experts go from one side to the other, and I even advocate this as a good heuristic. I tell people: “Want to know if climate change/religion/autism links to vaccines are real? Top experts usually only go one way at a time – and we should not blindly follow, but we should follow.”

I've never spoken to a quaternion expert who didn't have a solid grounding in vectors, and then eschewed Q's for reasons that the techniques were more capable. I can't prove they’re better for anything, but if I have to provide some sort of example for a new approach that has does not seem to have been done yet, Q’s are the first pain-reliever I reach for. Better criteria & examples are invited.
Better criteria and examples were provided months ago. The experts who have replied to you within this thread were unanimous in saying there's nothing wrong with quaternions or with quaternion formulations of Maxwell's equations, but were also unanimous in explaining why vector formulations are now preferred: the vector formulations generalize to higher dimensions (needed for example in relativity) and to more powerful mathematics (including tensor algebra and differential geometry), while the quaternion formulations do not.

When you say you favor quaternions over vector math because you "judge based on how many top experts go from one side to the other", you reveal flaws in your judgment and strong bias in your selection of experts. From our academic training and professional experience, it's virtually certain that I and many of your other critics within this thread are far more aware of what real experts say about quaternions than you are. Nevertheless you continue to prefer your own uninformed judgment to that of domain experts, even after the domain experts have provided you with convincing technical reasons for their informed opinions.

That is not a hallmark of intelligent project management.

Gödel's incompleteness theorems have nothing to do with risk in math or physics.
I think given sufficiently strict definitions, I’d agree, but the Tarski stuff does seem awfully close to what I’m saying. I’d be interested to know what Quine wrote in the last chapter of Mathematical Logic described at: http://en.wikipedia.org/wiki/Willard_Van_Orman_Quine
Your mention of Tarski here was useless name-dropping. So far as I know, the only reference to Tarski within this thread had been my reference to Tarski's theorem, which is Theorem 17.3 in Boolos et al., Computability and Logic, fifth edition.

Your mention of Quine was only marginally better. You cited the Wikipedia article on Quine and referred to the last chapter of a specific book, Mathematical Logic, but you didn't say why. I suspect your only knowledge of that chapter comes from the Wikipedia article, which says the chapter deals with Gödel's incompleteness theorem [sic] and Tarski's indefinability theorem. That material was covered in chapters 17 and 18 of the fifth edition of Boolos et al., which I have already summarized here in considerable detail. Quine's treatment of this material is nowhere near as good.

When you dragged Gödel into the conversation, it was a clear signal you didn't know what you were talking about.
You think? ;) Hopefully repeated agreement with my limitless inadequacies will enable critics to take yes for an answer, and help compensate for them.
I remember a conversation from Gödel, Escher, Bach where there was an infinite regress of "Suppose I agree with all those, and still don't accept X" (note: trying to remember from approx. 35 years ago.)
Okay. I (literally :() cracked open my paperback copy this afternoon and found nothing that could have led to your misreading Gödel's incompleteness theorems as "analogous to the project management principles of inherently incomplete documentation, and the issue that PM standards are limited in their ability to define when to apply any particular guideline." That misreading also seems to be a long way from any conversation Hofstadter might have invented about an infinite regress of contrariness.

If you've been straight with us concerning the sources of your interpretation of Gödel's incompleteness theorems, then you would do well to start over with the knowledge that you never really understood those theorems, and try not to make the same mistakes next time.

I'm not arguing that sort of risk. I refer to the undocumented risk inherent in using cognitive frames without any awareness of how they are reconfigured during paradigm change.
Your participation here has demonstrated that risk most convincingly. Your critics have shown considerably greater awareness than you have.

We've seen that with respect to two specific paradigm changes I had cause to mention above: (1) the shift from quaternions to vector math and (2) the shift from Hilbert's program to Gödel's incompleteness theorems.
 
BurntSynapse said:
Not at all. It just means the jargon you posted made your meaning obscure, unclear, or unintelligible. I have no idea why you do it.
To me, jargon is only meaningless if I'm unwilling to do some minimal research. If the learning curve is too steep, I ask for help understanding.
Sometimes it's just poor communication. In this case, it didn't really matter.
 
Yowza. What you said there is half wrong and the other half bafflegab.
Typically, "what you said" is used here to criticize things I actually did not say and don't believe, while questions to get at the root of how & where such criticisms got off the rails are ignored. This is accompanied by protestations that my opinion is not properly explained. Here I use the term "criticism" loosely, since insult seems more appropriate for terms like "bafflegab" and demeaning categorization of myself with "people" ascribed various defects.

Gödel's completeness theorem (not his incompleteness theorems) proved the completeness of certain rules governing application of the inference rules for first order logic.
Even if true, says nothing clearly related to my claims. I've never argued against this point - at all. How does this support the argument that Nersessian's model "enables more targeted, intelligent management of research programs"?

That's not an assumption, it's a theorem, and that theorem provides unassailable documentation of the fact.
AFAICT, this is unrelated to any of my opinions.

As for "your critic of the mis-use of Gödel, Escher, Bach", which critic do you think you're talking about?
Unless I'm very much mistaken, I'm talking about Panu Raatikainen, under whose name you posted his claims about "absolutely certain knowledge about the truth of the axioms of the system" which I consider to violate a necessary condition of science.

I was talking about Torkel Franzén's criticism of the misuse of Gödel's incompleteness theorem
If the fact that Torkel Franzén said it is so much more important to you than what either the idea's meaning, validity, or potential value:
A) we have very different priorities regarding proper "focus" and
B) you should quote Torkel Franzén.

Franzén wasn't talking about Hofstadter's book.
Gossiping (obsessively) over form and who said what to whom, excluding content smacks of desperation to avoid the issues.

No matter which critic you think you were discussing...
Panu Raatikainen... http://www.ams.org/notices/200703/rev-raatikainen.pdf

what you wrote about that critic's claims was pure bafflegab.
Next, you will almost certainly claim that it is also wrong, despite the fact that bafflegab CANNOT be wrong since meaningless gibberish is not truth functional.

Your description of the criticism bears absolutely no resemblance to Franzén's actual criticism (or any other critic I've cited or quoted, so far as I know).
False in as many ways as one wishes to invest the time in citing, assuming the prior criticism of bafflegab is false, and there is some truth functional claim. Saying "bafflegab bears absolutely no resemblance" is silly. Inviting pedantically silly refutation:
The bafflegab resembles the criticism in that both of them:
- appear online
- were typed by mortals on keyboards using electricity
- include vowels interspersed with consonants,
Etc., ad infinitum.

"Bafflegab" is not any more magic than "focus" or ignoring refutation at providing objections that can be taken seriously.

Hand waving to "your writing", and "your posts are evidence for/against X" at some point begin to feel intellectually dishonest to me.

Better criteria and examples were provided months ago.
Hand wave.

The experts who have replied to you
I suspect these the same experts I requested to be identified when they were invoked earlier in a similar fashion. The request was snipped and ignored, as I recall.

within this thread were unanimous in saying there's nothing wrong with quaternions or with quaternion formulations of Maxwell's equations, but were also unanimous in explaining why vector formulations are now preferred: the vector formulations generalize to higher dimensions (needed for example in relativity) and to more powerful mathematics (including tensor algebra and differential geometry), while the quaternion formulations do not.
You seem to imply there is some aspect of any of this with which I disagree. AFAICT, this has no relation to any of my opinions, and you don't present any obvious links to them.

When you say you favor quaternions over vector math because you "judge based on how many top experts go from one side to the other", you reveal flaws in your judgment and strong bias in your selection of experts.
The most important distinction to me of my explicitly acknowledged bias is my awareness of it. Without that awareness, I think we tend to easily slip into fallacy and dogmas we cannot perceive, attacking others for failings we ourselves share.

From our academic training and professional experience, it's virtually certain that I and many of your other critics within this thread are far more aware of what real experts say about quaternions than you are.

As if I've not claimed that many times. The only reason this is not a bad appeal to authority is that it isn't being used to support any detectable position, although the implied message seems to be my claims are bad in just about every possible way, no matter what.

Nevertheless you continue to prefer your own uninformed judgment to that of domain experts, even after the domain experts have provided you with convincing technical reasons for their informed opinions.
There are many expert arguments given in this thread. If, like these objections, they do not criticize any identifiable "uninformed judgment" I hold, then it does seem proper to acknowledge their correctness in the point they make while maintaining my current stance.

Accusing me of being associated with "people like X" who are described as having opinions I lack is not a compelling objection, and IMO, undermines the credibility of the critic, since they either cannot see or recognize the irrelevance of their expertly-supported point.


That is not a hallmark of intelligent project management.
True it is completely irrelevant.


Your mention of Tarski here was useless name-dropping. So far as I know, the only reference to Tarski within this thread had been my reference to Tarski's theorem, which is Theorem 17.3 in Boolos et al., Computability and Logic, fifth edition.
This seems to argue Tarski's idea is irrelevant because it had not been mentioned before, which seems an unusual criteria for establishing these claims of "useless" and "name-dropping".

Your mention of Quine was only marginally better. You cited the Wikipedia article on Quine and referred to the last chapter of a specific book, Mathematical Logic, but you didn't say why.

I'd intended the context of the immediately preceding sentence to make the relation clear. Underdetermination regarding which math or model to use does seem related by some thinkers to incompleteness, rejected by others & some here.

Okay. I (literally :() cracked open my paperback copy this afternoon and found nothing that could have led to your misreading Gödel's incompleteness theorems as "analogous to the project management principles of inherently incomplete documentation, and the issue that PM standards are limited in their ability to define when to apply any particular guideline."
Math studies found inherent incompleteness, PM studies found inherent incompleteness, HPS studies found incompleteness.

If a reader cannot find any plausible analogies, I'm probably not a good resource to assist further.


If you've been straight with us concerning the sources of your interpretation of Gödel's incompleteness theorems, then you would do well to start over with the knowledge that you never really understood those theorems, and try not to make the same mistakes next time.
This comment suggests no distinction between the content of the theorems (about which I've consistently declared my complete ignorance) and their value to illustrate an important epistemological truth in scientific development efforts.

Arguments against math claims I don't make, cannot make, have not made, and repeatedly declared that I've not made them - these arguments seem emotionally motivated and quite misguided. If one wishes to show that the principle of incompleteness appearing in multiple fields by multiple means absolutely cannot be considered a plausible clue for directing research, then it seems one should try to make that case.

Name-calling, hand waving, determination to object no matter how spurious or fallacious the objection, focus on names, spelling, style, and the host of other distractions suggest a very weak position indeed.
 
Last edited:
Which ignores the first question:
BurntSynapse, Please define Nersessian's "concrete problem"
First asked 29 January 2014.

And is a general description of the book which makes the answer to:
BurntSynapse, please cite, quote or describe the "Nersessian Model"/" Representation"/"the main thrust of Creating Scientific Concepts"

The "Nersessian Model"/" Representation"/"the main thrust of Creating Scientific Concepts" is not relevant to this thread :jaw-dropp!
The book is an analysis of historical novel scientific concepts arising, not a proposal to improve current scientific research.

Anyone who has learned about the history of science knows that the popular image of progress by Aha! moments is mostly wrong.

Do you mean that the apple never fell on Newton's head inspiring the Law of Gravity? If that was a lie then all science must be a lie since all science ultimately comes from Newton's head.

Because scientists lie all science is a lie so my woo* is true.

*The Co-inhabiting, Co-joined, Co-operating Purposefuly Organised Universe.

(C3 PO U)
 
>sniped for Gab<
Name-calling, hand waving, determination to object no matter how spurious or fallacious the objection, focus on names, spelling, style, and the host of other distractions suggest a very weak position indeed.

There was this guy called Gabbey but everyone called him Gab it was so easy to fool him that everyone baffled Gab.
 
Last edited:
In his most recent post, BurntSynapse continued to complain that my criticism is directed toward opinions he does not hold. I will refute his protests by examining only his first complaint in detail; his subsequent complaints were no more justified than his first.

Yowza. What you said there is half wrong and the other half bafflegab.
Typically, "what you said" is used here to criticize things I actually did not say and don't believe, while questions to get at the root of how & where such criticisms got off the rails are ignored. This is accompanied by protestations that my opinion is not properly explained. Here I use the term "criticism" loosely, since insult seems more appropriate for terms like "bafflegab" and demeaning categorization of myself with "people" ascribed various defects.

Gödel's completeness theorem (not his incompleteness theorems) proved the completeness of certain rules governing application of the inference rules for first order logic.
Even if true, says nothing clearly related to my claims. I've never argued against this point - at all. How does this support the argument that Nersessian's model "enables more targeted, intelligent management of research programs"?

That's not an assumption, it's a theorem, and that theorem provides unassailable documentation of the fact.
AFAICT, this is unrelated to any of my opinions.


That's enough. Let's look at BurntSynapse's very first sentence in the paragraph I was criticizing:

Yes, that seems accurate as an illustration of where completeness for rules governing the application of rules can never be totally documented, it must be assumed.


That sentence is not bafflegab. It is, however, completely wrong.

There are thousands of systems in which "completeness for rules governing the application of rules" has been totally documented. Most of those systems are quite trivial, and the documentation often takes the form of a computer program that applies the rules. Consider, for example, the rules that specify the context-free syntax of a programming language. Those rules correspond to productions of the context-free grammar (CFG) for the language, which is usually documented. There are many viable sets of rules for applying those rules, giving rise to different kinds of parsers, e.g. LL(1), SLR(1), LALR(1), LR(1) and so forth, but we have mathematical theorems that tell us each of those particular kinds of parsers is complete (will accept every correct program and will reject every program that contains context-free syntax errors), so the completeness of the parsers' rules for applying the rules of the CFG is documented (by those theorems). That's why programmers accept a compiler's report of syntax errors as definitive: In modern compilers, where the parser has been generated directly from the CFG by a modern parser generator, it would be absurd to protest that the compiler's algorithm for applying the rules of the CFG isn't complete enough to accept the program being rejected.

That's an entire class of mundane counterexamples to BurntSynapse's claim.

The counterexample I actually offered was more interesting and relevant to the discussion: Gödel's completeness theorem proved the completeness of certain rules governing application of the inference rules for first order logic.

BurntSynapse responded to that counterexample by saying "Even if true, says nothing clearly related to my claims."

The "Even if true" part was interesting. Instead of checking for himself whether what I had said was true, BurntSynapse took a wild and hopeless shot at my credibility.

As for the "says nothing clearly related to my claims", that's a funny way of acknowledging Gödel's completeness theorem as a clear counterexample to BurntSynapse's claimed impossibility of documenting "completeness for rules governing the application of rules", and his claim that said completeness "must be assumed". Gödel didn't assume the completeness of a set of rules for proving validity in first order logic. He proved it.

The rest of BurntSynapse's recent post was just as bad as its opening sentences. Point-by-point rebuttal would be both futile and redundant.
 
We all are experts in something.

And there we have it. Ultimately, there is so much crackpot physics because people like BurntSynapse believe the above. In reality, the majority of people are not experts in anything. But people like BurtSynapse often make the mistake of thinking they know more than they actually do and, importantly, more than the actual experts they tend to argue with. The Dunning-Krueger effect is fairly well known here, but it's quite unusual for someone to admit to knowingly being a victim of it.

I just completed Max Tegmark's book "Our Mathematical Universe," wherein he describes his idea of a four level multiverse as well as the notion that the universe is mathematics.
Tegmark makes the latter claim observing that at the most fundamental level all we have is mathematical structure to describe nature. For example, the electron as nothing more than the mathematical structure describing it, since all properties of an electron can be completely described mathematically. He then invokes the mathematical concept of isomorphism to conclude the electron is the mathematical structure describing it. It's a provocative idea.
I would be interested to learn to what degree the physicists here would find his conjectures to be "crackpot" as opposed to, say, "interesting speculation."

Yeah, it's pretty much crackpot. Maths is essentially just a language. It's a very precisely defined language that is far more useful for accurately describing the world than naturally evolved human languages, but it's still nothing more than that. Saying an electron is the maths makes no more sense than saying an electron is the English. It's not just not interesting speculation, it's not even a meaningful sentence.
 
<...>
Yeah, it's pretty much crackpot. Maths is essentially just a language. It's a very precisely defined language that is far more useful for accurately describing the world than naturally evolved human languages, but it's still nothing more than that. Saying an electron is the maths makes no more sense than saying an electron is the English. It's not just not interesting speculation, it's not even a meaningful sentence.
Mathematics is much more than "essentially just a language." Since your premise is wrong, that which follows is relatively worthless.
 
Mathematics is much more than "essentially just a language."

No it isn't.

Since your premise is wrong, that which follows is relatively worthless.

I'm sure I've said this before, but perhaps you shouldn't bother asking questions if you're just going to argue with and insult the people who actually take the trouble to answer them for you.
 

Back
Top Bottom