1,290 reputation
11445
bio website axiomsofchoice.org
location
age
visits member for 3 years, 7 months
seen 8 hours ago

dr pavel im cia he wasnt alone uh you dont get to bring friends theyre not my friends dont worry no charge for them and why would i want them they were trying to grab your prize they work for the mercenary the masketta man bane aye get them on board ill call ittin the flight plan i just filed with the agency lists smee maimen doctor pavelheer button lee juan ovyu first one to talk gets to stay on my aircraft who paid you to grab dr pavel he didnt fly so good who wants to try next tell me about bane why does he wear the mask a lotta loyalty for a hired gun or perhaps he's wondering why someone would shoot a man before throwing him out of a plane at least you can talk who are you it doesnt matter who we are what matters is our plan if i pull that off will you die it would be extremely painful youre a big guy for you was getting caught part of your plan of course dr pavel refused our offer in favor of yours we had to find out what he told you nothing i said nothing well congratulations you got yourself caught sir now whats the next step of your master plan crashing this plane with no survivors no they expect one of us in the wreckage brother have we started the fire yes the fire rises calm down doctor nows not the time for fear that comes later


Dec
4
suggested approved edit on The index of a Dirac operator and its physical meaning
Nov
12
comment Are terms with spinors analogous to $ ( \partial_\mu \Phi )(\partial^\mu \Phi)$ forbidden in the Lagrangian?
@DavidZ: Of course, you make me look it up.
Nov
12
comment How to derive the two-term approximation for the Boltzmann equation?
Thanks, yeah I know the BOLZIG+ reference - everyone cites it when they use the electron collision cross sections that come with it :)
Nov
7
comment What is the difference between $|0\rangle $ and $0$?
Consider the vector $v:=(-5,3,7)$ in ${\mathbb R}^3$. It can be written as $v=-5\,e_1+3\,e_2+7\,e_3$. The object $e_3$ is a vector like $|0\rangle$. The number $3$ is a coefficient, like $0$.
Nov
4
comment Formal definition of an observer?
You say you've seen a few formal definitions. What do you mean by "actual definition", then? Seems like there are several.
Nov
4
comment Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
Or let me say: I get the need for path spaces, but do we need "equality proper" before we define equivalence and by this obtain the desired notion of equality?
Nov
4
comment Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
Why do we need types "$=$" to begin with? After all, weak category theory can do without. Can you point me to why, in HoTT, we start out with an identity type and then impose $(A=B)\simeq(A\simeq B)$? Say we start out with a dependently typed theory (with $\prod, \sum$ in particular) and then define "$\simeq$" as is done in the HoTT book. If the principle of equivalence${}^{TM}$ is to be implemented with this axiom, why do we consider a theory with identity in the first place. It appears all we really want is "just" equivalence anyway. Btw. I lurk the nForum - is there a question section?
Oct
30
revised Renormalization, integrating out high momenta Wilson way
\hspace{1cm}
Oct
30
suggested approved edit on Renormalization, integrating out high momenta Wilson way
Oct
27
comment Why quantum mechanics?
Can you, for a concrete simple example in quantum mechanics, follow this procedure (take classical geometry, choose circle group bundle with connection, write down the expression which amounts to the integration "in the $i$-direction") and express the observables $\langle H\rangle, \langle P\rangle, \dots$ in therms of this. Is there the harmonic oscillator, starting from the classical Hamiltonian, worked out with emphasis on exactly those bundles?
Oct
22
revised What exactly is $\hat{\psi}^\dagger(x)$? An operator or a function?
added 148 characters in body
Oct
20
awarded  Popular Question
Oct
19
comment Is there any physical quantity that does not have uncertainty?
@CarlWitthoft: I suspect you have two, but I'm not certain about it.
Oct
18
comment Where did Schrödinger solve the radiating problem of Bohr's model?
To answer the question in the title: At the university of Vienna.
Oct
16
revised Nature of decoupling of matter and radiation
formating 10
Oct
16
suggested approved edit on Nature of decoupling of matter and radiation
Oct
16
comment What is divergence?
@DanielSank: Add one, don't complain.
Oct
16
comment Does velocity determine a geodesic?
I remember making this point here.
Oct
16
revised Classical logic in concern with QM Mathematics
deleted 4 characters in body
Oct
16
answered Classical logic in concern with QM Mathematics