Ninth Dedekind Number Found by Two Independent Groups

Richard Dedekind was a 19th-century mathematical giant, responsible for reshaping the field right down to its foundations. He was the first to give a rigorous definition of infinity; he also came up with the definition of the real numbers that …