Skip to main content
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 12 years, 4 months
  • Last seen more than a week ago
Stats
48,961
reputation
15k
reached
5
answers
24
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.
14
silver badges
27
bronze badges
18
Score
23
Posts
79
Posts %
2
Score
3
Posts
10
Posts %
0
Score
7
Posts
24
Posts %
0
Score
5
Posts
17
Posts %
0
Score
2
Posts
7
Posts %
0
Score
2
Posts
7
Posts %
Top posts
View all questions and answers