2,258 reputation
1327
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 29
visits member for 4 years, 8 months
seen 2 days ago
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.

Aug
26
asked Brouwer fixed points via flow
Jun
22
asked Relationship of Euler product to coprimality densities for arbitrary sets of primes
Jun
22
asked Additivity of asymptotic density of periodic sets
May
12
asked Commuting limits in relating the harmonic series to coprimality densities
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?