Skip to main content
Philosophy
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 11 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
111
reputation
482
reached
1
answer
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.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
answer
1
In what sense is set theory the "meta theory" of analysis?
Oct 31, 2016
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?
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?