josephjang

강정구 교수의 '맥아더를 알기나 하나요?'

강정구 교수의 ‘맥아더를 알기나 하나요?’

2005년 7월 27일 강정구 교수는 데일리 서프라이즈‘맥아더를 알기나 하나요?’라는 컬럼을 실었다. 이 컬럼의 내용은 맥아더 동상 철거에 대한 두 집단의 충돌이 폭력과 이념 분쟁으로 일관하는 당시의 상황을 비판하고 맥아더 동상 철거에 대한 나름대로 합리적인 주장을 제시한 것이었다. 그는, 맥아더가 분단의 원인을 제공했으며, 전쟁의 주도자이며, 전시 민간인 학살의 주범이라는 근거를 들어, 맥아더가 생명의 은인이라거나 은혜를 갚아야한다는 논리를 비판하고 있다. 아래의 내용을 읽기 전에 강정구 교수의 컬럼 원문을 직접 읽어보기를 권장한다.

이에 대한 보수언론과 보수단체의 반응은 극단적이었다. 조선일보의 사설 강 교수는 ‘경애하는 지도자 동지’의 품에 안기라에서는 강정구 교수가 적화통일을 옹호하고 있음을 주장한다.

강정구 동국대 교수는 27일 ‘6.25전쟁은 통일전쟁이자 內戰내전이었다’며 ‘이 집안싸움에 미국이 개입하지 않았다면 전쟁은 한 달 이내에 끝났을 것이고 살상과 파괴라는 비극은 없었을 것’이라고 주장했다. 강 교수는 親盧친노 인터넷매체 ‘데일리 서프라이즈’에 기고한 칼럼에서 ‘전쟁 때문에 생명을 박탈당한 400만명 대부분에게 미국은 생명의 은인이 아니라 생명을 앗아간 원수’라며 ‘전쟁狂광 맥아더의 동상도 함께 역사 속으로 던져버려야 한다’고 했다. 그는 2001년 8-15 행사 때 북한의 김일성 生家생가 만경대를 방문해 방명록에 ‘만경대정신 계승하여 조국통일 이룩하자’는 글을 남겼던 사람이다. 강 교수의 글 속엔 6-25전쟁에서 北북이 승리해 ‘赤化적화통일’이 성사되지 못한 것을 안타까워하는 감정이 절절이 배 나온다.

조선일보 고문 김대중씨의 컬럼 ‘강정구 발언’이 의미하는 것에서는 한술 더 떠서 강정구 교수를 북의 지령을 받은 공작원 정도로 취급한다.

북(北)의 김정일 정권은 이제 대남(對南)전선에서 어떤 자신감을 얻은 듯 하다. 최근 한국땅에서 벌어지고 있는 맥아더동상 철거운동과 동국대 강정구씨의 ‘통일전쟁’ 운운의 발언은 건국 이래 한국의 반공(反共)에 눌려 지하(地下)에 머물렀던 NL세력이 마침내 지상(地上)으로 표출하는 신호탄을 올리고 있음을 의미한다.

6.25전쟁은 통일전쟁이다?

보수언론과 보수단체가 특히 비판하는 부분은 6.25전쟁이 통일전쟁이었다는 대목이다. ‘통일전쟁’이라는 단어가 의미하는 바는 매우 모호하다. 통일을 결과로 하는 전쟁을 의미하는가, 통일을 목적으로 하는 전쟁을 의미하는가. 하지만, 그 단어를 둘러싼 논쟁을 보면, 그들이 부여하는 의미가 그리 단순하지만은 않은 것 같다. 통일전쟁에 담겨진 2차적인 의미는 ‘통일을 할만한 정통성을 가지고 있는 주체에 의한 통일을 결과 또는 목적으로 하는 전쟁’ 정도가 되는 것 같다. 아마도 강교수는 의도하지 않았을, 이렇게 쓸데없이 복잡한 의미를 부여하는 것은 적어도 합리적인 논쟁을 위한 태도는 아니다. 솔직히, 이념 논쟁을 일으키는 자들의 의도가 담긴 것으로 밖에 생각할 수 없다. 생각없이 그 단어만 사용하더라도 그들의 덫에 걸리는 것이다.

