자유 게시판
프로필 이미지
[레벨:20]챠우
read 2375 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)

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

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

2019.07.18 (09:23:42)

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

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


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


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


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


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

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


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

List of Articles
No. 제목 글쓴이 날짜 조회sort
5072 여러분들의 탄생화는 무엇인가요? 3 죽어문화개혁 2013-01-03 65384
5071 검토 부탁드립니다. 1 사드레 2007-06-19 64569
5070 애플 와치 만드는 과정 설명 image 오리 2015-03-21 59539
5069 "깨달음의 대화 - 상호작용의 세계관"을 읽고 질문입니다. 1 귤알갱이 2013-07-06 49738
5068 [유시민] 문제는 '지역감정'이 아니라 '전라도 혐오증' 2 이민구 2012-12-21 32687
5067 환영하오. 소라 짱! image 4 양을 쫓는 모험 2009-05-06 29146
5066 대한민국 연령별 인구분포도('15. 2월 현재) image 3 싸이렌 2015-03-20 27154
5065 남자의 자격, 배다해의 노래에 울화가 치민다 image 5 양을 쫓는 모험 2010-08-10 25382
5064 천마신군의 리더쉽 image 2 양을 쫓는 모험 2013-01-23 20720
5063 수능 점수에 맞춰 대학 가려는 딸 어떻게 할까요? 7 새벽이슬2 2014-12-19 20683
5062 영화는 한국에서 개망했지만 눈내리는 마을 2014-12-14 19936
5061 내년에는 과연 이글스가 9위를 탈출 할까? 2 오리 2014-11-04 19412
5060 한반도 대척점 image 노매드 2010-09-01 18664
5059 "방불케 하다" 라는 관용구의 어법 분석. 1 노매드 2010-10-26 17350
5058 성형수술 통계 image 3 곱슬이 2012-04-25 17248
5057 Google Science Fair 2013 이제 여러분이 세상을 바꿀 차례입니다. image 2 오리 2013-07-03 17228
5056 사상누각에 대한 짧은 단상 image 15門 2013-01-03 17001
5055 표창원 vs 권영진 , 표창원 vs 전원책 1 이민구 2012-12-18 16955
5054 7월22일~25일 방영된 다큐추천합니다 EBS 다큐 프라임 기생寄生 PARASITE image 4 삼백 2013-07-27 16590
5053 Milkis Theodorakis - 기차는 8시에 떠나네 6 아란도 2011-01-31 16243