Skip to main content
MathOverflow
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 12 years, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
379
reputation
10k
reached
2
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
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
Top posts
answer
23
Bourbaki's definition of the number 1
Apr 17, 2020
answer
5
Checking elementary proofs with proof checkers
Dec 12, 2021
Top network posts
View all network posts
24
What was the 1st Proof Assistant?
18
Where can I find lists of theorems that have been verified?
18
What's wrong with the square root version of the Klein-Gordon equation?
17
In what sense is the renormalization group equation a group?
17
Three integrals in Peskin's Textbook