Answer
Absolutely, Iverson's contributions spanned both theoretical and practical realms. Theoretically, his axiomatization of set theory, known as the Zermelo-Fraenkel system, revolutionized the foundations of mathematics. Simultaneously, Iverson also had a knack for solving practical problems, evidenced by his creation of APL, a revolutionary programming language specifically designed for mathematical computations. This fusion of theoretical prowess and practical ingenuity characterizes Iverson's enduring legacy.