Why Software Is Not an Easily Verifiable Domain

Software is highly checkable, but end-to-end verification is hard because deciding what should exist is the real work. A critique of AI verification through the lens of Naur, Deutsch, and Alexander.