자유 게시판
프로필 이미지
[레벨:20]챠우
read 2372 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. 제목 글쓴이 날짜 조회
5012 약국 마스크 문제 1 레인3 2020-03-09 1420
5011 책주문 배송문의 3 풍풍파 2020-03-09 1228
5010 치약 내부가 섞이지 않는 이유 4 이금재. 2020-03-08 2236
5009 이재명 10 시선 2020-03-07 1993
5008 전태일 50주기 으뜸 구호 시민 공모 수피아 2020-03-05 1185
5007 구조론 목요모임(장안동, 필수인력) image 오리 2020-03-05 1501
5006 이단? 해안 2020-03-05 1247
5005 입국제한-금지국가들 수출입제한 1 펄잼 2020-03-03 1528
5004 마스크 구하기의 현실 1 레인3 2020-03-03 1358
5003 311 사회적 거리두기 운동 스마일 2020-03-02 1912
5002 누구 말이 맞을까?(알루미늄 로워암) 2 이금재. 2020-03-01 2729
5001 귀화외국인에 대한 투표권 6 펄잼 2020-02-29 2224
5000 구조론과 벡터 image 2 이금재. 2020-02-28 1566
4999 탄핵청원 역시나 매크로구나 image 승민이 2020-02-27 1773
4998 구조론 목요모임(장안동, 필수인력) image 오리 2020-02-27 1365
4997 문재인 대통령 탄핵 반대 청원 5 슈에 2020-02-26 1740
4996 <종교는 예술처럼> '속리산 법주사' 관련하여 쓴 글입니다. 아란도 2020-02-26 1307
4995 (정보) 이사준비할 때 알아둬야 할 팁 10가지 image 좌뇌의둔화 2020-02-25 1613
4994 면적의 구조론적 의미 image 5 이금재. 2020-02-25 2010
4993 공유합니다 6 고향은 2020-02-24 1577