Skip to main content
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 9 years, 2 months
  • Last seen more than a month ago
Stats
253
reputation
2k
reached
0
answers
1
question
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
15
Apr 15, 2015