Reputation
4,658
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
14 37
Newest
 Excavator
Impact
~193k people reached

Mar
2
asked Inequality on balls/bins with nested logs
Mar
2
comment Why did mathematicians take Russell's paradox seriously?
@Arturo Magidin: Despite what's already been said, I agree with the intent of the title question...shouldn't people have responded immediately 'Yes, of course that's a contradiction, so that means the described set (the set of all sets) just doesn't exist' (and so no need to worry further) ? There's no contradiction in -math-, just a contradiction in that particular statement. Yes, so comprehension can't be applied successfully arbitrarily, but that doesn't mean 'math' falls apart.
Mar
2
comment Is this identity involving Stirling numbers of the first kind well-known?
It's not trivial, but the constant, 3, is just big enough not to be important enough to be even an exercise in a text. But it's perfect for OEIS as noted below.
Mar
1
answered Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
Mar
1
comment Matrix multiplication: interpreting and understanding the process
I feel like this is then a question about history: why did (= what historical motivations) matrix multiplication get defined like it is? Did the dot product (which is itself magical in that it gives a projection) come first?
Feb
28
answered Indicate reverse of graph transition
Feb
28
comment Element-Wise Proofs?
The crucial step, from 2nd to 3rd statement, is not obvious (at this level). How do you justify the manipulation of English 'and's and 'or's?
Feb
28
revised How to detect antitransitivity from an adjacency matrix?
added new explanation
Feb
28
comment How to detect antitransitivity from an adjacency matrix?
I'm going to be a bit intrusive and say that you really shouldn't want a 'measure' of how transitive a graph is. A graph is either transitive or it is not (all it takes is one edge to prevent it). There might be a fractional version of this 0-1 property (sort of like fractional chromaticity) but I'm not fluent enough with that to come up with a meaningful fractional-transitive property. Instead I think you want to get rid of cycles (in a directed graph). Then you can take a transitive closure to get the 'is-a' poset. I'm editing my answer to reflect this.
Feb
27
comment Factorial and exponential dual identities
Excellent...it took me a while to appreciate. Sometimes even the simplest manipulation can be inscrutable, like the integral equal to $\frac{1}{1-t}$. What this all does for me though is convince me in the simplest way possible that the second identity is just the best analytic continuation of the factorial function (just the simplest way that is).
Feb
27
accepted Factorial and exponential dual identities
Feb
27
comment Factorial and exponential dual identities
Excellent! Thanks. How did you come to know that? As usual the algebra is almost trivial after the fact. Any hints as to the meaning import (like Qioachu's question in his 2nd link)?
Feb
23
comment The ratio in terms of sets
Can you clarify your question? Your first question asks about A/B, which is then $\frac{(2n-1)!!}{4^n}$, and you second asks about A which you seem to have answered already.
Feb
23
answered How to detect antitransitivity from an adjacency matrix?
Feb
23
comment The Hexagonal Property of Pascal's Triangle
@milcak: can you give an example of a proof of an identity involving just binomial coefficients that would be sufficient to be called 'combinatorial' by you? You may want to explain to what degree your example is 'pure' or avoids the use of 'how pascal's triangle is constructed'. (before dismissing my example, you should confirm that it does not use Pascal's identity)
Feb
16
answered Algorithm complexity in for loop
Feb
16
answered Has there been a rigorous analysis of Strassen's algorithm?
Feb
16
comment Has there been a rigorous analysis of Strassen's algorithm?
The 'rigorous' analysis won't depend on the specific implementation language. There are too many vagaries in computer languages, and anyway they end up not contributing much one way or the other to the analysis. Most references for such algorithm analysis will just look at the recurrence and try to extract constants and lower order terms from the Master Method.
Feb
14
revised Are negative or noninteger powers still power series?
added 3 characters in body
Feb
14
answered Are negative or noninteger powers still power series?