654 reputation
517
bio website
location Reno, NV
age 23
visits member for 3 years, 2 months
seen Nov 6 at 17:11

I'm a math/programming teacher and freelance programmer. My first language was Scheme, and I have a major soft spot for functional programming. I read SICP every year and do all of the exercises (so I'm pretty good at hw-type problems.)


Oct
30
accepted Confusion about least upper bound property of reals constructed as Dedekind Cuts.
Oct
3
accepted Help with this related rates problem.
Sep
24
accepted Why is this derivative not undefined at a given point?
Sep
24
accepted Problem reconciling this proof with what I know about the Reals.
Sep
18
accepted Why does implicit differentiation work on non-functions?
Aug
21
accepted Computing the standard part of $(3-\sqrt{c+2})/(c-7)$ where the standard part of $c$ is $7$
Apr
15
accepted Help verifying my proof that for any $\epsilon>0$, there exists rational $\frac{j}{k}$ such that $0<\frac{j}{k}<\epsilon$
Apr
2
accepted Proving that if $\frac{m}{n}<\sqrt{2}$ then there exists $\frac{m'}{n'}$ such that $\frac{m}{n}< \frac{m'}{n'}<\sqrt{2}$
Mar
25
accepted Proving that $\sqrt{2}+\sqrt{3}$ is irrational
Mar
18
accepted Proof that $\binom{ n}{k} \in \mathbb N$
Mar
16
accepted Help with this inequality.
Mar
16
accepted Help proving a little theorem about inequalities
Mar
16
accepted Trying to prove this statement about inequalities
Mar
10
accepted Question from Spivak's Calculus. Hint makes no sense.
Feb
18
accepted Help interpreting question about a system of equations
Feb
18
accepted Triangle inequality not making sense in this problem.
Jan
21
accepted Trapezoid Root Mean Square
Dec
25
accepted Help understanding passage from combinatorics book.
Dec
25
accepted Dealing with Generating Functions accurately
Dec
15
accepted Different answers from different formulations of combinatorics problem