Computing as an Experimental Discipline

This chapter considers directly the formal and epistemic properties characterizing computing as an experimental discipline and reconsiders an interpretation of validity and correctness.