자유 게시판
프로필 이미지
[레벨:10]챠우
read 838 vote 0 2019.07.17 (16:58:07)

https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C


지 문제, 또는 Halting Problem으로 불리는 판정 문제의 한 갈래로 "유한한 수의 단계 후에 주어진 프로그램이 해결하고자 하는 문제가 해결되는지 우리에게 미리 말해줄 수 있는 어떠한 알고리즘이 존재하는가?" 라는 질문이다. 다르게 말하자면 튜링머신에 1개의 프로그램과 Input자료 1개를 넣으면서 "야 너 이게 유한한 단계 후에 답이 나올지 나에게 풀어보기 전에 미리 알려줄 수 있어?" 라는 질문을 할 때 이를 해결해줄 수 있는 특정한 단일 프로그램이 있는가가 정지 문제이다. (나무위키 중)


정지문제(halting problem)라는 이름이 좀 요상해서, 저도 이게 뭘 의미하는지 크게 관심이 없었다가, 마흐의 물통을 설명하려는 시도와 튜링의 정지문제가 정확히 같은 문제라는 점에 착안해서 설명을 좀 해보고자 합니다. 


정지한다는 표현이 동사이므로 동사에 관심을 둔 튜링도 이 문제의 본질에 다가가지 못했다고 할 수 있습니다. 대신 괴델의 불완전성 정리라는 표현이 낫습니다. 그가 관찰한 것이 동사라면 계 내부를 본 것이고, 계 내부에서 인자간 상호작용의 유한성을 확인하려 하므로 실패합니다. 


무슨 말이냐, 어떤 둘의 상호작용이 유한한지를 결정하는 것은 그 둘로는 설명 불가능하다는 거죠. 이는 게임이론으로도 설명할 수 있습니다. 게임이론에서 두 죄수만으로 최적의 전략을 설명하려고 한다면 두 죄수의 상호작용 혹은 연산은 끝이 나지 않습니다. 니가 그렇게 하면 나는 이렇게 한다가 서로에게 적용되는 거죠. 


부동산 시장에서의 전략도 같습니다. 정부가 민간 업자들과 같은 링에서 서로 멱살잡이 하고 있으면 답이 안 나옵니다. 이 경우엔 정부가 자기 포지션을 망각한 거죠. 심판이 될 수 있는 자가 선수로 뛰면 망하는 겁니다. 링 안에서는 답이 안나옵니다. 서로 자기가 맞다고 우기다가 밤샙니다. 서로 꼬리물기 하다가 빙글빙글. TV토론을 보면 자주 관찰하는 겁니다. 서로 인정을 안 하죠. 


문제를 풀기 전에 그 문제에 답이 있다는 사실을 알 수 있을까요?


당연히 알 수 있습니다. 모든 문제엔 답이 있다고 하잖아요. 문제에 답이 있는 이유는 문제와 답이 규칙에 의해 짝지어져있기 때문입니다. 이런식의 사고는 제논의 역설과도 닿아있죠. 이때 규칙은 외부에 있습니다. 반면 내부에는 선수만 있죠. 문제는 우리의 관심이 내부에 꽂혀있다는 겁니다. 내부만으로 완전하길 바라므로 답이 안 나옵니다. 그게 아니라니깐.


정지하냐는 말은 유한하냐로 바꿔쓸 수 있습니다. 유한하다는 것은 디지털이냐를 묻는 거고, 디지털이냐는 말은 외부가 있냐는 겁니다. 외부가 없으면 디지털이 될 수 없습니다. 지들끼리는 무한합니다. 컴퓨터이론에서 무한은 무서운 존재입니다. 왜냐하면 연산이 끝이 안 나면 컴퓨터가 퍼지거든요. 재귀문제로도 설명하곤 합니다.


끝이 없는 재귀문제를 멈추려면 규칙을 정해야 합니다. 실제로 프로그래밍에서 규칙을 정하기는 합니다. 그러면 문제 없는 거 아냐? 라고 생각하지만, 문제가 여전합니다. 정지 규칙을 정하는 그것을 분명하게 규정하지 않았거든요. 그것이 외부인지 내부인지를 말하지 않았다는 거죠. 절차지향과 객체지향 모두 내부만을 바라보는 한계가 있습니다. 주체지향이라는 것은 상대적인 외부를 정의하여 프로그래밍의 존재를 인간과 연결합니다.


