Definition

A German mathematician who is best known for his rigorous formulation of the theory of sets and his conception of an ideal as a special kind of set. Dedekind is also associated with the development of the real numbers on the basis of the integers, and with his formal treatment of algebraic number theory.