responsible for significant contributions to number theory and algebra, classifying finitely generated abelian groups. But he is more often remembered as the first to cast doubts on non‐constructive existence proofs, over which he disputed with Weierstrass and Cantor.