통합검색

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

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

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

‘좋습니다, 그렇게 하죠’만으로 일정이 확정됐을까?

말한 사람의 역할·승인 상태·회의록 표현을 바꾸어 제안, 승인 요청, 확정 약속을 구분합니다.

TeamSTEPPS 3.0 Team Training and Implementation

AI가 URL의 %252F를 두 번 풀어도 될까?

퍼센트 인코딩을 반복해서 풀면 처음에는 데이터였던 조각이 경로 구분자로 바뀔 수 있습니다. 입력과 디코딩 횟수를 바꾸며 경계 변화를 확인합니다.

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

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

Disagreement

‘벌써 떠났다’와 ‘이미 떠났다’는 같은 장면을 그릴까?

시간 표지·사건 상태·화자의 예상을 바꾸어 선행 사실, 예상보다 빠름, 계속되는 상태를 구분합니다.

온라인가나다: ‘벌써부터’