847 reputation
11337
bio website axiomsofchoice.org
location
age
visits member for 3 years
seen 9 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
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
Mar
20
asked What are type system examples of local gauge transformation- and field strength-like objects?
Mar
18
comment Is Space conserved
Who is "we" and what's the range of "nobody" in the first sentence? Everybody has access to gravity, the big bang theory is much harder to defend. I couldn't do it, in any case. Like with the existence of chromosomes, I can only appeal to authorities who at this point in time are of the opinion that it's a better model than the others. If they change their mind in the next years about it, I'd give another answer. Hence it's easy to doubt it.
Mar
16
comment How rigorous can conservation of energy be made?
In physics you try what has worked before until it doesn't. Conservation of energy is a showpiece of the cookbook, hard to get rid of. And people like it, it's tasty. I also asked a related question, and see the related links posted by Cmechanic.
Mar
13
revised Do batteries lose charge?
nooooooooo
Mar
13
suggested suggested edit on Do batteries lose charge?
Mar
13
revised Why do noble gases stabilize plasma discharges?
added 19 characters in body