Skip to main content
MathOverflow
Ben Burns's user avatar
Ben Burns's user avatar
Ben Burns's user avatar
Ben Burns
  • Member for 10 years, 1 month
  • Last seen this week
Profile Activity
Stats
839
reputation
69k
reached
11
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
14
bronze badges
Top tags
View all tags
42
Score
4
Posts
36
Posts %
33
Score
4
Posts
36
Posts %
26
Score
2
Posts
18
Posts %
17
Score
2
Posts
18
Posts %
16
Score
3
Posts
27
Posts %
16
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
25
PhD dissertations that solve an established open problem
Apr 24, 2018
16
Advanced software for OEIS?
Mar 14, 2018
16
Status of proof by contradiction and excluded middle throughout the history of mathematics?
May 20, 2019
10
The logic of Buddha: a formal approach
Jun 6, 2018
10
Do these rational sequences always reach an integer?
Dec 3, 2020
9
What do we gain with higher order logics?
May 31, 2019
7
History of (proposal of) set-theoretic foundations
Sep 5, 2022
6
Which popular games have been studied mathematically?
Jan 10, 2018
5
Short papers for undergraduate course on reading scholarly math
Mar 21, 2018
4
Which great mathematicians had great political commitments?
Feb 22, 2021
Top Meta posts
0
2
24
Revisiting our policies on thank-you comments
8
We have our first user with more than 200K reputation!
Top network posts
View all network posts
65
Why is it that Bernie Sanders is always called a "socialist"?
60
Ubuntu 18.4 libQt5Core.so.5: cannot open shared object file: No such file or directory
57
Did Republicans take 10 of 13 Congressional seats in the 2018 North Carolina general election with roughly the same number of votes as Democrats?
50
gcc -O0 still optimizes out "unused" code that should raise an FP exception. Is there a compile flag to change that?
37
Calling C# interface default method from implementing class