Skip to main content
MathOverflow
Arno's user avatar
Arno's user avatar
Arno's user avatar
Arno
  • Member for 13 years, 7 months
  • Last seen this week
Profile Activity
Stats
4,667
reputation
57k
reached
72
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
25
silver badges
41
bronze badges
Top tags
View all tags
110
Score
33
Posts
39
Posts %
96
Score
23
Posts
27
Posts %
54
Score
16
Posts
19
Posts %
54
Score
9
Posts
11
Posts %
47
Score
15
Posts
18
Posts %
31
Score
7
Posts
8
Posts %
Top posts
View all questions and answers
question
31
How (non-)computable is set theory?
Jun 27, 2018
question
27
Closed balls vs closure of open balls
Jun 28, 2018
answer
21
Does the Brouwer fixed point theorem admit a constructive proof?
Apr 13, 2015
answer
16
Representing field elements in a computer
Mar 18, 2018
answer
14
"Strange" proofs of existence theorems
Oct 10, 2018
answer
12
Terminology: algebraic structure for "floating point" arithmetic
Oct 9, 2018
answer
11
Terminology: A "corollary" to a proof?
Jul 28
answer
11
Why does Weihrauch reducibility make use of multi-functions?
Apr 2
answer
10
Computational complexity of proof verification
Jul 12, 2020
answer
10
The Chocolatier's game: can the Glutton win with a restricted form of strategy?
Aug 6, 2021
Top network posts
View all network posts
249
Is it acceptable to use non-English references in a computer science paper?
137
Should a sibling pay rent to another sibling on a jointly owned house?
110
What is behind the "Indian Undergrad Research Experience"-spam?
103
How is it in my best interest not to submit a paper to two journals simultaneously?
102
A life of PhD: is it feasible?