869 reputation
11339
bio website axiomsofchoice.org
location
age
visits member for 3 years
seen 2 hours ago

A duck walks into a bar. Animal control is promptly called and the duck is released into a near by park.


Mar
28
comment Why is the Gibbs Free Energy $F-HM$?
@ChickenGod: I don't know what the first half of your response has to do with the question at the end, or what you set $E_2=TS_2$ for, but let me ask you something in return: How does "$V$" in the derivation of the extremal conditions for the various potential single out that it has to do with volume. If you have a proof for $V$ and $P$, why doesn't it work if you use the other $M$ and $H$ in their place instead?
Mar
27
comment Homogeneity of space implies linearity of Lorentz transformations
"some reference"... do you have little more background on what your thoughts on this are? Have you le asked this before somewhere?
Mar
27
comment S. Weinberg, “The Quantum theory of fields: Foundations” (1995), Eq. 9.2.15
Final value theorem.
Mar
26
comment Attraction and repulsion of charge?
@JohnRennie: Well, the question has 3 electromagnetism tags. Yes, I start with the point of view that there is the experimental observation that there are repelling objects and non-repelling objects.
Mar
26
comment Attraction and repulsion of charge?
@JohnRennie: I don't know how you can justify using quantum field theory other than by that it works, which is the same argument that I use. I agree that a quantum field theory explanation has great appeal. It also has the merit that it explains it in terms of some other structures which relate to many other things, which I don't do. Not sure how I'd classify "fundamental" though. Maybe by "part of current research", then it works.
Mar
26
comment Attraction and repulsion of charge?
@JohnRennie: Mhm, I just point out why the inverted variant doesn't work. I'd even say it's a better answer than the one given in 'Why do same/opposite electric charges r...' where he sets up a huge framework and then argues "Unlike charges attract each other, because if we model the world with this math then there is just no other way." We arrived at this math because the conclusions from the other math doesn't agree with what we see, and the $AB$-repel alternative doesn't either. If you want charges, better to it the $AB$-attract way.
Mar
26
answered Attraction and repulsion of charge?
Mar
26
revised Why is the Gibbs Free Energy $F-HM$?
added 41 characters in body
Mar
26
revised Why is the Gibbs Free Energy $F-HM$?
added 2 characters in body
Mar
26
answered Why is the Gibbs Free Energy $F-HM$?
Mar
26
reviewed Approve suggested edit on What is the relationship between Maxwell–Boltzmann statistics and the grand canonical ensemble?
Mar
26
revised Gases at different pressures reaching uniform pressure
exert stuff
Mar
26
suggested suggested edit on Gases at different pressures reaching uniform pressure
Mar
23
comment What are type system examples of local gauge transformation- and field strength-like objects?
Thanks for the response. 1) Adding $\pm 1$ is again global as it doesn't see the types, but I get this now. 2) I want to see why gauges should be seen as identity types. You said "Notably when the homotopy type theory is equipped with the additional axiom of differential cohesion, then one can "differentiate" identity types." Is there something we get from HoTT, which we don't have if we, even more directly, set up a suitable topos for our physics? I.e. is there a reason why types actually are an advantage here, apart from the meta advantage that many different people are interested in it now?
Mar
23
comment Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
Thanks for the answer, I'm working to understand it. I imagine you'd like to see my follow-up question, which is more concrete.
Mar
23
accepted Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
Mar
23
revised What are type system examples of local gauge transformation- and field strength-like objects?
added 27 characters in body
Mar
23
revised What are type system examples of local gauge transformation- and field strength-like objects?
added 515 characters in body
Mar
22
awarded  Nice Question
Mar
21
comment How did the scientific community receive Einstein's theories when he published them?
There are Wikipedia articles on these sorts of things, see e.g. wiki/History_of_special_relativity#Early_reception.