유한한 관찰만으로
프로그램의 의미를 구별할 수 있을까요?

사회자 그럼 이 글에서 상태는 정확히 무엇을 기록하나요?

답변 세 사실을 M=회원 확인, O=연체 검사 완료, B=책 확인으로 정하겠습니다. 여기서 O는 연체가 없다는 뜻이 아니라 검사를 했다는 기록입니다. 확인 결과가 대출을 허용한다는 정책도 따로 정하지 않았습니다. 상태는 이 세 사실 가운데 확보한 것의 집합입니다. 따라서 ∅, {M}, {O}, {B}, {M,O}, {M,B}, {O,B}, {M,O,B}의 여덟 상태가 있습니다. 예를 들어 {M}에서 {M,O}로 가면 M을 지우지 않고 O를 보탭니다. 이것이 오늘 계산할 정보 증가입니다. 최종 대출 허가의 참·거짓을 계산하는 모형은 아닙니다.

사회자 회원 확인과 책 확인이 서로 다르면, 둘 다 틀린 상태인가요?

답변 {M}⊆{B}인지 보려면 왼쪽의 M이 오른쪽에도 있는지 확인합니다. 없으므로 거짓입니다. 반대로 {B}⊆{M}도 B가 없어서 거짓입니다. 어느 쪽도 상대를 포함하지 않는다는 결론만 얻었습니다. 두 상태가 모순된다는 결론은 얻지 않았습니다. {M,B}라는 공통 확장이 둘 다 포함하기 때문입니다. 실험 1에서 X의 회원과 Y의 책만 선택하면 이 비교 불가능성을 직접 확인할 수 있습니다.

사회자 아무것도 안 보이는 것과 오류 메시지가 보이는 것은 어떻게 그리나요?

답변 여기서는 별도의 작은 모형 D={⊥, 오류, 정상}을 잠시 씁니다. ⊥는 두 결과보다 아래에 두고, 오류와 정상은 서로 비교하지 않습니다. 오류 화면을 읽었다면 이미 관찰 정보가 생겼으므로 ⊥와 구별됩니다. 오류에서 정상으로 고쳤다는 시간 순서가 있다고 해서 오류⊑정상으로 정의할 필요는 없습니다. 이것은 세 사실 멱집합과 다른 예입니다. 모형을 바꾼 사실을 숨기고 두 순서를 섞으면 안 됩니다.

사회자 사슬이 아니어도 유향일 수 있다는 예를 보여 주세요.

답변 S={{M},{B},{M,B}}를 고릅시다. {M}과 {B}는 비교 불가능하므로 S는 사슬이 아닙니다. 하지만 S 안의 어떤 두 상태도 {M,B}가 포함하므로 S는 유향입니다. 그 최소 상한은 합집합 {M,B}입니다. 반대로 T={{M},{B}}는 공통 상한이 바깥에는 있지만 T 안에는 없으므로 유향이 아닙니다. 유향이라는 말의 “같은 집합 안에서”가 중요한 이유입니다. 이 유한 예에서는 최대 상태가 있지만 무한 유향 집합에는 최대 상태가 없을 수도 있습니다.

사회자 이미 얻은 정보가 사라지면 언제나 단조성이 깨지나요?

답변 아닙니다. G(X)=∅로 두면 어떤 X⊆Y에 대해서도 G(X)=∅⊆∅=G(Y)입니다. 그러므로 G는 단조입니다. 다만 {M}⊈G({M})이므로 팽창성 X⊆G(X)는 깨집니다. 반대 방향 예도 있습니다. H(X)는 X에 M이 없을 때만 O를 더합니다. 모든 X를 보존하므로 팽창적이지만, ∅⊆{M}인데 H(∅)={O}⊈{M}=H({M})이므로 단조가 아닙니다. 입력 한 개와 그 출력을 비교하는 조건, 입력 두 개의 순서를 출력이 보존하는 조건을 분리해서 읽어야 합니다.

사회자 유한한 증거라는 말을 일상 사례에 어떻게 붙이나요?

