통합검색

볼록렌즈와 글자 사이 거리가 초점거리를 넘으면 상은 왜 뒤집힐까?

초점거리와 물체 거리를 바꾸어 스크린에 맺히는 실상과 렌즈로만 보이는 허상의 위치·방향·크기를 비교합니다.

AI가 에이치티티피 303과 307에서 요청 방식을 같게 유지해도 될까?

에이치티티피(HTTP, 웹 통신 규칙) 상태와 처음 요청 방식을 바꾸어 다음 요청이 조회인지 재전송인지 판정합니다.

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

나와 비슷한 판단력을 가진 사람이 반대하면 확신을 낮춰야 할까?

브라이언 프랜시스와 조너선 매서슨의 스탠퍼드 철학백과 글을 따라, 같은 증거와 비슷한 판단 능력을 가진 사람이 반대할 때 자신의 확신을 어떻게 조정해야 하는지 여러 입장을 비교한다.

Disagreement

목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?

게오르크 칸토어는 무한한 두 기호 수열을 모두 적었다고 가정한 뒤, n번째 수열의 n번째 기호만 반대로 바꾸어 목록 어디에도 없는 수열을 만들었다. 원문의 m·w 수열과 0·1 함수 논증을 따라가며 대각선 논법이 무엇을 증명하고 무엇까지는 말하지 않는지 검산한다.