강교수가 의도한 그 단어의 진짜 의미가 무엇이든, 강교수의 얘기가 옳은가의 여부의 판단은 학자들에게 맡기고, 이른바 ‘통일전쟁’에 대한 보수진영의 태도를 살펴보자.

우선, 진중권의 창과 방패에 올라온 진중권 씨의 얘기를 들어보자. (via 프레시안)

"한국 역사상 통일을 위해서 전쟁을 결심했던 사람으로 두 김씨가 있으니 김유신과 김일성이다."

6.25가 김유신의 삼국통일에 비견할 만한 통일전쟁이라는 얘기죠? 이 말은 누가 했을까요? 정답은, 월간조선 조갑제 전 사장입니다. 의 말입니다. 대표적 우익인사인 이 분은 김일성도 한 통일전쟁의 결심을, 왜 대한민국은 하지 못하냐고 질타하더군요. 이렇게 6.25가 통일전쟁이었다는 주장도, 조갑제씨처럼 전쟁을 선동하는 맥락에서 하면 괜찮고, 강정구씨처럼 역사학적 주장으로 제기하면 처벌의 대상이 되는 것. 그게 국보법이 지배하는 이상한 나라의 논리입니다.

진중권 씨가 언급한 월간조선 1994년 3월호 조갑제 씨의 논평 외에도 월간조선 2000년 6월호에 실린 허문도 전 통일원 장관의 시론에도 비슷한 얘기가 실려있다.

6-25는 우선 金日成의 통일전쟁이었다

한국 쪽에는 대응火器조차 없는 T34 전차를 앞세워, 3일 만에 수도 서울을 함락시키는 미니 전격전을 벌일 만큼 그 준비는 좋았다. 그러나 金日成은 미국의 개입을 예상치 못했고, 그 미국은 중공의 개입을 예상치 못했다. 전쟁은 밑에다 불칼을 단 롤러로 남북 3000리를 1년 남짓한 사이에 한두 번 아래위로 밀어대는 기동전이었고, 휴전 얘기가 나오고서부터 2년간은 전선이 38선 주변에 교착된, 주로 陣地戰(진지전)이었다.

2001년 9월 28일 건군 53주년 국군의 날 기념식 연설에서 김대중 대통령도 비슷한 논지의 얘기를 했다가, 한나라당의 공격을 받은바 있다.

우리 역사를 되돌아보면 세 번의 통일 시도가 있었습니다. 신라의 통일과 고려의 통일, 이 두 번은 성공했습니다. 하지만 세 번째인 6.25 사변은 성공하지 못했습니다.

그런데 이 세 번 모두가 무력에 의한 통일 시도였습니다. 그러나 이제 네 번째의 통일 시도는 결코 무력으로 해서는 안됩니다. 반드시 평화적으로 해야합니다. 지금은 남북이 엄청난 대량살상무기를 가지고 대치하고 있기 때문에 우리는 민족의 안전을 위해서나 장래의 번영을 위해서나 반드시 평화통일에의 길을 가야 할 것입니다.

다음은 이 연설에 관한 중앙일보의 기사.

이에 대해 한나라당 권철현(權哲賢)대변인은 성명을 내고 "군 통수권자인 대통령이 엄연히 북한의 적화통일 야욕에 의한 남침(南侵)을 ‘통일시도’ 로 평가하다니 대통령의 사상과 역사인식을 의심치 않을 수 없다" 고 비난했다. 權대변인은 "북한의 남침을 저지하기 위해 고귀한 생명을 바친 호국영령들과 참전용사들이 공산주의자들의 ‘통일시도’ 를 막은 ‘반통일세력’ 이란 말인가" 라며 "金대통령은 오해를 불러일으킬 수 있는 발언을 한 데 대해 국민 앞에 사과하고 분명한 입장을 밝혀야 할 것" 이라고 말했다. 한나라당 이재오(李在五)총무는 "대한민국의 정체성을 훼손하는 발언"이라며 "국회 대정부 질문에서 강력히 따질 것" 이라고 말했다. (from 중앙일보)

