‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
Tversky와 Kahneman의 기준점 실험은 무관한 시작값도 수량 추정의 출발점이 되어 조정이 부족할 수 있음을 보여 줍니다.
Judgment under Uncertainty: Heuristics and Biases
Baumeister·Streicher·Lermer의 6개 연구는 같은 10%라도 큰 분모 표현을 선호하는 비율 편향이 통계 노출과 수리 능력에 따라 달라짐을 보였다.
Ratio Bias Across Cultures and Disciplines: How Academic Background Shapes Statistical Decision-Making
사전 지식을 먼저 측정한 반복 노출 연구는 익숙함과 정확한 근거를 구별하는 일이 왜 필요한지 보여 줍니다.
Repetition Increases Perceived Truth Even for Known Falsehoods
두 실험에서 반복은 문장의 진실성 평가를 높였지만 증가 모양은 선형이 아니라 로그형에 가까웠습니다.
The Effects of Repetition Frequency on the Illusory Truth Effect
196–200 / 368편