Insights Blog
-- Browse All Articles --
Physics Articles
Physics Tutorials
Physics Guides
Physics FAQ
Math Articles
Math Tutorials
Math Guides
Math FAQ
Education Articles
Education Guides
Bio/Chem Articles
Technology Guides
Computer Science Tutorials
Forums
Trending
Log in
Register
What's new
Latest activity
Register
Menu
Log in
Register
Navigation
More options
Style variation
System
Light
Dark
Contact us
Close Menu
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Forums
mad mathematician's latest activity
mad mathematician
replied to the thread
I
Formal derivation of statement from Peano Arithmetic system
.
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...
Wednesday, 10:59 AM
mad mathematician
replied to the thread
I
Formal derivation of statement from Peano Arithmetic system
.
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...
Oct 14, 2025
mad mathematician
replied to the thread
I
Formal derivation of statement from Peano Arithmetic system
.
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...
Oct 14, 2025
mad mathematician
replied to the thread
I
Formal derivation of statement from Peano Arithmetic system
.
You need to use induction on z and to invoke an instance of A4.
Oct 14, 2025
mad mathematician
reacted to
dextercioby's post
in the thread
Quantum
"WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians
with
Like
.
Speaking of Folland's books, they are notorious for typos. Here's the errata for his 1st edition of the QFT book.
Oct 4, 2025
mad mathematician
replied to the thread
Quantum
"WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians
.
Thanks.
Oct 4, 2025
mad mathematician
replied to the thread
A
The "electroweak eta meson"
.
You mean as vectors the states are independent of eachother (i.e one is not a linear combination of the other). Theoretically every...
Oct 3, 2025
mad mathematician
replied to the thread
A
The "electroweak eta meson"
.
I wonder a state which is in a superposition that should annihilate itself before the wave function collapses... Maybe this can also...
Oct 3, 2025
mad mathematician
replied to the thread
Quantum
"WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians
.
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...
Oct 2, 2025
mad mathematician
replied to the thread
I
A very interesting paper on orthodox quantum mechanics
.
Well being orthodox in Q theory interpretations means usually to adhere to Copenhagen interpretation, as far as I can tell.
Sep 23, 2025
mad mathematician
reacted to
Physics Detective's post
in the thread
A
Twistors and celestial holography
with
Like
.
Ouch. That paper is above my pay grade, Mitchell. I'm an amateur, an IT guy who's read a lot of old papers, not a mathematical...
Sep 17, 2025
mad mathematician
replied to the thread
Applied
Blennow to follow up Altland?
.
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...
Sep 14, 2025
mad mathematician
replied to the thread
Solid State
Ashcroft and Mermin: revised edition
.
being a ~40 year old student is really harsh with those prices of books just keep escalating.
Aug 28, 2025
mad mathematician
replied to the thread
I
Physicists disagree wildly on what quantum mechanics says about real…
.
Computer says:No, none exists. at least not consistent. Either that, or it never halts.... :oldbiggrin:
Aug 20, 2025
mad mathematician
replied to the thread
Music
Nice track
.
Baby, give it up.... off to SUSY...
Aug 19, 2025
Forums
Back
Top