통합검색

반달은 지구 그림자가 달을 가려서 생길까?

달은 언제나 절반이 태양빛을 받습니다. 태양-지구-달의 각도를 바꾸며 보이는 밝은 면과 드문 월식을 구분합니다.

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

같은 결론에도 서로 다른 근거가 있을 수 있을까?

가와 나의 선이 명시된 합류점에서 만나 결론 상자 경계로 이어진다.

기준점 바로 위아래를 비교하면 무작위 실험처럼 읽을 수 있을까?

가로축 점수 80의 세로 기준선을 사이에 두고 양쪽 국소 회귀선 사이의 점프를 표시한 회귀불연속 그래프

진짜 그래프를 가짜 그래프들 사이에 숨기면 눈도 통계 검정을 할까?

20개 작은 패널 중 실제 자료 하나와 null 그래프 19개가 배치되고 관찰자 선택들이 검정 합류점으로 모인다.