Top network posts
- 9 How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?
- 9 Time derivative of the state vector as expressed in abstract Hilbert space vs. as a wavefunction
- 8 How does the proof of operator commutativity work with non-continuous operators?
- 7 Why define four-vectors to be quantities that transform only like the position vector transforms?
- 7 Mockito throws an OutOfMemoryError on a simple test
- 6 How does undecidability of 'theoremhood' imply that human ingenuity is necessary in mathematics?
- View more network posts →