Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 13 years, 8 months
  • Last seen this week
Stats
859
reputation
7k
reached
4
answers
11
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.
4
silver badges
13
bronze badges
19
Score
1
Posts
7
Posts %
19
Score
1
Posts
7
Posts %
7
Score
11
Posts
73
Posts %
5
Score
2
Posts
13
Posts %
5
Score
1
Posts
7
Posts %
1
Score
5
Posts
33
Posts %
Top posts
View all questions and answers