Skip to main content
user107952's user avatar
user107952's user avatar
user107952's user avatar
user107952
  • Member for 10 years, 6 months
  • Last seen this week
215 votes
13 answers
66k views

Is computer science a branch of mathematics?

43 votes
3 answers
2k views

Is there a topology on the reals such that the continuous functions of that topology are precisely the differentiable functions?

25 votes
4 answers
4k views

Can a function be applied to itself?

22 votes
1 answer
663 views

Does "All additive functions are linear" imply every set of reals is measurable?

20 votes
1 answer
787 views

What is the mathematical value of reproving theorems?

19 votes
3 answers
2k views

Is all of mathematics set theory in disguise?

19 votes
5 answers
11k views

How many digits does the integer zero have?

18 votes
2 answers
2k views

Transfinite derivatives

12 votes
2 answers
2k views

Rigorous books on geometry

12 votes
2 answers
3k views

What is the formal definition of a variable?

12 votes
3 answers
308 views

Do all single variable identities over exponentiation have the same length?

12 votes
3 answers
459 views

Is there a minimal generating set of reals which additively generate all the reals?

12 votes
3 answers
2k views

Is the difference between additive groups and multiplicative groups just a matter of notation?

12 votes
1 answer
237 views

Is there a topology on the reals such that addition is continuous but not multiplication? What about conversely?

11 votes
2 answers
365 views

Quantifier complexity of the definition of continuity of functions

10 votes
2 answers
225 views

Are "most" subsets of reals non-Lebesgue Measurable?

10 votes
2 answers
532 views

Independence of connectives in intuitionistic logic

10 votes
4 answers
287 views

Formal definition of $n$ by $0$ and $0$ by $n$ matrices

10 votes
2 answers
1k views

Mathematically rigorous books on programming and computer science

9 votes
6 answers
936 views

Proving that $E=mc^2$ [closed]

9 votes
2 answers
804 views

How many Sudoku puzzles are there with at least one solution?

9 votes
3 answers
2k views

What is an axiom schema?

9 votes
1 answer
135 views

A finite axiomatization of the join of the commutative and associative properties

9 votes
1 answer
705 views

What does it mean to say $BB(7918)$ is not computable from ZFC?

9 votes
3 answers
741 views

Famous or semi-famous cases of math professors making errors

9 votes
1 answer
1k views

An example of an open ball whose closure is strictly between it and the corresponding closed ball

9 votes
2 answers
2k views

What is the formal definition of a hole? [duplicate]

9 votes
1 answer
214 views

Is there a formal definition of a number theoretical statement which is self-referential?

8 votes
1 answer
468 views

Is there a rigorous definition of mathematical expressions that can distinguish them from their values? [duplicate]

8 votes
3 answers
1k views

Is there a finite abelian group which is not isomorphic to either the additive or multiplicative group of a field?

1
2 3 4 5
30