통합검색

산에서는 물이 100°C보다 낮은 온도에서 끓는 이유는 무엇일까?

고도를 바꾸어 바깥 기압과 물의 끓는점을 함께 계산하고, 끓는 모습과 물의 온도를 구분합니다.

“그런 수가 있다”는 말을 증명하려면 무엇을 보여 줘야 할까요?

“어떤 자연수에 1을 더하면 3이 된다”를 증명해 봅시다. 수 2를 고르는 일과 2+1=3을 확인하는 일이 함께 필요합니다. 마르틴뢰프의 유형론을 따라, 증명의 각 부분을 어떻게 만들고 사용하는지 살펴봅니다.

Per Martin-Löf, Intuitionistic Type Theory (1984)

평균·회귀선·상관이 같으면 네 자료도 같은 모양일까?

앤스컴의 네 자료를 바꾸며 거의 같은 평균·회귀선·상관계수 뒤에 숨은 선형·곡선·이상점·지렛점 구조를 직접 비교합니다.

e-Handbook of Statistical Methods 1.1.6: An EDA/Graphics Example

명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?

안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)

AI 정확도 90퍼센트와 60퍼센트를 평균 내면 75퍼센트일까?

평가셋 크기가 다르면 두 백분율의 단순 평균과 전체 문항 정확도가 달라집니다. 정답 수·문항 수·통합 규칙을 바꾸며 차이를 확인합니다.