Do physics books butcher the math?

[WannabeNewton]

What do you mean? Are you saying "How can one derive spin-statistics from the path integral formalism?" or are you asking "How do you calculate a propagator for spin 1/2 particles?"

Well no I think atyy is simply asking how you would even define fermions without the notion of a Hilbert space. The elementary ones are mode excitations of spinor fields that can only be defined abstractly by multi-particle states in a Fock space.

Also I don't kind quite understand, atyy, in what sense the canonical formulation of qft is more fundamental than the path integral formulation. Weinberg does mention the manifest unitarity of the canonical formalism vs. its non-triviality in the path integral formulation but not impossibility.

 

[Arsenic&Lace]

Well no I think atyy is simply asking how you would even define fermions without the notion of a Hilbert space. The elementary ones are mode excitations of spinor fields that can only be defined abstractly by multi-particle states in a Fock space.

I had to ponder this one for a while. The weakest reply I can make is that the Wikipedia articles on http://en.wikipedia.org/wiki/Fermionic_field[/URL] and [URL="the path integral formalism"]http://en.wikipedia.org/wiki/Path_integral_formulation[/URL] either make no reference to Fock spaces/Hilbert spaces or only reference them to point out that there is an alternative formulation.

The stronger reply is that it is easier to see in the canonical formalism that the Dirac equation has solutions which correspond to spin 1/2 particles. Once you are aware of this, you know that the field solution to this equation is what you need to quantize. Perhaps if you were really bored on a rainy day you could try to see if the fermionic nature of its solutions could be extracted without ever thinking about the canonical formalism (if this is obvious, feel free to point it out, I gave up after lazily thinking about it for 5 minutes). The mathematical technology of Hilbert spaces/Fock spaces does not ever need to be mentioned when solving the Dirac equation. Ah but gamma matrices obey a Clifford algebra, and they've got a basis which consists of Pauli matri--hold on a minute! It may be true that there is a rich underlying algebraic structure to these objects, but that is a feature of the symmetries of the theory, which applies equally to the canonical formalism as it does to the path integral formulation.

Peskin and Schroeder has a somewhat compact section on the functional quantization of the Dirac field which makes no reference to Hilbert Space/Fock space technology. For this reason, I would venture to say that one can define a Dirac fermion as a solution to the Dirac equation. I can then proceed without ever thinking about these more esoteric mathematical objects (and yes Micromass, I agree that Hilbert spaces are really not that exotic, but you must understand that to a physics major like me they were once pretty bizarre)

There seems to be some confusion as to whether or not the notion of a Hilbert space is equivalent to the canonical formalism. To me the canonical formalism is an algebraic approach to QFT; it is an algebraic perspective, where as the path integral formalism is a more analytic perspective. The propagator between two states is often sandwiched between two kets, which are the vanguards of a Hilbert space if anything. Functions are often expanded in terms of orthonormal eigenfunctions; another concept of linear algebra. To me it is not whether or not these concepts are used which makes the Hilbert space more fundamental; it is whether or not the algebraic perspective is adopted wholesale. The overwhelming majority of the work done in the path integral formalism makes little to no reference to this algebraic alternative, and does not leverage the advantages of this point of view.

 

[atyy]

Well no I think atyy is simply asking how you would even define fermions without the notion of a Hilbert space. The elementary ones are mode excitations of spinor fields that can only be defined abstractly by multi-particle states in a Fock space.

Also I don't kind quite understand, atyy, in what sense the canonical formulation of qft is more fundamental than the path integral formulation. Weinberg does mention the manifest unitarity of the canonical formalism vs. its non-triviality in the path integral formulation but not impossibility.

What I mean is that not every path integral defines a quantum theory. We only accept a path integral theory as a quantum theory if it has an equivalent Hilbert space (or C* algebra) formulation. If one could write a path integral formulation of a quantum theory which has no Hilbert space formulation, then one can say that the path integral formulation is more fundamental. At this stage, since the Hilbert space formulation is needed to define an acceptable path integral quantum theory, the Hilbert space formulation is more fundamental.

 

