2,223 reputation
1324
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 28
visits member for 4 years, 2 months
seen Apr 13 at 20:50
I am 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.

Nov
19
answered Proof without words for surface area of a sphere
Nov
17
answered Tarski's Theorem and Gödel's Second Incompleteness Theorem
Oct
21
asked Properly “transfinitely” Euclidean domains
Oct
4
answered wellfounded sets and predecessors
Aug
31
asked Intuitionistic consistency of surjection from naturals to reals
Aug
1
answered Are all the theorems true?
May
2
answered existence of a field that has a non surjective ring homomorphism
Jan
11
asked “Highly balanced” periodic functions
Nov
21
answered Union of a object (a set) in the Elementary Theory of the Category of Sets
Nov
4
answered What is a complex inner product space “really”?
Nov
1
answered Can the Riemann hypothesis be undecidable?
Jul
28
answered What is a colimit, really?
Jul
21
answered Surreal Numbers and Set Theory
Jun
22
answered Why is the output of an LTI system the convolution of the input funtion and the impulse response?
Jun
15
asked What are examples of theorems which were once “valid”, then became “invalid” as standard definitions shifted?
Jun
13
asked Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?
May
28
asked Abel summation of the alternating series of primes?
May
28
answered Arithmetic fixed point theorem
May
9
answered Why hasn't mereology suceeded as an alternative to set theory?
May
6
asked What does the term “yoga” mean in mathematics?