1
vote
1answer
92 views

A Spin up particle in QFT

This appears like a question that is rarely addressed in field theory pedagogy (perhaps because the answer is obvious): how does one describe a particle of definite spin in quantum field theory? For ...
0
votes
1answer
78 views

About Hilbert and Physics [duplicate]

Was one of Hilbert questions regarding physics to make an axiomatic foundation for physics? Regardless of Godels work could some Physics principles that are 'basic' and 'presently verifiable' be ...
3
votes
1answer
136 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
219 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
539 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
785 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
262 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
268 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 ...
15
votes
4answers
890 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 ...
73
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 ...