2,237 reputation
1327
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 29
visits member for 4 years, 5 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.

May
14
revised Commuting limits in relating the harmonic series to coprimality densities
added 337 characters in body
May
14
revised Commuting limits in relating the harmonic series to coprimality densities
added 337 characters in body
May
13
revised Commuting limits in relating the harmonic series to coprimality densities
added 15 characters in body
Nov
19
revised Proof without words for surface area of a sphere
added 126 characters in body
Nov
19
revised Proof without words for surface area of a sphere
edited body
Nov
19
revised Proof without words for surface area of a sphere
added 43 characters in body
Nov
17
revised Tarski's Theorem and Gödel's Second Incompleteness Theorem
added 56 characters in body
Nov
17
revised Tarski's Theorem and Gödel's Second Incompleteness Theorem
added 67 characters in body; added 32 characters in body
Aug
31
revised Intuitionistic consistency of surjection from naturals to reals
deleted 1 characters in body
May
2
revised existence of a field that has a non surjective ring homomorphism
D'oh!
Nov
4
revised What is a complex inner product space “really”?
Stray J that should now be an R
Nov
4
revised What is a complex inner product space “really”?
added 454 characters in body
Nov
4
revised What is a complex inner product space “really”?
added 668 characters in body; deleted 5 characters in body
Nov
1
revised Can the Riemann hypothesis be undecidable?
added 221 characters in body
Jul
29
revised What is a colimit, really?
added 20 characters in body
Jul
28
revised What is a colimit, really?
added 4 characters in body
Jul
21
revised Surreal Numbers and Set Theory
added 28 characters in body
Jun
22
revised Why is the output of an LTI system the convolution of the input funtion and the impulse response?
added 39 characters in body
Jun
16
revised What are examples of theorems which were once “valid”, then became “invalid” as standard definitions shifted?
deleted 1 characters in body
Jun
16
revised What are examples of theorems which were once “valid”, then became “invalid” as standard definitions shifted?
edited tags