Hi Fred, Thanks for your interest. It’s just an excerpt, so context might be difficult to pick up right away. Maximally permissive, meaning, allowing any number of arguments, in contrast to minimally permissive unary or binary functions. The term “head” is consistent usage with Wolfram language: https://reference.wolfram.com/language/ref/Head.html The theorem in question is the well know fact that Catalan numbers can be written as a multiple of central binomial coefficients: C_n = 1/(n+1)*C(2*n,n) However the claimed “proof” or at least “rigorous derivation” is also about lattice walks, and the potentially novel idea is that the set DIFFW is useful for counting the complement of CATW in CBCW. The first paragraph explains in detail how to go from sets of function compositions to sets of lattice walks. If that is too confusing for you, it is possible just to skip the first paragraph, and start reading at paragraph 2. Cheers —Brad
On Sep 28, 2019, at 8:42 PM, Fred Lunnon <fred.lunnon@gmail.com> wrote:
I couldn't understand the first line. If you must use obscure undefined notation such as "maximally permissive" and "head", please cite an introductory text where the reader might find them explained.
It remains obscure to me both what statement you intended to prove, and where your claimed proof starts and finishes.
WFL
On Sun, Sep 29, 2019 at 12:53 AM Brad Klee <bradklee@gmail.com> wrote:
Here is an excerpt from one of my unpublished manuscripts:
https://github.com/bradklee/Docs/blob/master/CatalanExcerpt.pdf
It describes a derivation of the Catalan numbers, which I have not seen elsewhere. Does this proof work for everyone? Has anyone seen it written down elsewhere? How do you think it compares to using André's reflection method?
Thanks --Brad
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun