Stats
45,967
reputation
11k
reached
5
answers
20
questions
Loading…
About
Erstwhile algebraic topologist, who took to earning a crust in computer programming many years ago. Came back into mathematics (or at least mathematical logic) via much work on mechanized reasoning after many more years. Still divides his time between mathematics, computational logic and real-world system design.
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
-
NecromancerNov 18, 2017
-
Yearling
× 11Jan 18
24
bronze badges
-
Self-LearnerOct 17, 2013
-
ExcavatorFeb 4, 2016
-
CuriousJan 27, 2015
Top tags
View all tags
18
Score
20
Posts
80
Posts %
2
Score
2
Posts
8
Posts %
0
Score
6
Posts
24
Posts %
0
Score
4
Posts
16
Posts %
0
Score
2
Posts
8
Posts %
0
Score
2
Posts
8
Posts %
Top network posts
View all network posts