답변 회원 확인 신호를 기다리는 관찰자는 M이라는 한 번의 신호를 받으면 “M이 관찰되었다”를 확인할 수 있습니다. 반면 신호를 아직 못 받았다고 “영원히 M이 오지 않는다”고 결론낼 수는 없습니다. 우리가 기록하는 사실은 이미 일어난 확인이므로 더 많은 확인을 받아도 그 사실은 남습니다. 실제 시스템에서 기록 취소나 잘못된 신호를 허용한다면 이 전제를 다시 모델링해야 합니다. 모형의 단조성으로 실제 기계의 신뢰성을 자동 보증하는 것은 아닙니다.

사회자 회원만 확인된 상태와 회원이 확인된 상태는 무엇이 다른가요?

답변 U={X | M∈X}는 {M},{M,O},{M,B},{M,O,B} 네 상태를 포함합니다. 어떤 X∈U에 정보를 더한 Y도 M을 포함하므로 Y∈U입니다. V={{M}}는 다릅니다. {M}∈V이고 {M}⊆{M,O}이지만 {M,O}∉V이므로 상향 폐쇄가 아닙니다. 실험 2에서 네 상태를 고르면 U를, {M} 하나만 고르면 V를 재현합니다. 유한 부분순서에서는 유향 집합에 최대 원소가 있기 때문에 상한이 U에 속하면 그 최대 원소 자체가 증거입니다. 이 이유 없이 무한 영역에서도 상향 폐쇄만 검사하면 충분하다고 말하면 틀립니다.

사회자 무한 논리곱이 실패하는 실제 예도 있나요?

답변 ℕ에 무한 정보 상태 ∞를 더한 사슬 0⊑1⊑2⊑…⊑∞를 생각합시다. Uₙ={x | x≥n}은 n번째까지 정보가 왔다는 성질입니다. 각 Uₙ에는 유한 증거 n이 있습니다. 그러나 모든 n에 대한 교집합은 {∞}입니다. 사슬 0,1,2,…의 상한 ∞는 이 교집합에 속하지만 유한 단계는 하나도 속하지 않습니다. 따라서 {∞}는 스콧 열림의 상한 조건을 만족하지 않습니다. 반면 임의 합집합에 들어간 점에는 어느 한 Uₙ에 속한다는 증거가 있습니다. 이것이 임의 논리합과 유한 논리곱을 다르게 취급하는 구체적인 이유입니다.

사회자 점과 성질을 뒤집어 읽는다는 말을 작은 표로 확인할 수 있나요?

답변 U_M, U_O, U_B를 각각 그 사실을 포함하는 상태들의 집합으로 둡니다. 점 x={M,O}의 행은 U_M에는 예, U_O에는 예, U_B에는 아니오입니다. 점 y={M,B}는 예·아니오·예가 됩니다. 행을 읽으면 한 상태가 어떤 성질을 만족하는지, 열을 읽으면 한 성질이 어떤 상태들에서 성립하는지 알 수 있습니다. 세 원자 관찰을 모두 쓰면 이 여덟 상태를 구별할 수 있습니다. 이 표는 유한 사례의 만족 관계이며, 임의 공간에 대한 쌍대성 정리의 증명은 아닙니다.

사회자 관찰 목록을 하나로 줄이면 어떤 차이를 잃나요?

답변 M만 관찰하면 {M}과 {M,O}는 모두 “예”이고, ∅와 {O}는 모두 “아니오”입니다. 여덟 상태가 M을 가진 네 상태와 갖지 않은 네 상태라는 두 묶음으로 합쳐집니다. O도 관찰하면 앞의 두 상태를 구별하지만, {M,O}와 {M,O,B}는 여전히 같습니다. B까지 관찰하면 이 유한 모형의 모든 상태를 구별합니다. 관찰 동등성을 주장할 때는 어떤 관찰을 허용했는지를 함께 써야 합니다. 여기에는 실행 속도나 실제 오류 신호는 들어 있지 않습니다.

사회자 올바른 성질 묶음 하나를 끝까지 만들어 주세요.

