Mathematicians have finally pinned down the ninth Dedekind number, a 42 digit integer that had been taunting them since 1991. It counts a very specific kind of logical rule, and getting that count required months on a custom supercomputer in…
Mathematicians have finally pinned down the ninth Dedekind number, a 42 digit integer that had been taunting them since 1991. It counts a very specific kind of logical rule, and getting that count required months on a custom supercomputer in…