Catalan Numbers

Now what exactly are these numbers? Here are the first few:

For the general case, I could for example give you one of these definitions (where C(N) denotes the N-th Catalan number): It turns out that all these definitions are equivalent. But there are big differences in quality: On this page, I will therefore use the 3. definition (the one with binary trees).
 * 1) C(N) := choose(2N,N) / (n+1)
 * 2) C(0) := 1, and C(N+1) := Sum(i=0 to n) C(i)*C(n-i)
 * 3) C(N) := The number of binary trees that can be built with N nodes.
 * 4) C(N) := The number of possible triangulations (with N triangles) of a convex polygon with N+2 sides.
 * 1. and 2. give a definition without any meaning. Without meaning, they're senseless. These might be helpful when we need to calculate the values, but they're bad definitions in a deeper sense.
 * 3. and 4. are great, and the binary tree problem is probably the problem where most of us first saw the Catalan Numbers. Unfortunately, these don't come with mathematical formulas to calculate the values. But it's fairly easy to prove that the number of binary trees is equivalent to the recursive 2. definition.