2000년과 2001년 사이에 화성인의 침공이라도 있었는가?

국가보안법에 의한 강정구 교수 사법처리

조선일보가 강정구 교수를 조선일보 입사시험에 낙방한 루저로 모는 찌질이짓을 하는 가운데, 경찰당국은 강정구 교수를 국가보안법으로 사법처리 방침을 발표했다.

급기야 보수 세력의 반발은 행동으로 나타났다. 자유개척청년단 등 23개 보수 시민단체 회원 820명이 최근 "강 교수의 글은 북한을 찬양-고무해 국가 변란을 선전-선동하고 국헌 문란을 목적으로 내란을 선동한 것"이라며 서울중앙지검과 서울경찰청에 고발장을 제출한 것.

고발장을 접수한 수사당국이 강 교수의 글 중 관심을 갖는 대목은 "6.25 전쟁은 후삼국 시대 견훤과 궁예, 왕건 등이 모두 삼한 통일의 대의를 위해 서로 전쟁 했듯이 북한의 지도부가 시도한 통일전쟁"이라고 주장한 부분이다.

수사 당국이 이 대목을 특별히 주목한 것은 북한에 대한 찬양-고무를 금지하고 있는 국가보안법 제7조에 저촉될 가능성이 높기 때문일 것이다. 실제로 수사 당국인 서울경찰청은 지난 24일 사법처리 가능성을 강조하면서 "조사 초점은 국가보안법 7조(고무-찬양) 위반 여부"라고 밝혔다. (from 프레시안)

6.25가 통일전쟁이라는 말 중에 누가 옳고 누가 그른지는 별로 관심이 없다. 맥아더 동상 철거에 대한 강정구 교수의 모든 논리가 설득력이 있다고도 생각하지 않는다. 하지만, 강정구 교수의 논리는 그 논리가 반박됨으로써 힘을 잃은 것이 아니다. 조선일보를 비롯한 보수세력들은 그 논리를 얘기한 사람, 바로 강정구 교수라는 사람 자체를 반박함으로써 그의 논리도 힘을 잃어버리게 만들고 있다. 맥아더 동상 철거에 관한 합리적인 논의를 시작해보자고 했던 글이 보수언론에 의해 조그만 꼬투리를 잡혀서 국가보안법의 도마에까지 아직도 오를 수 있다는 사실이 그저 실소를 자아낼 뿐이다.

Update 2005/10/16: 강정구 교수에 대한 비판에 대한 강정구 교수의 반박

강정구 교수의 '맥아더를 알기나 하나요?' 더 읽기"

TV, 책을 말하다 – 리영희의 對話

우연히 TV를 틀었다가, KBS의 "TV, 책을 말하다"라는 프로그램에서 리영희, 임헌영, 진중권 씨가 나온 걸 보았습니다. 리영희 선생의 책은 모두 품절이어서, "다시쓰는 한국현대사"와 같은 2차 자료나 신문 등의 인터뷰를 통해서만 접해왔으나, 그런 제한적인 매체로나마 접할 수 있었던 그 분의 생각들에는 동의하지 않을 수가 없었습니다. 프로그램 시작부터 보지 못해서 아쉽지만, 리영희 선생이 손을 떨면서 지식인의 역할에 대해서 말씀하실 때는, 그 분의 강한 정신력을 느낄 수 있었고 감동적이기까지 했죠. 아직 다시보기로는 올라오지 않은 것 같습니다.

참, 그리고, 전엔 품절이던 선생의 유명한 저서, "전환시대의 논리"가 다시 인터넷 서점에 보이던데, 한권 사시죠.

TV, 책을 말하다 – 리영희의 對話 더 읽기"

Tejun Heo

