186 reputation
5
bio website
location Jerusalem, Israel
age 30
visits member for 2 years, 11 months
seen Feb 15 at 14:00

Computer geek; done a lot, learned a lot, willing to share.

In addition to answering questions on StackOverflow, I use this site as a knowledge base for documenting problems I've encountered and solved.


Oct
31
comment Projection linear transformation: explain the wording
Please explain. What do you mean by "projected to 1"? The operator is $T:R^2\to R^2$ so it should project into $R^2$, shouldn't it?
Jan
28
comment Does little-o notation imply going into infinity?
Thanks! This helps.
Jan
28
comment Does little-o notation imply going into infinity?
What I meant is that not only f(n) >= g(n) for some n, but f(n)=M so that g(n)<=M and g(x)<=M for all x.
Jan
28
comment Does little-o notation imply going into infinity?
I've updated the question. I hope I'm not too confused.
Jan
28
comment Does little-o notation imply going into infinity?
Whoops, I mixed up f and g :)
Mar
11
comment Proving that a formula cannot be proven (has no formal proof) in a given deduction system
What does "different semantics" mean for, say, the Hilbert system? For example, will redefining $\to$ to have a different truth table mean "different semantics"?
Mar
6
comment In modal logic, is $\lnot\square P\equiv\lozenge\lnot P$?
Yes, $\square P \equiv \neg \lozenge \neg P$ -- which also leads me towards trusting my conclusion.
Dec
10
comment Proving (α → ¬¬α) in Hilbert System
OK, this seems nearly equivalent: math.stackexchange.com/questions/5772/…
Sep
24
comment Change of Basis Confusion
Ok, this has been the clearest, most direct and to-the-point explanation. Thanks!