Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 11 years
  • Last seen this week
Stats
43,761
reputation
738k
reached
1,345
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
42
silver badges
89
bronze badges
783
Score
360
Posts
26
Posts %
301
Score
139
Posts
10
Posts %
277
Score
133
Posts
10
Posts %
186
Score
95
Posts
7
Posts %
178
Score
77
Posts
6
Posts %
175
Score
85
Posts
6
Posts %
Top posts
View all questions and answers