783 reputation
833
bio website axiomsofchoice.org
location
age
visits member for 2 years, 6 months
seen 13 hours ago

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


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.
Mar
21
awarded  Informed
Mar
20
revised What are type system examples of local gauge transformation- and field strength-like objects?
added 131 characters in body
Mar
20
revised What are type system examples of local gauge transformation- and field strength-like objects?
deleted 6 characters in body
Mar
20
revised What are type system examples of local gauge transformation- and field strength-like objects?
deleted 6 characters in body
Mar
20
revised What are type system examples of local gauge transformation- and field strength-like objects?
edited body