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
-
159 profile views
-
Last seen Jan 2 at 0:29
Communities (7)
- Mathematics 35.2k 35.2k 44 gold badges3232 silver badges7676 bronze badges
- MathOverflow 777 777 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 135 135 88 bronze badges
- View network profile
Top network posts
- 265 Is arrow notation for vectors "not mathematically mature"?
- 76 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
17
Posts
19
Posts %
79
Badges (31)
Gold
—
Silver
9
Rarest
-
Nov 18 '17
Bronze
22
Rarest
-
Oct 17 '13
-
Feb 4 '16
-
Jan 27 '15