통합검색

전제를 한 번 더 써도 된다는 규칙을 막으면, 커리 역설을 피할 수 있을까요?

커리 집합 R의 자기소속과 축약·MP가 임의 결론으로 이어지는 과정을 추적합니다. 기본 논리의 축약 실패와 보수적 확장까지 견디는 조건을 구분하고 1993년 추측의 1997년 반례를 확인합니다.

Greg Restall, How to be Really Contraction Free (1993)

몇 번 해야 끝날지 몰라도, 반복 계획을 만들 수 있을까요?

나무가 언제 쓰러질지 모를 때 look·chop·store 행동을 반복 계획으로 묶습니다. 실제 F=3 실행 기록부터 N₁ 생성·N₂ 시험, 단순한 문제 조건과 N+2 정리의 적용 범위까지 살펴봅니다.

Hector J. Levesque, Planning with Loops (2005)

두 게임의 결과가 같아도, 상대에게 남기는 선택권은 다를까요?

두 게임이 최종 결과 p·q·r을 똑같이 내놓아도, 한 선수가 상대에게 허용하는 결과 집합은 다를 수 있습니다. 기본 능력의 정의로 두 나무를 끝까지 비교합니다.

Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)

스위치를 켜지 않았는데, 켰다면 알람이 울렸다고 말할 수 있을까요?

스위치를 켜지 않은 현재 상태에서도 '켰다면'의 진위를 평가할 수 있을까요? 실제 상태와 가장 적절하게 선택된 가정 세계의 결과를 구별합니다.

Robert C. Stalnaker, A Theory of Conditionals (1968)

자바스크립트에서 −1 % 7은 왜 6이 아니라 −1일까?

몫을 0 쪽으로 버리는 나머지 계산과 일곱 칸을 순환하는 위치 계산을 나누어 실행합니다.