통합검색

서버 지연이 답장을 직접 늦춘 걸까?

가상의 문의 앱에서 서버 지연이 알림 도착을 늦추고, 늦은 알림이 답장 시작을 늦추는 연쇄를 읽는다. 원인이 결과에 직접 닿는 경우와 중간 단계를 거쳐 영향을 주는 경우를 구별한다.

증명 속 중간정리를 모두 걷어내도, 같은 결론에 도달할 수 있을까요?

다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gaisi Takeuti, On a Generalized Logic Calculus (1953)

컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?

다카하시 모토오의 《A proof of cut-elimination theorem in simple type-theory》(1967)를 따라, V-complex와 V-correspondence에서 람다 추상, 건전성과 반모형을 통한 비구성적 컷 제거 증명까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)

앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?

흐룬데이크와 스토크호프의 「Dynamic Predicate Logic」(1991)을 따라, 문장의 뜻을 정보 상태 사이의 변화로 읽고 존재양화와 연언이 대명사의 선행 대상을 어떻게 전달하는지 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)

20분 회의에서 근거·반론·결정 시간을 어떻게 나눌까?

참여 인원·모둠 정원·총시간·주장·반론 회차를 바꾸어 진행안, 발언 몫과 필요한 근거·반론 카드가 갱신됩니다.

Facilitating Discussions