![]() Public Domain by Tilman Piesk
| Using a supercomputer, a more than 30 year problem has been solved, namely the ninth so-called Dedekind number has been found. It has 42 digits. Dedekind numbers are used to count the number of monotone boolean functions.
|