Rob Arthan
Stats
40,838
reputation
10k
reached
5
answers
20
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.

This user doesn’t have any gold badges yet.
10
silver badges
24
bronze badges

Top tags (25)

Score 16
Posts 20
Posts % 80
Score 0
Posts 6
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2

Top posts (25)

View all questions and answers