Richard Dedekind (1831–1916), a German mathematician and also an accomplished pianist and cellist, is best remembered for his rigorous definition of the real numbers in terms of the rational numbers, which hinges on the concept of the “Dedekind cut”. (M 42367) _ _.