You are viewing a single comment's thread from:

RE: '스마트 계약'의 의미이론에 대해

in #blockchain7 years ago

예시를 대충 했더니 바로 지적하시네요^^ 사실 이 문단에서 이야기하는 부테린의 '지시적 의미이론'의 문제를 더 정확히 보여주는 예시가 있겠지만, 독자들에게 단순하고 직관적인 예시를 하기 위해 감수한 부분입니다.^^ 더 명확한 예시는 '무한 루프'의 예시일 것입니다. 그것이 부테린 자신도 GAS를 통해 해결하려 한 '결정 불가능' 문제인데, '무한 루프'는 표현은 확정되더라도 의미가 확정되지 않는 대표적 예라고 할 수 있습니다.

Sort:  

넵 답변감사드립니다.