KernelTrap 기사를 보다가 Serial ATA (SATA) Linux software status report에서 태준옹의 이름을 발견했습니다. 물론 그 전에도 ChangeLog를 살피다보면 간간이 볼 수 있긴 했지만요. 배틀필드 2 한국 서버의 tejun과 동일 인물이라죠.

Tejun Heo has contributed error handling improvements, and assisted in various other areas.

태준옹으로 말하자면, 참으로 멋진 사람입니다. 그는 여러가지 면에서 저의 선생이기도 하지만, 그의 가장 큰 장점을 들자면 아무래도 합리적이면서도 균형 감각을 잃지 않는 점이랄까요. 논리에 너무 빠져들다보면 전혀 현실적이지 않은 극단에 빠지기가 쉬운데, 태준옹은 제가 그럴 때마다 항상 그런 것을 바로 잡아줍니다. 그렇다고 해서, 자신이 믿지 않는 것과 손쉽게 타협하지는 않습니다. (균형 감각이라는 말에 오해의 소지가 있을 것 같아서 언급합니다.)

한번은 제가 다니던 회사에 형을 추천한 적이 있는데, 면접에서 다음과 같은 재미있는 얘기가 있었다죠.

면접관: 당신은 사랑과 우정과 일 중 하나를 선택하라면 무엇을?

tejun: (쩔쩔매며..) 저는.. 그런 질문 되게 싫어하거든요? 그러니 딴 질문을..

결과는? 떨어졌습니다. 물론, 저런 대답을 했다고해서 떨어진 거라고 단정지을 수는 없지만요. 이유가 무엇이었든간에 태준옹과 같은 인재가 떨어진 것은 매우 아쉬웠습니다.

아, 그리고 이번에 Linux 관련 모 외국 기업으로부터 job offer를 받으셨다죠. 이 자리를 빌어서 한번 더 축하드려요.

Tejun Heo 더 읽기"

MT-Blacklist

Last Mind에 Comment Spam이 더이상 컨트롤할 수 없을 정도로 심해져서, MT-Blacklist 플러그인을 설치했습니다. MT-Blacklist 플러그인은 마스터 블랙리스트를 자동으로 업데이트해서, 새로 들어오는 comment나 trackback을 필터링해주는 역할을 합니다.

MovableType의 Spam에 대한 대책들은 다음 글들이 잘 정리하고 있습니다. 만약, MT-Blacklist가 잘 통하지 않으면, 이 글들이 제안하는 다른 방법들도 사용해봐야 겠습니다.

MT-Blacklist 더 읽기"

World's Smallest Political Quiz

World’s Smallest Political QuizPolitical Compass와 같이 자신의 정치적 성향을 측정하는 테스트. (via lunamoth) 10문항 밖에 없으니, 심심풀이로 한번 해보라.

내 결과는 Liberal. (personal 70%, economic 0%)

Political Map

LIBERALS usually embrace freedom of choice in personal
matters, but tend to support significant government control of the
economy. They generally support a government-funded “safety net”
to help the disadvantaged, and advocate strict regulation
of business. Liberals tend to favor environmental regulations,
defend civil liberties and free expression, support government action
to promote equality, and tolerate diverse lifestyles.

World's Smallest Political Quiz 더 읽기"

MBTI 테스트

3년 전쯤에 했던 MBTI 테스트 결과ISFP였는데, 이번에는 INTP가 나왔다. 이거 왠지 당시의 관심사에 따라 달라지는 것 같기도하다. 당시는 오랫동안 연애를 하고 있던 시절이었고, 지금은 연애랑은 담쌓고 책과 페이퍼들에 침잠하는 삶을 살고 있으니. 침울한 성격(I)에 무계획적(P)이란 건 변함없다는 사실에 좋아해야하는건지…

MBTI 테스트 더 읽기"

Skype

Skype(스크린샷)을 사용하기 시작했습니다. 원래부터 벼르고는 있었지만, 바빠서(?) 정신이 없는 관계로 계속 미루어 오다가 지난 주부터 설치해서 사용하기 시작했습니다.