[atyy]

What do you mean? Are you saying "How can one derive spin-statistics from the path integral formalism?" or are you asking "How do you calculate a propagator for spin 1/2 particles?"

What I like about the path integral formulation is everything is quite classical. For QM it's classical particle trajectories, for bosonic QFT it's classical field configurations. Then it's just classical statistical mechanics. So it is very intuitive, maybe just a bit weird that you go to D+1 dimensions.

But for fermions, the variables are not classical variables, they are Grassmann numbers, and the integral is a brand new object called the Berezin integral. So I would like to know why you think this is more intuitive than the "abstract" Hilbert space formalism. It's abstract enough that Feynman was not able to derive the path integral for fermions.

 

[atyy]

Incidentally, it has been conjectured that some quantum theories have no Lagrangian formulation - I don't understand this work at all - just thought I'd bring it up in case someone can explain it.

https://www.ictp.it/media/101047/schwarzictp.pdf
http://db.ipmu.jp/seminar/sysimg/seminar/842.pdf
http://arxiv.org/pdf/hep-th/9609161v1.pdf
http://arxiv.org/pdf/1004.4735.pdf

 

[martinbn]

http://www.ams.org/notices/201009/rtx100901121p.pdf

 

[ZombieFeynman]

The problem is that these things are only intuitive to people who understand the mathematics really well. I'm only half-way there myself, but I understand enough to say that a person who understands topology, measure theory, integration theory, Hilbert spaces and operator algebras well enough to understand exactly in what sense QM is a generalization of probability theory, has a far better understanding of QM than a typical physicist.

Meh, I highly doubt they would have a far better understanding than a typical physicist. I think the typical physicist (read: postdoc or professor) understands physics just as much or more than someone who has diddled with some math.

If I'm wrong, show me the results! There are many high impact papers in physics coming out from labs full of people with little knowledge of (and often great disdain for) the advanced mathematics you speak of. Where are all of the breakthroughs from the folks who have only the mathematical tools?

 

[disregardthat]

Meh, I highly doubt they would have a far better understanding than a typical physicist. I think the typical physicist (read: postdoc or professor) understands physics just as much or more than someone who has diddled with some math.

If I'm wrong, show me the results! There are many high impact papers in physics coming out from labs full of people with little knowledge of (and often great disdain for) the advanced mathematics you speak of. Where are all of the breakthroughs from the folks who have only the mathematical tools?

I don't think there's many physicists with disdain for advanced mathematics that come up with breaktroughs in theoretical physics.

 

[Arsenic&Lace]

I don't think there's many physicists with disdain for advanced mathematics that come up with breaktroughs in theoretical physics.

