가끔 큰 증명 안에 스텔스 귀류법을 숨겨두는 새1끼들이 있음
이새1끼들은 귀류법 가정을 if나 when 같은 애매한 단어로 함
나는 그 가정에서부터 이어지는 결과들을 만족스럽게 따라가면서 읽음
근데 ㅅㅂ 한 2장 정도 지나서 저자새1끼가 ... an imposibility! 하고 폭탄선언을 해버림
그러면 나는 존나 긴 연역을 한문장씩 올라가면서 어디가 문제였는지를 알아내야됨 ㅅㅂ
가끔 큰 증명 안에 스텔스 귀류법을 숨겨두는 새1끼들이 있음
이새1끼들은 귀류법 가정을 if나 when 같은 애매한 단어로 함
나는 그 가정에서부터 이어지는 결과들을 만족스럽게 따라가면서 읽음
근데 ㅅㅂ 한 2장 정도 지나서 저자새1끼가 ... an imposibility! 하고 폭탄선언을 해버림
그러면 나는 존나 긴 연역을 한문장씩 올라가면서 어디가 문제였는지를 알아내야됨 ㅅㅂ
증명의 큰 흐름을 미리 생각해보고 들어가면 도움이 될 것