4,478 reputation
1435
bio website
location
age
visits member for 4 years, 4 months
seen 2 days ago

Jan
19
comment What do mathematicians mean by “equipped”
Which is to say that 'equipped' is metaphorical language, not a technical term.
Jan
6
comment Why is it important to have the closed form of a generating function?
A side consideration is simply that it is a general mathematical style that finite is desired more than the infinite. You have a better handle on things if they have been reduced to a finite thing. Ellipses are a sign of inscrutability. Of course, with notation, ellipses can be encapsulated into symbols with iteration, and then progress is measured in terms of reduction in bound variables (removing the iteration). Sure a gf can be more inscrutable, but part of math is having multiple formalisms to operate on. That's general strategy. Yuval's excellent answer gives specifics for ops on gfs.
Dec
19
awarded  Constituent
Dec
14
reviewed Approve Homothetic transformation
Dec
12
comment What's the difference between a bijection and an isomorphism?
In short, a bijection (or -jection) is a kind of function on sets. An isomorphism (or -morphism) is a kind of function that is structure preserving. Or rather one term is in the language of set theory, the other is in category theory. Underlying all isomorphisms is some bijection, but a bijection doesn't necessarily preserve structure in the category you care about. If your category is Sets, then they're the same.
Dec
8
comment Is 128 the only multi-digit power of 2 such that each of its digits is also a power of 2?
Don't forget to also rule out 8.
Dec
8
awarded  Caucus
Dec
5
awarded  Nice Answer
Dec
3
comment Is it possible to simulate a floor() function with elementary arithmetic?
@ChristianSemrau the given ops do not allow complex math (exact, not floating point) or arbitrary roots of unity either. The true answer is either 'no' because of the reason given in the top answer, or 'yes' because the domain is integers and integer division already gives the floor.
Dec
2
revised Is it possible to simulate a floor() function with elementary arithmetic?
typo
Dec
2
comment Is it possible to simulate a floor() function with elementary arithmetic?
Since all your ops are on integers, the output of each op will be integers. The default implementation of integer division and so will be to 'round to 0' which is equivalent to 'floor' on non-negative integers. Which means you don't need a special 'floor' function because you already have it by default.
Dec
2
answered Is it possible to simulate a floor() function with elementary arithmetic?
Dec
2
answered Is it possible to simulate a floor() function with elementary arithmetic?
Nov
8
answered Reference textbook about proof techniques
Nov
8
revised Reference textbook about proof techniques
proof -> proofing
Sep
30
awarded  Explainer
Sep
29
comment Why are real numbers useful?
Use the binomial distribution.
Sep
25
comment Understanding why Hall's marriage theorem $\Leftrightarrow$ Dilworth's theorem
robertborgersen.info/Presentations/GS-05R-1.pdf gives a number of proofs around all these theorems.
Sep
25
comment Analytic Proof Of ${n\choose r}={n-1\choose r-1}+{n-1\choose r}$
I would call this an 'algebraic' proof. An 'analytic' proof would more likely be a proof using generating functions. Of course everything uses algebra to some extent, but the major category of a proof is the primary strategy.
Sep
25
comment Sum of sequence of cubes and summation on the upper index
$k^3 = 6{k \choose 3} + 3 k^2 -2k $ (I got this by expanding out ${k \choose 3}$). Now eliminate the $k^2$ using ${k \choose 2}$. Then again for the leftover $k$ term. Now, if you sum the LHS, you sum the RHS. But by the stated thm, you can calculate the sum of the RHS.