Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 12 years, 1 month
  • Last seen this week
Stats
48,197
reputation
875k
reached
1,458
answers
23
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.

4
gold badges
48
silver badges
96
bronze badges
868
Score
385
Posts
26
Posts %
321
Score
146
Posts
10
Posts %
308
Score
146
Posts
10
Posts %
211
Score
104
Posts
7
Posts %
199
Score
82
Posts
6
Posts %
188
Score
92
Posts
6
Posts %
Top posts
View all questions and answers