3
votes
1answer
88 views

What are type system examples of local gauge transformation- and field strength-like objects?

This is essentially a follow up motivated by this answer to my question about the gauge transformation interpretation of identity types. A field $$\psi:\mathcal M\to\mathbb C^n$$ is a section of the ...
7
votes
1answer
181 views

Are identity types interpreted physically in an infinity-topos formulation of equations of motion?

In reference to Urs Schreibers paper/book on foundations of field theory Differential cohomology in a cohesive infinity-topos I wonder: are identity types there used "only" for the computations, or ...
11
votes
3answers
365 views

What happened with Hilbert's sixth problem (the axiomatization of physics) after Gödel's work?

I'll write the question but I'm not fully confident of the premises I'm making here. I'm sorry if my proposal is too silly. Hilbert's sixth problem consisted roughly about finding axioms for physics ...
6
votes
2answers
517 views

How important is mathematical proof in physics?

How important are proofs in physics? If something is mathematically proven to follow from something we know is true, does it still require experimental verification? Are there examples of things that ...
5
votes
2answers
212 views

In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play?

Isham & Doering have written a series of papers exploring how to ground physics in topoi. Now the internal logic of topoi is higher order typed intuitionistic logic. In their theory what role is ...
3
votes
3answers
230 views

Banach Space representations of physical systems

I think most physicists mostly model physical systems as some kind of Hilbert space. Hilbert spaces are a strict subset of Banach spaces. Questions: Can physical systems really have non-compact ...
13
votes
4answers
782 views

Reason for the discreteness arising in quantum mechanics?

What is the most essential reason that actually leads to the quantization. I am reading the book on quantum mechanics by Griffiths. The quanta in the infinite potential well for e.g. arise due to the ...
69
votes
6answers
2k views

What are the justifying foundations of statistical mechanics without appealing to the ergodic hypothesis?

This question was listed as one of the questions in the proposal (see here), and I didn't know the answer. I don't know the ethics on blatantly stealing such a question, so if it should be deleted or ...