통합검색

플라스틱 숫자 5는 ‘다섯 번 재활용’했다는 뜻일까?

삼각형 안 숫자는 재활용 횟수가 아니라 수지 계열을 식별합니다. 번호와 가상 지역 수거표를 바꾸며 재질과 수거 가능성을 분리합니다.

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

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

Skolem’s Paradox

수학 전체를 논리에서 다시 세울 수 있을까?

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

각각 더 좋은데 합치면 더 나쁠 수 있을까?

쉬운 일과 어려운 일의 비중이 다르면 전체 성공률의 순위가 뒤집힐 수 있습니다. 분모를 보존하며 집계하는 연습입니다.

Simpson’s Paradox