Skip to main content
Physics
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 12 years, 2 months
  • Last seen this week
Profile Activity
Stats
2,935
reputation
107k
reached
64
answers
0
questions
Communities
View all
About

I'm a mathematical physicist, working as a programmer, etc.

Blog: Ariadne's thread Navigating the Labyrinth of Formal Proofs with Mizar

Notebook full of PDFs.

Badges
View all badges
1
gold badge
20
silver badges
25
bronze badges
Top tags
View all tags
63
Score
24
Posts
38
Posts %
55
Score
13
Posts
20
Posts %
35
Score
11
Posts
17
Posts %
33
Score
10
Posts
16
Posts %
27
Score
6
Posts
9
Posts %
25
Score
7
Posts
11
Posts %
Top posts
View all questions and answers
18
What's wrong with the square root version of the Klein-Gordon equation?
Jan 2, 2015
17
Three integrals in Peskin's Textbook
Mar 25, 2014
17
In what sense is the renormalization group equation a group?
Mar 6, 2014
14
Is it true that the Schrödinger equation only applies to spin-1/2 particles?
Aug 6, 2014
13
What are examples of Lagrangians that not of the form $T-U$?
Jan 13, 2013
10
ADM Hamiltonian formalism and Quantum gravity
Aug 17, 2012
10
When is Lebesgue integration useful over Riemann integration in physics?
Oct 1, 2012
9
Wick Rotation in Curved space
Aug 19, 2014
8
Lorentz invariance of the 3 + 1 decomposition of spacetime
Jun 18, 2012
8
Request for Reference: BRST formalism/transformations
Jun 22, 2012
Top network posts
View all network posts
24
What was the 1st Proof Assistant?
23
Bourbaki's definition of the number 1
18
Where can I find lists of theorems that have been verified?
16
Is there any geometric way to characterize $e$?
15
The character ə in Plain TeX?