Stack Exchange

Sridhar Ramesh

Berkeley, CA

http://math.berkeley.edu/~sramesh/

I was a graduate student in the Logic program at Berkeley, broadly interested in categorical logic and foundations of mathematics, as well as in applications of category theory to the semantics of programming languages. I work for Google now.

top accounts reputation activity subscriptions
Top Questions
39 votes

What does the term "yoga" mean in mathematics?

ag.algebraic-geometry ct.category-theory terminology asked May 6, 2011 at 0:59
mathoverflow.net

27 votes

What are examples of theorems which were once "valid", then became "invalid" as standard definitions shifted?

soft-question ho.history-overview definitions big-list asked Jun 15, 2011 at 17:50
mathoverflow.net

20 votes

Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?

ct.category-theory enriched-category-theory hilbert-spaces tag-removed asked Jun 13, 2011 at 20:13
mathoverflow.net

16 votes

Decidable open problems

gm.general-mathematics open-problems-list asked Dec 12, 2016 at 4:45
mathoverflow.net

15 votes

Must any continuous odd map from $\mathbb{S}^2$ to $\mathbb{R}$ have a path of zeros between antipodal points?

at.algebraic-topology gn.general-topology asked Oct 29, 2017 at 22:55
mathoverflow.net

10 votes

Abel summation of the alternating series of primes?

nt.number-theory divergent-series prime-numbers asked May 28, 2011 at 5:18
mathoverflow.net

9 votes

Effects of "weak" vs. "strict" categories in Eckmann-Hilton arguments

ct.category-theory higher-category-theory monoidal-categories intuition asked Feb 11, 2010 at 3:55
mathoverflow.net

8 votes

Is it possible for a nontrivial category to have a slice classifier?

ct.category-theory asked Nov 11, 2010 at 18:15
mathoverflow.net

8 votes

Intuitionistic consistency of surjection from naturals to reals

topos-theory constructive-mathematics lo.logic asked Aug 31, 2012 at 6:11
mathoverflow.net

8 votes

“Totally transitive” polytopes which are not regular

co.combinatorics discrete-geometry polytopes abstract-polytopes asked Jul 9, 2017 at 18:10
mathoverflow.net

1 2

Top Answers
65
Can the Riemann hypothesis be undecidable?
mathoverflow.net

42
When has discrete understanding preceded continuous?
mathoverflow.net

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

38
"Philosophical" meaning of the Yoneda Lemma
mathoverflow.net

33
Geometric interpretation of trace
mathoverflow.net

29
Gödel's incompleteness theorem can't be proven?
math.stackexchange.com

29
Montague's Reflection Principle and Compactness Theorem
mathoverflow.net

23
What is a colimit, really?
mathoverflow.net

19
Arithmetic fixed point theorem
mathoverflow.net

17
Can you transpose a matrix using matrix multiplication?
math.stackexchange.com

17
What is a complex inner product space "really"?
mathoverflow.net

14
Surreal Numbers and Set Theory
mathoverflow.net

13
Why hasn't mereology succeeded as an alternative to set theory?
mathoverflow.net

12
Can you remove all the extra arithmetic from ZFC (or other theories)?
mathoverflow.net

11
When a formal power series is a rational function in disguise
mathoverflow.net

9
What is the least positive integer $x$ such that $x^2$ starts with 2017?
math.stackexchange.com

8
What is known about ideal and divisibility lattices of GCD domains and their generalizations?
mathoverflow.net

8
Are there different "levels" of self-referentiality in arithmetic?
mathoverflow.net

7
How to solve a functional equation $f(x+y)=f(x)+f(y)-f(0)$.
math.stackexchange.com

7
Are all the theorems true?
mathoverflow.net

6
Existence of a mathematical object
math.stackexchange.com

6
A proof of the product rule using the single variable chain rule?
math.stackexchange.com

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

6
Tarski's Theorem and Gödel's Second Incompleteness Theorem
mathoverflow.net

5
A homomorphism $f:S_{n} \rightarrow \mathbb{R}$, prove that $f$ must be trivial.
math.stackexchange.com

5
existence of a field that has a non surjective ring homomorphism
mathoverflow.net

5
Existence of a mathematical object
mathoverflow.net

5
Infinite series in p-adic field
mathoverflow.net

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