for문에 대해 의심한 적이 있나요? 보통 반복문으로 이해하고 설명하는데, 망하는 설명이죠. 프로그래밍은 기본적으로 정지하지 않는 엔진입니다. 문제를 주면 끝없이 쪼개고 반복합니다. 그러므로 정지 규칙을 정해줘야 하는데, 그게 for입니다. 왜냐하면 for는 범위 또는 한계를 나타내기 때문입니다. 


범위를 정해주는게 곧 규칙이 되는 거죠. 프로그래밍 자체를 방정식으로 표현해야 하며, 내부와 외부를 상대적으로, 또 연쇄적으로 표현해야 합니다. https://private.tistory.com/43 AOP라고 해서 관점지향 프로그래밍이 있긴 한데, 정작 이걸 만든 사람도 본질을 때리지 못하고 기능적인 구현에만 머무르고 있습니다. 





[레벨:10]다원이

2019.07.18 (08:24:08)

흥미롭습니다. 아래 인용한 부분 조금만 더 설명 부탁 드립니다.

정지하냐는 말은 유한하냐로 바꿔쓸 수 있습니다. 유한하다는 것은 디지털이냐를 묻는 거고, 디지털이냐는 말은 외부가 있냐는 겁니다. 외부가 없으면 디지털이 될 수 없습니다.
[레벨:5]현강

2019.07.18 (09:23:42)

부동산 시장에서는 플레이어 간 맞대응이 유한한 즉 어느 시점에서 대결이 정지할 수 있느냐.

시장에서는 포지션 겹침(두 매매주체의 호가가 만남)을 통해 효율(양 쪽에 이득)을 생산할 수 있어야 거래(정지)가 이루어짐.


정부가 일방적으로 이득을 보는 조세정책만 믿어붙인다면 정부와 건축업자 간에 거래는 이루어지지 않는 셈이며 조세저항이라는 맞대응이 분양받은 사람에 이어 향후 신규매수자, 세입자에게 가격전가를 통해 이어짐. 


하지만 정부가 건축허가 부지를 화끈하게 늘려버리면 시장 내부에서 건축업자와 매수자 간의 대결만으로 수요와 공급의 균형점을 도출할 수 있음(정지 혹은 종결).


즉 정부는 시장 내부에서 이익을 취할 것이 아니라 외부로 나가서 시장 전체 일방적으로 이익을 뿌려줘야 함. 그래야지 나중에 시장이 활성화되어서 다시 이익을 회수할 수 있음. 정부와 시장 전체와의 거래인 셈.


정부는 시장에 부동산 개발(생산성 향상)부지 허용이라는 전체파이를 제공해줘야, 뭔가 먹을 것이 있어야 시장 내부에서 그것을 나눠 먹는 의사결정이 가능. 

말 할 필요도 없겠지만 무조건 전 국토 허용이라든가 다주택 투기꾼들에게도 추가세금을 걷지 않는다던 얘기는 아님.


컴맹이라 시장과 자산에 대해서만 말할 것이 있네요.

List of Articles
No. 제목 글쓴이 날짜 조회
4870 일단 부딪혀 보는게 얼마나 중요한 겁니까? 13 연역 2019-08-03 1541
4869 8월 1일 구조론 모임 후기 3 오리 2019-08-02 722
4868 지금 형국은 다원이 2019-08-02 718
4867 구조론 목요모임 image 오리 2019-08-01 357
4866 연역 모형 제시 image 1 현강 2019-07-31 596
4865 튜링 이발사의 자뻑 문제 image 챠우 2019-07-31 609
4864 좋아하는 게 없다는 사람 9 연역 2019-07-31 804
4863 자기소개 image 3 말시인 2019-07-30 661
4862 개발도상국의 환율게임 현강 2019-07-29 481
4861 정보 과잉이 불안을 주는군요 4 연역 2019-07-26 1047
4860 "이기는 법", "세상은 마이너스다" 는 절판되었는지 문의드립니다. 4 윤민 2019-07-25 664
4859 구조론 목요모임 image 2 오리 2019-07-25 337
4858 아베의 족보 2 수원나그네 2019-07-24 1333
4857 자율 주행이 안 되는 이유 챠우 2019-07-22 683
4856 구조론 목요모임 image 오리 2019-07-18 319
» 튜링의 정지문제 2 챠우 2019-07-17 838
4854 가격에 엮여있는 요인에 대해 가볍게 짚기 현강 2019-07-15 439
4853 채식주의는 초인적 관점 9 연역 2019-07-13 1367
4852 시장은 효율의 총량을 증대시켜 먹고산다. 1 현강 2019-07-11 566
4851 구조론 목요모임 image 오리 2019-07-11 320