user avatar
user avatar
user avatar
Rob Arthan
  • Member for 11 years, 11 months
  • Last seen more than a month ago
Stats
797
reputation
6k
reached
4
answers
10
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.

This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
18
Score
1
Posts
7
Posts %
18
Score
1
Posts
7
Posts %
6
Score
10
Posts
71
Posts %
5
Score
2
Posts
14
Posts %
5
Score
1
Posts
7
Posts %
1
Score
2
Posts
14
Posts %
Top posts
View all questions and answers