"If all mathematics disappeared, it would set physics back precisely one week."-Feynman
To paraphrase Einstein (i can't find the original quote), "General relativity became unrecognizable after the mathematicians got their hands on it.", implying that he was not particularly fond of (or perhaps just not clever enough to understand) pure mathematics.

A cursory glance at the modern theoretical physics literature would probably further help you to disabuse yourself of this absurd notion. Beware of citing articles in string theory or topological matter, for instance, since neither of these fields constitute breakthroughs yet.

http://www.ams.org/notices/201009/rtx100901121p.pdf

This article does indeed sum up a few of my complaints with mathematics.

What I mean is that not every path integral defines a quantum theory. We only accept a path integral theory as a quantum theory if it has an equivalent Hilbert space (or C* algebra) formulation. If one could write a path integral formulation of a quantum theory which has no Hilbert space formulation, then one can say that the path integral formulation is more fundamental. At this stage, since the Hilbert space formulation is needed to define an acceptable path integral quantum theory, the Hilbert space formulation is more fundamenta

This conception of a quantum theory is so ludicrous that I can only conclude that a mathematician came up with it and not a physicist. It is a definition munged from the Platonist's world view and not from those who just want to figure out how the world works.

But for fermions, the variables are not classical variables, they are Grassmann numbers, and the integral is a brand new object called the Berezin integral. So I would like to know why you think this is more intuitive than the "abstract" Hilbert space formalism. It's abstract enough that Feynman was not able to derive the path integral for fermions.

For field theory the path integral formalism becomes murkier and more difficult to grasp. But it retains its key advantages, such as the fact that it handles Lorentz invariance with much greater ease than the canonical formalism. The fundamental intuitive picture, best communicated in terms of particles, remains elegant, as does the least action principle.

As for the complexity of the mathematical objects involved, my own experience of the Berezin integral and Grassman variables is that the former is barely remarked upon in field theory texts (it is not usually given that name) and important integrals are computed very intuitively; in the latter case, the relevance of Grassman variables is challenging to communicate but the rules which govern them are hardly sophisticated. I would even argue that the canonical formalism is really not that sophisticated as far as pure mathematics is concerned, it's just very slightly more abstract.

Incidentally, it has been conjectured that some quantum theories have no Lagrangian formulation - I don't understand this work at all - just thought I'd bring it up in case someone can explain it.

A reasonable way to define a quantum field theory would be one which actually describes nature. None of the theories you described actually describe nature, so far as we know. Therefore, I am unsure why anybody would be impressed by the fact that they might not admit themselves to a Lagrangian formulation; this may merely be an artifact of faulty assumptions about nature.

Of course if they could compute interesting experimental results, that would make it very interesting indeed!

 

[micromass]

"If all mathematics disappeared, it would set physics back precisely one week."-Feynman

If we are going to cherry pick quotes:

"To those who do not know mathematics it is difficult to get across a real feeling as to the beauty, the deepest beauty, of nature. ... If you want to learn about nature, to appreciate nature, it is necessary to understand the language that she speaks in." - Feynman

"Our experience hitherto justifies us in trusting that nature is the realization of the simplest that is mathematically conceivable. I am convinced that purely mathematical construction enables us to find those concepts and those lawlike connections between them that provide the key to the understanding of natural phenomena. Useful mathematical concepts may well be suggested by experience, but in no way can they be derived from it. Experience naturally remains the sole criterion of the usefulness of a mathematical construction for physics. But the actual creative principle lies in mathematics. Thus, in a certain sense, I take it to be true that pure thought can grasp the real, as the ancients had dreamed." - Einstein

"One reason why mathematics enjoys special esteem, above all other sciences, is that its laws are absolutely certain and indisputable, while those of other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts." - Einstein

"Pure mathematics is, in its way, the poetry of logical ideas. One seeks the most general ideas of operation which will bring together in simple, logical and unified form the largest possible circle of formal relationships. In this effort toward logical beauty spiritual formulas are discovered necessary for the deeper penetration into the laws of nature." - Einstein

And I think the Feynman quote is apocryphical, I cannot find any source for it.

 

[Arsenic&Lace]

The Einstein quote:
Since the mathematicians have invaded the theory of relativity, I do not understand it myself anymore.
Quoted in P A Schilpp, Albert Einstein, Philosopher-Scientist (Evanston 1949).

Source for Feynman quote:
http://www.mathteacherctk.com/blog/2011/09/physics-minus-mathematics-the-week-of-creation/

I would hate for this thread to devolve into a debate over what dead physicists thought of mathematics, but I must point out to you micromass that mathematics is not wholly trademarked by the math department. The Feynman path integral, for instance, even though it was invented in the physics department and is non-rigorous, is still mathematics. Therefore, it is wholly possible for a physicist to praise mathematics and not be referring to the Platonic culture.

However I'm not trying to argue with these quotes that Feynman and Einstein were not Platonists, but rather that they made major contributions to physics without knowing much pure mathematics. The first quote implies disdain for pure mathematics, which, coupled with Feynman's very intuitive physical arguments and lack of concern for rigor, imply either a lack of knowledge of pure mathematics or at least a very low opinion of it; it certainly wasn't necessary for his major discoveries. In Einstein's case this is just one piece of evidence that he knew little of pure mathematics even if he was a Platonist of sorts with his views on grand unification etc.

 

[jbunniii]

"If all mathematics disappeared, it would set physics back precisely one week."-Feynman

http://www.mathteacherctk.com/blog/2011/09/physics-minus-mathematics-the-week-of-creation/

To that outrageous comment, Kac shot back with that yes, he knew of that week; it was "Precisely the week in which God created the world."

 

[disregardthat]

Not all mathematicians are platonists, and platonism has little to do with mathematics, really. I don't know why you lump in this false dichotomy between physicists and mathematicians in your arguments.

 

[disregardthat]

I would also point out that much of modern mathematics is, in a sense, non-rigorous, meaning that it has no well-established and agreed upon foundation. As far as I understand, in categorical homotopy theory, (and historically in algebraic geometry), much of the work lies in establishing foundations as well as actually doing mathematics (but I'm no topologist). Questions which often arises, in mathematics as well as in physics, is what foundations does these concepts require?. There are many suggestions as to what formalism one would need, and would want, which varies depending on the situation you are in. In this sense, mathematics is independent of foundations and a set formal system. So as much as physicists push the boundaries of formality, mathematicians does as well.

 

[George Jones]

To paraphrase Einstein (i can't find the original quote), "General relativity became unrecognizable after the mathematicians got their hands on it."

The Einstein quote:
Since the mathematicians have invaded the theory of relativity, I do not understand it myself anymore.
Quoted in P A Schilpp, Albert Einstein, Philosopher-Scientist (Evanston 1949).

I don't know about math, but please do not butcher the context and accuracy of quotes. I was fairly certain that I knew the Einstein quote more accurately, and that I knew the context better, but, to make sure, I went to the source. Obviously, you didn't. Here is more extended excerpt from Schilpp:

When, later on, Minkowski built up the special theory of relativity into his "world-geometry," Einstein said on one occasion: "Since the mathematicians have invaded the theory of relativity, I do not understand it myself anymore." But soon thereafter, at the time of the conception of the general theory of relativity, he readily acknowledged the indespensability of the four-dimensional scheme of Minkowski.

It is rather ironic that you chose this quote in an effort to help your position. Einstein's quote refers not to general relativity, but to Minkowski's 1908 paper on special relativity. Einstein then used this, along with his outstanding physical intuition, to help formulate general relativity.

I can't say that I am a fan of your passive-aggressive style of posting.

 

[micromass]

The Einstein quote:
Since the mathematicians have invaded the theory of relativity, I do not understand it myself anymore.
Quoted in P A Schilpp, Albert Einstein, Philosopher-Scientist (Evanston 1949).

Source for Feynman quote:
http://www.mathteacherctk.com/blog/2011/09/physics-minus-mathematics-the-week-of-creation/

I would hate for this thread to devolve into a debate over what dead physicists thought of mathematics, but I must point out to you micromass that mathematics is not wholly trademarked by the math department. The Feynman path integral, for instance, even though it was invented in the physics department and is non-rigorous, is still mathematics. Therefore, it is wholly possible for a physicist to praise mathematics and not be referring to the Platonic culture.

However I'm not trying to argue with these quotes that Feynman and Einstein were not Platonists, but rather that they made major contributions to physics without knowing much pure mathematics. The first quote implies disdain for pure mathematics, which, coupled with Feynman's very intuitive physical arguments and lack of concern for rigor, imply either a lack of knowledge of pure mathematics or at least a very low opinion of it; it certainly wasn't necessary for his major discoveries. In Einstein's case this is just one piece of evidence that he knew little of pure mathematics even if he was a Platonist of sorts with his views on grand unification etc.

Did you even read Einstein's quote on pure mathematics that I posted.

And yes, I fail to see what Platonism has to do with any of this.

 

[WannabeNewton]

What is this thread even about anymore?

This whole thing is reminiscent of a PS3 vs. Xbox 360 fanboy argument.

 

[Student100]

What is this thread even about anymore?

This whole thing is reminiscent of a PS3 vs. Xbox 360 fanboy argument.

Sony > Microsoft

 

[Arsenic&Lace]

What is this thread even about anymore?

This whole thing is reminiscent of a PS3 vs. Xbox 360 fanboy argument.

I would tend to agree were it not for the fact that there is a disdainful and pernicious attitude presented by mathematicians towards physicists/physics students which ought to be quashed.

When someone states that "physicists butcher the math" as if mathematicians actually know something about math (they know as much about it as psychologists know about human behavior, I'd wager) I feel it necessary to point out just how absurdly wrong this point of view is. It's extremely misleading; one might think that opening up a book on advanced calculus would teach you something useful about calculus, but it's debatable whether such a book even constitutes additional knowledge about mathematics at all.

But the thread has spun a bit out of control I will admit.

 

[disregardthat]

How is it debatable whether a book on advanced calculus constitutes additional knowledge about mathematics?

 

[micromass]

I would tend to agree were it not for the fact that there is a disdainful and pernicious attitude presented by mathematicians towards physicists/physics students which ought to be quashed.

So you claim that mathematicians have a bad attitude towards physicists, and you follow that up with:

When someone states that "physicists butcher the math" as if mathematicians actually know something about math

Really?

I'm sorry, but I really don't see a "disdainful and pernicious attitude towards physicists" anywhere (well obviously it exists, but a disdainful attitude from physicists or engineers towards math also exists, and I think you're the most extreme example of that that I've ever met). I don't know where you got that from. Maybe you should just try to be a bit less sensitive.

And I'm sure mathematicians know as much about math as physicists know something about physics.

 

[Student100]

I would tend to agree were it not for the fact that there is a disdainful and pernicious attitude presented by mathematicians towards physicists/physics students which ought to be quashed.

When someone states that "physicists butcher the math" as if mathematicians actually know something about math (they know as much about it as psychologists know about human behavior, I'd wager) I feel it necessary to point out just how absurdly wrong this point of view is. It's extremely misleading; one might think that opening up a book on advanced calculus would teach you something useful about calculus, but it's debatable whether such a book even constitutes additional knowledge about mathematics at all.

But the thread has spun a bit out of control I will admit.

What attitude? I've never encountered such a thing. That's an awful large brush you're painting with there.

 

[rubi]

I don't see how this is even worth being discussed. Mathematics is the science of exact reasoning. It should be obvious that exact reasoning is desirable in physics. At what point are we allowed to be sloppy? Is $\sqrt{x^2+y^2} = x + y$ okay already? I remember the time back in high school when some kids were always asking: "What are integrals good for?" This discussion is the same, just on a slightly higher level. Now people ask: "What are Hilbert spaces good for?"

 

[dextercioby]

Fortunately, there are physics books which don't butcher the math: the Quantum Mechanics 2-volume set of the Spanish fellows Gallindo and Pascual. A must have for anyone claiming to know QM.

 

[micromass]

Fortunately, there are physics books which don't butcher the math: the Quantum Mechanics 2-volume set of the Spanish fellows Gallindo and Pascual. A must have for anyone claiming to know QM.

It sadly has no problems, but I've heard that they're working on that.

 

[atyy]

This conception of a quantum theory is so ludicrous that I can only conclude that a mathematician came up with it and not a physicist. It is a definition munged from the Platonist's world view and not from those who just want to figure out how the world works.

So Martin Lüscher is a mathematician and not a physicist?
http://en.wikipedia.org/wiki/Martin_Lüscher

How about Rajan Gupta, another abstract mathematician, not interested in getting numbers for comparison to experiment?
http://cnls.lanl.gov/~rajan/

Are Stefano Capitani or Karl Jansen head-in-the-clouds abstractionists?
http://inspirehep.net/search?ln=en&p=stefano+capitani&of=hb&action_search=Search
http://www-zeuthen.desy.de/~kjansen/

For field theory the path integral formalism becomes murkier and more difficult to grasp. But it retains its key advantages, such as the fact that it handles Lorentz invariance with much greater ease than the canonical formalism. The fundamental intuitive picture, best communicated in terms of particles, remains elegant, as does the least action principle.

As for the complexity of the mathematical objects involved, my own experience of the Berezin integral and Grassman variables is that the former is barely remarked upon in field theory texts (it is not usually given that name) and important integrals are computed very intuitively; in the latter case, the relevance of Grassman variables is challenging to communicate but the rules which govern them are hardly sophisticated. I would even argue that the canonical formalism is really not that sophisticated as far as pure mathematics is concerned, it's just very slightly more abstract.

Great now you are almost retracting your position that the Hilbert space formulation is more abstract than the path integral. No one here was arguing that the Hilbert space formalism was sophisticated or abstract - that was you.

Now, can you explain to me why you have to rotate to imaginary time to compute anything? Why is imaginary time intuitive and not abstract?

 

[Arsenic&Lace]

How is it debatable whether a book on advanced calculus constitutes additional knowledge about mathematics?

Mathematics is a tool. If some "mathematics" never permeates into other disciplines, especially given that mathematics is a tool, it is questionable whether or not it is mathematics. One could argue that it is a tool in the same way a square wheel is a tool, but then you're in the unflattering position of having invented a useless tool. As an example, the epsilon delta formalism for proving that a limit exists is not something people actually use in other disciplines**Papers in which they are "used" are often written by mathematicians disguised as engineers or physicists. I'd be delighted if someone could demonstrate, as an example, a case in engineering or physics where the epsilon delta formalism is actually necessary to learn something about nature or build a device.

Really?

I'm sorry, but I really don't see a "disdainful and pernicious attitude towards physicists" anywhere (well obviously it exists, but a disdainful attitude from physicists or engineers towards math also exists, and I think you're the most extreme example of that that I've ever met). I don't know where you got that from. Maybe you should just try to be a bit less sensitive.

And I'm sure mathematicians know as much about math as physicists know something about physics.

I don't think my choice of words was appropriate. It's not really an attitude of condescension or something, although that exists it's not the real problem and it is present in all disciplines. Rather, it's the pretensions mathematicians have about being experts in mathematics when there is no evidence that they are in fact experts in mathematics. The additional "math" that they know that say, an engineer doesn't, is not necessary for anything in applied disciplines, to the point where they are never called upon for their expertise. Nor is it the same as a scientific discovery, such as, say, learning an interesting fact about duck penises: humans did not invent ducks for a purpose. When it comes to math that is shared between disciplines, that expertise is still never needed; collaborations between theoretical physicists and mathematicians are unheard of outside of anything other than purely speculative physics (e.g. string theory). The example I gave about advanced calculus is a case in point; the supposedly advanced, deeper knowledge of calculus is never consulted by anybody other than mathematicians, and provides no actual insight into using calculus. People calling themselves experts for whom there is no empirical evidence that this so called expertise exists get my goat, I'm afraid.

That said I believe that the enterprise of studying the tool can be fruitful, but it would need to look much more like 18th/19th century mathematical culture than 20th/21st centure culture.

In this regard mathematicians remind me very much of grammarticians; they cringe and say that "My bad" is terrible grammar since bad is an adjective, but the humans who actually use the language get along just fine without there being any evidence that, as far as communication is concerned, this phrase is anything but understandable and useful.

I don't see how this is even worth being discussed. [\QUOTE]

Why join the discussion then? Your commentary seems incredible ignorant of the actual discussion at hand. The concept of abstraction using a very formal language is obviously useful and even necessary to do physics. The culture which has emerged in mathematics departments is not, and had you bothered to read anything I've written, you'd have figured out that this culture is what I'm addressing.

Great now you are almost retracting your position that the Hilbert space formulation is more abstract than the path integral. No one here was arguing that the Hilbert space formalism was sophisticated or abstract - that was you.[\QUOTE]
Firstly, many theoretical physicists such as Martin Luscher are increasingly adopting this mathematical culture (which I think can be described as Platonist, as it is in the article posted by martinbn). I suspect this will retard the development of theoretical physics, although many problems at its precipices seem fundamentally intractable from an observational/experimental standpoint anyway. Of course if this attitude bears fruit (e.g if the string theory gubbins ever get around to actually making a testable prediction which turns out to be true) I will change my mind.

You seem to have become interested in a relatively small point that I made previously in the thread, which is that one can formulate quantum mechanics in a "more" intuitive manner without reference to objects such as Hilbert spaces. We should probably just agree that intuitive is a subjective point of view. I can write an essay on why I think the path integral formalism is more intuitive and it would probably still not convince you. Since nobody understands quantum mechanics, of course you will find bizarre qualities such as complex time; I am making a relative, not absolute argument.

 

[micromass]

Mathematics is a tool. If some "mathematics" never permeates into other disciplines, especially given that mathematics is a tool, it is questionable whether or not it is mathematics.

Then what is it?
And what do you call physics that never permeates into other disciplines?

Rather, it's the pretensions mathematicians have about being experts in mathematics when there is no evidence that they are in fact experts in mathematics.

Then who is the expert in mathematics? You? The physicists? The engineers? Everybody but the mathematicians?

The additional "math" that they know that say, an engineer doesn't, is not necessary for anything in applied disciplines, to the point where they are never called upon for their expertise.

Quote some assumptions here. Why do you think that mathematicians are never called upon for their expertise? I've seen it happen many times.

When it comes to math that is shared between disciplines, that expertise is still never needed;

Evidence? Or did you just make it up to prove your point?

collaborations between theoretical physicists and mathematicians are unheard of outside of anything other than purely speculative physics (e.g. string theory). The example I gave about advanced calculus is a case in point; the supposedly advanced, deeper knowledge of calculus is never consulted by anybody other than mathematicians, and provides no actual insight into using calculus. People calling themselves experts for whom there is no empirical evidence that this so called expertise exists get my goat, I'm afraid.

And what is the empirical evidence that physicists have expertise on physics? Many physicists are never called upon their expertise either (hey if you can make stuff up, so can I), so they're not experts on physics? Somebody like Witten doesn't know physics and math according to you? Somebody like Wald doesn't know physics? I guess the experts on both physics and math are the engineers then, because they actually apply it to things which are useful.

Why join the discussion then? Your commentary seems incredible ignorant of the actual discussion at hand. The concept of abstraction using a very formal language is obviously useful and even necessary to do physics. The culture which has emerged in mathematics departments is not, and had you bothered to read anything I've written, you'd have figured out that this culture is what I'm addressing.

Mod note: please refrain from calling other people ignorant.

 

[Fredrik]

Let me guess:

A n-tuple of numbers that behave according to a "transformation law," and no mention of linear algebra concepts?

Right. Some of my teachers didn't even use terms like n-tuple. Instead they said e.g. that a tensor is something that transforms according to the tensor transformation law, without explaining what sorts of "something" the definition can be applied to, or what they mean by "transforms". Some of them said that a vector is 3 numbers that transform according to the tensor transformation law. I could have forgiven them if they had at least defined the vector as the function that associates triples with coordinate systems, but no, they made it sound like it's a specific triple...if it "transforms" correctly.

The thread title talks about "butchering" mathematics. This sort of thing is a great example of what that means to me. I have no problem with non-rigorous arguments. But stupid definitions like this really irritate me.

Is (1,2,3) a tensor according to this "definition"? How about {1,2,3}? How about a cow? (Yes, the farm animal). Does the definition tell us that a cow isn't a tensor?

I eventually found the multilinear algebra definition of "tensor" in Schutz, and the definition of tensor field in Spivak. When I read the extremely clear presentation of tensors in Schutz, I couldn't believe that all my teachers had been peddling that painfully inadequate definition in class.

 

[1MileCrash]

So basically, if some topic of math cannot be applied to other disciplines, then it is not truly math, because mathematics is a tool, because it's math.

But if some topic of physics cannot be applied to other disciplines, then it's still physics, because physics is not a tool, because it's physics.