User Sridhar Ramesh

68 votes

Can the Riemann hypothesis be undecidable?

answered Nov 1, 2011 at 7:54

42 votes

When has discrete understanding preceded continuous?

answered May 29, 2017 at 0:29

41 votes

Accepted

Why doesn't the number of ones in the binary representation of Fibonacci numbers grow linearly?

answered Sep 18, 2022 at 17:18

39 votes

"Philosophical" meaning of the Yoneda Lemma

answered Feb 12, 2010 at 21:58

33 votes

Geometric interpretation of trace

answered Feb 10, 2010 at 9:42

29 votes

Accepted

Montague's Reflection Principle and Compactness Theorem

answered Mar 19, 2010 at 20:29

23 votes

Accepted

What is a colimit, really?

answered Jul 28, 2011 at 22:08

19 votes

Arithmetic fixed point theorem

answered May 28, 2011 at 3:25

17 votes

What is a complex inner product space "really"?

answered Nov 4, 2011 at 8:28

14 votes

Accepted

Surreal Numbers and Set Theory

answered Jul 21, 2011 at 21:15

13 votes

Why hasn't mereology succeeded as an alternative to set theory?

answered May 9, 2011 at 0:04

12 votes

Can you remove all the extra arithmetic from ZFC (or other theories)?

answered Sep 5, 2017 at 23:23

11 votes

When a formal power series is a rational function in disguise

answered Feb 10, 2010 at 2:43

9 votes

Intuitionistic consistency of surjection from naturals to reals

answered Dec 26, 2022 at 15:54

8 votes

Accepted

Are there different "levels" of self-referentiality in arithmetic?

answered Dec 7, 2022 at 0:01

8 votes

What is known about ideal and divisibility lattices of GCD domains and their generalizations?

answered Oct 31, 2017 at 1:02

7 votes

Are all the theorems true?

answered Aug 1, 2012 at 19:17

7 votes

Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)

answered Feb 9, 2010 at 2:12

6 votes

Tarski's Theorem and Gödel's Second Incompleteness Theorem

answered Nov 17, 2012 at 5:08

6 votes

Why do people say Gödel's sentence is true when it is true in some models but false in others?

answered Oct 11, 2021 at 22:11

5 votes

existence of a field that has a non surjective ring homomorphism

answered May 2, 2012 at 5:31

5 votes

Accepted

Nontrivial example of when monadic functors don't compose

answered Dec 20, 2023 at 3:54

4 votes

Is there a finitely complete category with terminal object but NO subobject classifier?

answered Feb 9, 2010 at 22:20

3 votes

Can we recognize when a category is equivalent to the category of models of a first order theory?

answered Feb 10, 2010 at 20:32

3 votes

Proof without words for surface area of a sphere

answered Nov 19, 2012 at 1:29

3 votes

Tweetable Mathematics

answered Apr 27, 2017 at 6:05

3 votes

Number of binary strings with 'at least two consecutives' constraints

answered Jul 30, 2017 at 19:24

3 votes

Union of a object (a set) in the Elementary Theory of the Category of Sets

answered Nov 21, 2011 at 0:18

2 votes

Accepted

wellfounded sets and predecessors

answered Oct 4, 2012 at 18:57

2 votes

How does one motivate the analytic continuation of the Riemann zeta function?

answered Jan 6, 2021 at 5:46

Stack Exchange Network

39 Answers

Can the Riemann hypothesis be undecidable?

When has discrete understanding preceded continuous?

Why doesn't the number of ones in the binary representation of Fibonacci numbers grow linearly?

"Philosophical" meaning of the Yoneda Lemma

Geometric interpretation of trace

Montague's Reflection Principle and Compactness Theorem

What is a colimit, really?

Arithmetic fixed point theorem

What is a complex inner product space "really"?

Surreal Numbers and Set Theory

Why hasn't mereology succeeded as an alternative to set theory?

Can you remove all the extra arithmetic from ZFC (or other theories)?

When a formal power series is a rational function in disguise

Intuitionistic consistency of surjection from naturals to reals

Are there different "levels" of self-referentiality in arithmetic?

What is known about ideal and divisibility lattices of GCD domains and their generalizations?

Are all the theorems true?

Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)

Tarski's Theorem and Gödel's Second Incompleteness Theorem

Why do people say Gödel's sentence is true when it is true in some models but false in others?

existence of a field that has a non surjective ring homomorphism

Nontrivial example of when monadic functors don't compose

Is there a finitely complete category with terminal object but NO subobject classifier?

Can we recognize when a category is equivalent to the category of models of a first order theory?

Proof without words for surface area of a sphere

Tweetable Mathematics

Number of binary strings with 'at least two consecutives' constraints

Union of a object (a set) in the Elementary Theory of the Category of Sets

wellfounded sets and predecessors

How does one motivate the analytic continuation of the Riemann zeta function?