Dedekind's Problem

The determination of the number of monotone Boolean Functions of $n$ variables is called Dedekind's problem.