338 reputation
112
bio website
location
age
visits member for 2 years
seen Jan 11 '13 at 22:35

beginning


Sep
24
awarded  Autobiographer
Jul
2
awarded  Curious
Dec
18
awarded  Yearling
Jan
11
comment Substitution tilings with parallelograms
if rhombus is ok you could skew a mathworld.wolfram.com/PerfectRectangle.html
Jan
11
awarded  Commentator
Jan
11
comment Check if line intersects with circles perimeter
I dont think your code cares about the end points of line segments. I added code to my answer.
Jan
11
revised Check if line intersects with circles perimeter
added 342 characters in body
Jan
11
answered Check if line intersects with circles perimeter
Jan
10
comment Cayley table group visualization
this is really really nice! sadly there are too few colors for bigger groups.
Jan
10
comment Back to cauchy sequences.
do you mean all caucy sequences of reals are convergent?
Jan
10
accepted How does Fraenkel's urelement proof show choice is independent of ZF?
Jan
10
asked How does Fraenkel's urelement proof show choice is independent of ZF?
Jan
9
accepted Cayley table group visualization
Jan
9
answered Substitution in lambda calculus
Jan
9
comment Substitution in lambda calculus
[N/x]M is standard notation.
Jan
8
asked Cayley table group visualization
Jan
8
accepted complete partial order by adjoint functor theorem
Jan
8
comment Why does $(2/p)=\prod_{k=1}^{(p-1)/2}2\cos\left(\frac{2\pi k}{p}\right)$?
thanks for the proof @DavidSpeyer
Jan
8
comment Why does $(2/p)=\prod_{k=1}^{(p-1)/2}2\cos\left(\frac{2\pi k}{p}\right)$?
why I edelted it: How does this answer the question? – hmIII 6 hours ago
Jan
8
comment complete partial order by adjoint functor theorem
wait a second you did it backwards (or forwards if you consider me backwards) starting with $\downarrow$ (what I called $G$)? it seems like knowing explicitly what $\downarrow$ is (downward closed sets) the stuff about adjoint functor theorem distracts from the core of the proof, is that right? Thanks for your answer. In fact all this category theory is irrelevant if we somehow knew the idea of sup union downarrow s = join s.