user avatar
user avatar
user avatar
Rob Arthan
  • Member for 10 years, 4 months
  • Last seen this week
Stats
42,331
reputation
652k
reached
1,311
answers
22
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
38
silver badges
84
bronze badges
763
Score
355
Posts
27
Posts %
286
Score
136
Posts
10
Posts %
267
Score
129
Posts
10
Posts %
178
Score
93
Posts
7
Posts %
176
Score
74
Posts
6
Posts %
169
Score
84
Posts
6
Posts %
Top posts
View all questions and answers