User Alex Nelson - Physics Meta Stack Exchange

Alex Nelson

Member for 11 years, 11 months
Last seen more than a month ago

GitHub
pqnelson.github.io/notebk
In front of my computer...

Stats

2,885

reputation

0

reached

0

answers

0

questions

Loading…

Communities

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

This user doesn’t have any gold badges yet.

11

silver badges

Yearling

× 11

May 18, 2023

2

bronze badges

Supporter

Mar 16, 2013
Autobiographer

Sep 24, 2014

Posts

This user hasn’t posted yet.

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?

17

In what sense is the renormalization group equation a group?

17

What's wrong with the square root version of the Klein-Gordon equation?