584 reputation
211
bio website natesoares.com
location
age 25
visits member for 3 years, 7 months
seen Jul 24 at 3:26

Oct
5
revised Find a set of sentences $\Sigma$ such that the set of all models of $\Sigma$ is countably infinite.
added 4 characters in body
Sep
13
revised Equalizers and Basic limit theorem in Category theory
added 12 characters in body
Aug
4
revised Confusion about Homotopy Type Theory terminology
added 17 characters in body
Jun
12
revised How do you combine the bipartite function $y=2^{x-1}$ for $x\lt0$ & $y=1-2^{-x-1}$ for $x\ge0$?
Typo fix: the lt/ge signs were swapped.
May
23
revised Generalizing an alternative derivation of distance
added 85 characters in body
May
22
revised Generalizing an alternative derivation of distance
added 9 characters in body
Mar
6
revised What's so special about sine? (Concerning $y'' = -y$)
corrected spelling, fixed formatting
Feb
28
revised What's so special about sine? (Concerning $y'' = -y$)
added 448 characters in body