Mathematics
Profile Activity
Main user
Network profile
36,556
reputation
10
22

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

Communities (7)

Top network posts

Top tags (23)

Score 16
Posts 19
Posts % 79
Score 0
Posts 6
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (24)

All Questions Answers
Votes Newest
22 What's to stop someone asking the same unanswered question again and again? Oct 25 '15
18 It looks like anyone can edit anyone's questions. Is that right? Oct 16 '13
17 Is asking for a specific reference to an article mentioned in an MSE question unacceptable? Apr 18 '20
16 URLs in the new look MSE [duplicate] Aug 9 '18
13 Answering questions with a hint Mar 21 '15
11 Dealing with quality control comments Jan 11 '15
11 My comment disappeared Nov 23 '15
10 How do you answer “… is my understanding correct?” Aug 5 '15
6 How to take an exchange of comments on math.stackexchange.com to a chat exchange? Jan 26 '15
6 Was I being arrogant? Nov 3 '13
View all questions and answers →

Badges (32)

Gold

—

Silver

10

Rarest

Bronze

22

Rarest

View all badges →