제 아이디는 ehlegeth입니다.

메시징

일단 기본적인 메시지 전송, 파일 전송, 음성 대화 등은 모두 제공하고 있구요. 다자간 회의도 가능합니다. 음성 대화의 경우 반응성도 좋고 음질도 좋습니다. ICQ로 음성 대화를 하던 시절보다 훨씬 좋아진 것 같네요. MSN으로는 별로 안해봐서 모르겠습니다. (여자친구가 있었던 시기에 따라 사용여부가 결정된다죠.)

암호화된 메시징

한가지 더 눈에 띄는 점은 기본적으로 메시시 전송, 파일 전송, 음성 대화 모두 암호화된다는 것입니다. 보통 때 하는 잡담들이야 굳이 암호화될 필요가 없지만 가끔식 중요한 얘기를 할 때는 좀 신경쓰일 때가 있습니다. 이를테면, 회사에서 상사 욕을 한다거나, 성인 컨텐츠 사업에 대해서 의견을 교환한다거나 할 때는 말이죠.

Skype

SkypeIn, SkypeOut

Skype의 유료 서비스들인 SkypeOut, SkypeIn, Skype Voicemail 서비스들도 사용해보지는 않았지만 매력적입니다. SkypeOut은 일반 전화로 연결이 가능하게 해주는 서비스, SkypeIn은 반대로 자신의 Skype 메신저에 번호를 부여해서 다른 사람들이 전화를 통해서 연결이 가능하도록 해주는 서비스죠. SkypeOut의 요금은 destination에 따라 책정되고, 우리나라의 경우 일반 전화는 분당 0.020 유로(약 26.5원), 핸드폰(Mobile)의 경우에는 분당 0.059 유로(약 78원)입니다. 북아메리카나 서유럽, 호주, 중국 등지에는 Global rates가 적용되어서 분당 0.017 유로입니다. 국내 전화 요금이랑 비슷한 편이고, 국제 전화 요금에 비하면 상당히 싼 편이죠. SkypeIn의 경우에는 1년 또는 3개월 구독 형태로 과금이 되고, 3개월에 10 유로, 1년에 30 유로입니다.

Skype 더 읽기"

A Note on Distributed Computing

We argue that objects that interact in a distributed system need to be dealt with in ways that are intrinsically different from objects that interact in a single address space. These differences are required because distributed systems require that the programmer be aware of latency, have a different model of memory access, and take into account issues of concurrency and partial failure.

A Note on Distributed Computing

많은 사람들이 network transparency 또는 distributed object 기술에 관해서 부정적인 견해를 보이고 있지만 이 문제에 관해 잘 정리된 문서를 보기는 힘들었다. 이 paper에서는 latency, memory access model, concurrency와 partial failure의 문제를 들어 local object와 distributed object 사이의 차이를 보이고 있다. 그러한 차이 때문에 local object와 distributed object 사이에는 implementation의 차이뿐만 아니라 interface 수준 (즉 설계 수준)에서 차이가 발생할 수 밖에 없다고 얘기하며, 이를 무시할 경우에 어떤 문제가 발생하는 지를 설명하고 있다. NFS를 예로 들어 설명하고 있으며, 마지막에서는 같은 machine boundary지만 memory는 공유하지 않는 세번째 모델에 대해서 언급하고 있다.

실제로 distributed object 기술 개발을 경험해봤던 사람으로써, 이 paper가 언급하고 있는 문제를 대부분 경험해보았다고 얘기할 수 있을 것 같다. 이 paper가 언급하고 있는 NFS와 같이 오래된 예보다는 RPC나 CORBA 계열의 기술들을 직접 예로 들어서 이 paper의 논리를 보충하면 좋을 것 같다는 생각이 든다. 나중에 시간이 생기면 실제 경험을 바탕으로 얘기해보도록 하겠다.

A Note on Distributed Computing 더 읽기"

Arithmetic & Logic in Lambda Calculus

