Rob Arthan
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.
5
answers
19
questions
~10k
people reached
-
Reading, UK
-
Member for 9 years, 1 month
-
159 profile views
-
Last seen yesterday
Communities (7)
- Mathematics 36.6k 36.6k 44 gold badges3333 silver badges7676 bronze badges
- MathOverflow 797 797 33 silver badges1111 bronze badges
- TeX - LaTeX 233 233 11 silver badge66 bronze badges
- History of Science and Mathematics 181 181 44 bronze badges
- Stack Overflow 147 147 88 bronze badges
- View network profile
Top network posts
- 268 Is arrow notation for vectors "not mathematically mature"?
- 77 What is the order when doing $x^{y^z}$ and why?
- 72 Has lack of mathematical rigour killed anybody before?
- 46 How can a set with one element be equal to a set with two elements
- 43 Proof of infinitely many prime numbers
- 29 When is $\sin(x) = \cos(x)$?
- 25 Puzzle: Give an algorithm for finding a frog that jumps along the number line
- View more network posts →
Top tags (23)
Score
16
Posts
19
Posts %
79
Badges (32)
Gold
—
Silver
10
Rarest
-
Nov 18 '17
Bronze
22
Rarest
-
Oct 17 '13
-
Feb 4 '16
-
Jan 27 '15