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, 5 months
  • Last seen this week
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
49
silver badges
98
bronze badges
886
Score
393
Posts
26
Posts %
330
Score
148
Posts
10
Posts %
317
Score
149
Posts
10
Posts %
214
Score
106
Posts
7
Posts %
199
Score
82
Posts
5
Posts %
193
Score
94
Posts
6
Posts %
Top posts
View all questions and answers