Tutorial Introduction to Lambda Calculus을 읽으면서 재미있었던 것은 Church integer/boolean들과 그에 상응하는 arithmetic/logic operator가 λ calculus만으로도 잘 정의될 수 있다는 점이었다. 예를 들어보자.

Church integer

λ calculus를 사용하여 자연수를 표현하는 방법 중에는 Church integer라는 방법이 있다.

  • 0 := λsz.z
  • 1 := λsz.s(z)
  • 2 := λsz.s(s(z))
  • 3 := λsz.s(s(s(z)))z

간단히 설명하면 자연수 n은 s를 n번 z argument에 적용한 함수인 것이다.

Addition

successor function을 사용하여 Addition을 구현할 수 있다. successor function은 다음과 같다.

  • S := λwyx.y(wyx)

successor function에 argument를 적용하면,

S0 := λwyx.y(wyx) λsz.z := λyx.y(λsz.z yx) := λyx.yx := 1

0S := λsz.z λwyx.y(wyx) := λz.z := I (identity function)

S1 := λwyx.y(wyx) λsz.sz := λyx.y(λsz.sz yx) := λyx.yyx := 2

1S := λsz.sz λwyx.y(wyx) := λz.λwyx.y(wyx) z := λz.λyx.y(zyx) = λzyx.y(zyx) = S

S2 := λwyx.y(wyx) λsz.s(s(z)) := λyx.y(λsz.s(s(z)) yx) := λyx.y(y(y(x))) := 3

2S := λsz.s(s(z)) S := λz.S(S(z))

결국, Sn의 형태는 s를 치환하는 y를 하나 더 추가하게 되어 n+1의 결과를 낳게되고, nS의 형태는 Church integer의 특성상 S를 n번 수행하는 함수를 결과로 넘겨주게 된다. 따라서, 다음과 같은 형태도 가능함을 알 수 있다.

2S3 := λz.S(S(z)) 3 := S(S(3)) = S(4) = 5

증명해보지는 않았지만, 아마도 S는 commutative하고 transitive할 것 같다.

그럼 이런 건 어떻게 될까?

12 := λz.2(z) := λz.(λst.s(s(t)))z := λz.(λt.z(z(t))) := λzt.z(z(t)) := 2

22 := λz.2(2(z)) := λz.2(λt.z(z(t))) := λz.(λsu.s(s(u)) (λt.z(z(t))) ) := λz.(λu.(λt.z(z(t))) ((λt.z(z(t))) u) ) := λz.(λu.(λt.z(z(t))) z(z(u)) ) := λzu.z(z(z(z(u)))) = 4

결과는 곱셈 같지만, 다른 것들도 계산해보면, 일관성있는 결과는 나오지 않는 것 같다. 물론, Church integer에 대한 곱셈 연산도 따로 있다.

Churge Booleans

  • T := λxy.x
  • F := λxy.y

F는 0과 동일함을 눈여겨볼 수 있다.

Logic

기본적인 논리 연산들은 다음과 같이 정의된다.

  • ∧ := λxy.xy(λuv.v) := λxy.xyF
  • ∨ := λxy.x(λuv.u)y := λxy.xTy
  • ¬ := λx.x(λuv.v)(λab.a) := λx.xFT

T는 두 argument 중 첫번째를 선택하고, F는 두번째를 선택하므로, 쉽게 다음을 계산할 수 있다.

∧TT := TTF := T

∧TF := TFF := F

∧FT := FTF := F

∧FF := FFF := F

∨TT := TTT := T

∨TF := TTF := T

∨FT := FTT := T

∨FF := FTF := F

¬T := TFT := F

¬F := FFT := T

Tutorial에서는 multiplication, conditional test, predecessor, equiality, recursion 등도 소개하고 있는데, λ calculus의 substitution과 기본적인 함수들(church integers/booleans, arithmetic/logic operator)의 특성만 잘 이해하면 이해하기는 쉬운 편이다.

Arithmetic & Logic in Lambda Calculus 더 읽기"