> It's entirely possible, in theory, to write bug-free code. Only when "code" is thought of as an abstract notion existing in isolation from inputs, outputs, r

> It's entirely possible, in theory, to write bug-free code. Only when "code" is thought of as an abstract notion existing in isolation from inputs, outputs, real systems, etc.