3-1
도전 아이디어
풀이에 도전하는 아이디어. 누구나 더하고, 아이디어마다 질의·보완·반론·자료를 붙입니다.
- 장벽 지도화와 우회 역설계
상대화·자연 증명·대수화 세 장벽이 「증명 기법의 성질 공간」의 어디를 덮고 어디를 비워 두는지 정밀하게 지도화하고, 장벽을 실제로 뚫은 사례를 성분 분해해 세 장벽을 동시에 피하는 기법의 필요조건 목록을 역설계하자는 메타 수준 아이디어다.
상태 표시의 뜻
- 검토 중
- 관리자가 읽고 있습니다.
- 보완 필요
- 고칠 것이 있습니다. 무엇인지는 상태 설명에 적혀 있습니다.
- 검토 완료
- 내용을 확인했습니다. 증명이 옳다는 뜻이 아닙니다.
- 주목
- 눈여겨볼 만한 자료입니다.
- 결함 확인
- 알려진 결함이 있습니다. 근거는 상태 설명에 적혀 있습니다.
- 보관
- 더 다루지 않는 자료입니다.