Skip to main content
Ben Burns's user avatar
Ben Burns's user avatar
Ben Burns's user avatar
Ben Burns
  • Member for 10 years, 6 months
  • Last seen this week
26 votes

PhD dissertations that solve an established open problem

16 votes
Accepted

Advanced software for OEIS?

16 votes
Accepted

Status of proof by contradiction and excluded middle throughout the history of mathematics?

10 votes

Do these rational sequences always reach an integer?

10 votes

The logic of Buddha: a formal approach

9 votes

What do we gain with higher order logics?

7 votes

History of (proposal of) set-theoretic foundations

6 votes

Which popular games have been studied mathematically?

5 votes

Which great mathematicians had great political commitments?

5 votes

Short papers for undergraduate course on reading scholarly math

4 votes

Examples of errors in computational combinatorics results