답변 x={M}을 고정하고, x를 포함하는 모든 열린 성질 U를 모아 Fₓ라고 합시다. 전체 공간은 x를 포함하므로 Fₓ에 들어갑니다. U와 V가 x를 포함하면 교집합도 x를 포함합니다. U⊆V이고 U가 x를 포함하면 V도 포함합니다. 또 x가 여러 Uᵢ의 합집합에 속하면 그중 어느 Uᵢ에 속합니다. 빈집합에는 x가 없으므로 거짓은 들어가지 않습니다. 점 하나에서 만든 이 묶음이 조건을 만족하는 이유는 직접 확인할 수 있습니다. 반대로 어떤 필터에서 유일한 점을 복원하는 일반 명제에는 sober 공간 등 별도 조건이 필요합니다. 화면의 상향 폐쇄 검사기는 Fₓ를 검사하지 않습니다.

사회자 함수의 출력 성질은 입력 쪽에서 어떻게 읽나요?

답변 P(X)=X∪{M}으로 두겠습니다. 출력에서 M이 확인되었다는 성질 U_M의 역상 P⁻¹(U_M)은 여덟 입력 전체입니다. M을 무조건 보태기 때문입니다. 출력에서 O가 확인되었다는 성질 U_O의 역상은 U_O 자체입니다. P는 O를 새로 만들지 않기 때문입니다. 이렇게 출력에 관한 질문을 “어떤 입력이 이 질문에 예라고 답하게 하는가”로 바꿉니다. 이것은 단순한 유한 함수의 계산입니다. 고차 함수 공간을 구성하거나 원전의 지수 영역 정리를 검증한 결과로 확대하지 않습니다.

사회자 한 번의 단계에서 모든 규칙을 적용하면 바로 끝나는 것 아닌가요?

답변 규칙은 항상 M 추가, 입력에 M이 있으면 O 추가, 입력에 O가 있으면 B 추가입니다. 한 단계의 모든 규칙은 같은 단계 시작 입력을 읽습니다. X₀=∅에서는 M만 생겨 X₁={M}입니다. X₁을 읽으면 O가 생겨 X₂={M,O}가 됩니다. X₂를 읽으면 B가 생겨 X₃={M,O,B}가 됩니다. F(X₃)=X₃를 한 번 더 확인하면 안정입니다. 세 번의 엄격한 증가와 네 개의 서로 다른 상태를, 네 번의 새로운 정보 추가라고 세면 안 됩니다. 이 함수에서는 고정점이 모두 M,O,B를 가져야 하므로 안정값이 전체 최소 고정점임도 직접 확인됩니다.

사회자 이 계산이 실제 대출기를 검증했다고 말할 수 없는 이유는 무엇인가요?

답변 검사한 것은 여덟 상태와 정해진 함수 표입니다. 실제 대출기의 회원 서버가 거짓 응답을 하는지, 책 센서가 고장 나는지, 개인정보 권한이 맞는지는 표에 없습니다. 실제 검증으로 옮기려면 실제 상태를 이 표의 상태로 대응시키는 규칙과 그 대응이 각 동작에서 보존된다는 근거가 필요합니다. 교육용 표가 통과했다고 이 연결까지 얻은 것은 아닙니다. 원전이 제공하는 일반 구조와 편집부가 만든 작은 실행 모형의 증거를 분리해 기록합니다.

사회자 이제 독자가 스스로 확인할 수 있는 결론은 무엇인가요?

답변 먼저 M,O,B가 무엇을 뜻하는지 약속합니다. 다음으로 포함관계로 두 상태를 비교하고, U_M의 네 상태가 위로 닫혔는지 확인합니다. 그다음 긍정 규칙의 ∅→{M}→{M,O}→{M,O,B} 경로를 계산합니다. 마지막으로 상수 빈집합 함수와 부정 전제 함수에서 단조성과 팽창성이 갈라지는 이유를 반례로 말합니다. 이 네 과정을 설명할 수 있으면 오늘 모형의 결론을 자기 근거로 말할 수 있습니다. 무한 영역·쌍대성·실제 기계의 안전성은 이 실험만으로 결론내리지 않는 것도 결론의 일부입니다.