통합검색

AI가 문장을 인용해도 앞뒤 문맥이 빠지면 근거가 될까?

핵심 문장·적용 조건·예외를 넣고 빼며 인용이 주장 전체를 실제로 받치는지 확인합니다.

자세를 넓히면 호르몬도 바뀐다는 결론, 더 큰 재현에서도 남았을까?

초기 파워 포즈 실험과 더 큰 재현 연구, 결과 지표와 적용 대상을 선택해 서로 맞는 결과와 갈리는 결과, 허용되는 해석을 구분합니다.

Power Posing: Brief Nonverbal Displays Affect Neuroendocrine Levels and Risk Tolerance

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

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

Skolem’s Paradox

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

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

Logicism and Neologicism

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic