통합검색

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

함께 움직였다고 원인이라고 말할 수 있을까?

두 값이 함께 변한 관찰과 하나의 조건을 실제로 바꾸었을 때 생기는 차이를 공통 원인 그림으로 구분합니다.

결과를 알고 나면 처음부터 뻔했다고 느끼는 이유는 뭘까?

사후확신, 결과 지식, 예측 가능성의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

결과를 알고 나면 처음부터 뻔했다고 느끼는 이유는?

결과를 알기 전 여러 가능성에 나뉜 판단이 결과를 안 뒤 한 경로로 몰리고, 대안 검토가 그 쏠림을 줄이는 도식

목요일 제거에는 금요일 제거 결과를 수요일의 지식으로 옮기는 추가 가정이 필요하다.

생각그림 4 · 목요일 제거에는 금요일 제거 결과를 수요일의 지식으로 옮기는 추가 가정이 필요하다.