IT1 현재의 우리 모두는 구조적 프로그래머이다. 소프트웨어는 연역적인 수학이 아니라, 귀납적인 ‘과학’이다. 수학은 증명 가능한 서술이 참임을 입증하는 원리라고 볼 수 있는 반면, 과학은 서술된 내용이 사실임을 증명하는 방식이 아니라 서술이 틀렸음을 증명하는 방식으로 동작한다. 각고의 노력으로도 반례를 들 수 없는 서술이 있다면 목표에 부합할 만큼은 참이라고 본다. 즉, 과학적 방법은 반증은 가능하지만 증명은 불가능하다. 데이크스트라(구조적 프로그래밍 창시자)가 소프트웨어를 유클리드 계층구조로 만들고자 했던 작업은 아직까지도 잠정적으로 보류되고 있다. 이는 소프트웨어 개발이 수학적인 구조를 다루는 듯 보이더라도, 오히려 소프트웨어는 과학과 같다는 사실을 말해준다. 소프트웨어가 ‘과학’이라는 가정을 받아들인다면,기본적으로 프로그래머들은 자신의 소프트.. 2024. 5. 17. 이전 1 다음