해외 학술 연구

반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?

두 공격자와 하나의 방어 논증 사이 연결을 바꾸며, 모든 공격자가 방어되어야 처음 주장이 근거 확장에 들어가는 과정을 확인합니다.

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games

온도를 바꾸면 인공지능(AI)의 1위 답은 그대로인데 확신만 달라질까?

로짓과 온도를 바꾸어 확률 간격을 직접 계산하고, 양의 온도 조정이 확신 표현은 바꾸지만 같은 로짓의 1위 답은 바꾸지 않는 이유를 확인합니다.

On Calibration of Modern Neural Networks

같은 예측 오차인데 MAE와 RMSE가 고르는 모델은 왜 달라질까?

두 모델의 네 오차를 직접 바꾸며 MAE와 RMSE를 계산합니다. 한 번의 큰 실패가 있을 때 지표별 순위가 뒤집히는 이유와 지표를 실제 손실에 맞춰 고르는 한계를 살펴봅니다.

증명은 결론에 들어 있는 개념만으로 다시 쓸 수 있을까요?

게르하르트 겐첸의 「Untersuchungen über das logische Schließen」 I–II(1935)를 따라, 자연연역과 시퀀트 계산에서 컷 제거와 부분식 성질이 증명의 정보를 어떻게 드러내는지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)

산술의 증명은 끝없이 내려갈 수 있을까요?

게르하르트 겐첸의 「Die Widerspruchsfreiheit der reinen Zahlentheorie」(1936)를 따라, 산술 증명에 ε₀ 아래 순서수 표기를 붙이고 환원 때마다 값이 감소한다는 사실에서 무모순성을 얻는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)