Recent content by mad mathematician

When you say that you use a Hilbert system without natural deduction, do you mean that you can't use rules that are specific to the quantifiers? such as universal elimination etc. A rigorous and exact solution will be to eliminate a quantifier and after that introduce a quantifier. BTW, I am...

In my derivation I forgot to mention that I use y+0=y; acknowledged we proved already x+(y+z)=(x+y)+z plug z=0, and get: x+(y+0)=(x+y)+0; now from the axiom A3 we have: y+0=y and (x+y)+0=(x+y), and you proved that also ##\varphi(0)## follows from A3.

You want to use A4 to prove associativity of addition, so we have for z=1: (x+y)+1=x+(y+1) this is an instantiation of axiom A4. Now we use induction: suppose for z=n we have (x+y)+n=x+(y+n), now for z=n+1 we get: ((x+y)+(n+1))=((x+y)+n)+1=(x+(y+n))+1=x+((y+n)+1)=x+(y+(n+1)). In the first...

You need to use induction on z and to invoke an instance of A4.

Thanks.

You mean as vectors the states are independent of eachother (i.e one is not a linear combination of the other). Theoretically every particle should have an anti particle (unless they have no electric charge like the photon). You said this paper was launched last year, it does take time to make...

I wonder a state which is in a superposition that should annihilate itself before the wave function collapses... Maybe this can also answer the seemingly interesting problem of why there's more matter than anti matter in the universe...

Well, I've got two books that treat QFT for the math-geared ahead (I double majored in maths and physics), they kind of old. There's Ticcati's red book and Folland's. Didnt finish reading them though... :oldbiggrin:

Well being orthodox in Q theory interpretations means usually to adhere to Copenhagen interpretation, as far as I can tell.

I'd recommend Arfken (I used it a bit for a third mathematical methods for physicists course, you can't have enough maths... that's why I am so MAD.... :oldbiggrin: ) I wonder which edition are they nowadays?... P.S I used it for the part that was needed for the course.

being a ~40 year old student is really harsh with those prices of books just keep escalating.

Computer says:No, none exists. at least not consistent. Either that, or it never halts.... :oldbiggrin:

Baby, give it up.... off to SUSY...

enjoy, just as I have.

you can try playing it with winamp, unfortunately as I said it sounds discontinuous.