명제 논리에서 커리 하워드 동형성이라는 게 있다더군요.

컴퓨터 프로그램과 논리적 증명은 본질적으로 같다는 말이라고 합니다.

즉, 컴퓨터에서 뭔가 실행되면, 그건 그 프로그램이 논리적으로 맞다는 뜻이라네요.

그런데, 프로그램 실행파일이 바이러스라도 이 말이 참이라는 거지요.

바이러스 실행파일도 논리적으로는 맞는 프로그램이라는 말입니다.

이게 어쩌면 이번 대통령의 발언과 맞닿아 있는 거 같네요.

개혁이 혁명보다 어렵다는 말은 사실이지요.

단, 조건이 있지요. 그러한 개혁이 실제로 나타나 그 결과로 그런 기득권 세력의 힘이 약화되어야 개혁되었다고 말할 수 있는 거지요.

개혁을 말하는 자가 개혁을 방해한다는 말도 사실인 거 같네요.

개혁을 입에 담으면서 개혁적이지 못한 사람들이 있는 것도 사실이지요.

여기서도 조건이 있지요. 그 개혁을 방해하는 자가 누군였는지 정확히 나중에 밝혀야 한다는 거지요.

개혁이라고 해놓고, 권력의 중심만 바꾸는 것이라면, 한쪽에서 돌을 빼서 다른 쪽으로 옮긴 것과 다를 바 없기 때문이지요.

대통령이 말이 모두 참이 되려면, 마치 컴퓨터 프로그램의 실행 결과가 바이러스의 실행결과 같은 뭔가 석연치 않은 구석이 있으면 안될 거 같네요.

즉, 실제로 개혁이 이루어져야 한다는 거지요.

그게 검찰개혁의 본질을 훼손하지 않기를 간절히 바랄 뿐입니다.

자세한 건 출처 참고하세요.