통합검색

물체를 화면에서 멀리 두면 그림자 가장자리는 왜 흐려질까?

광원의 너비와 물체·화면 사이 거리를 바꾸어 완전히 어두운 본그림자와 일부 빛이 닿는 반그림자의 폭을 비교합니다.

좋은 이유를 갖고 있어도 그 이유로 믿지 않았다면 정당화될까?

키스 앨런 코르츠의 스탠퍼드 철학백과 항목을 읽으며, 사람이 어떤 믿음을 지지하는 좋은 이유를 갖고 있다는 사실과 실제로 그 이유 때문에 믿는다는 사실을 구별한다. 인과 이론, 반사실 이론, 메타 믿음 이론이 이 연결을 어떻게 설명하는지 살핀다.

인식적 근거 관계(The Epistemic Basing Relation)

대각선으로 나뉜 막대는 왜 곱셈을 덧셈으로 바꿨을까?

1617년 존 네이피어가 펴낸 『Rabdologiae』의 계산 막대는 각 숫자의 곱셈표를 대각선으로 나누어 적었습니다. 4·6·7 막대의 여섯째 줄에서 24·36·42를 고르고, 오른쪽부터 대각선 합과 받아올림을 계산해 467×6=2802를 얻습니다. 막대 순서·반복 숫자·로그 계산과의 차이도 함께 살펴봅니다.

화면에 20으로 보이면 기준값 20 이상이라고 판단해도 될까?

가상의 온도 기록에서 19.6도와 20.4도는 모두 화면에 20도로 표시된다. 기준값 20 이상 여부는 반올림된 표시만으로 정할 수 없으며, 판정에는 반올림 전 정확값과 비교 규칙이 필요하다는 점을 관계 그림으로 살핀다.

우리가 옳다고 판단한 논증을 기호만으로도 증명할 수 있을까?

1차 논리의 의미상 타당성과 형식적 증명을 비교하고 괴델의 완전성 정리, 헨킨의 모형 구성, 콤팩트성, 불완전성과의 차이를 설명합니다.

Kurt Gödel