통합검색

중세 논리학자는 가정 하나를 끝까지 지킬 수 있었을까?

13~14세기 의무 논쟁의 positio 형식을 읽고, 한 가정과 규칙을 받아들였을 때 다음 문장을 받아들일 수 있는지 가능한 경우로 살핍니다.

셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?

스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.

Skolem’s Paradox

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

보상 점수가 높으면 AI가 목적도 잘 따른 걸까?

같은 씨앗 봉투를 반복 스캔해도 점수가 오르는 교육용 규칙을 통해, 측정 보상과 사람이 의도한 목표의 간격을 검사합니다.

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

Coq, 증명 상태, 전술 예측의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.