[대학교이상] 프리드버그 대체정리 증명 나만 이상함?

[익명(106.243)]

이거 induction으로 증명하면 애시당초에 H가 n<m일때가 존재를 안하는데 그럼 n>=m일때까지는 정리가 성립하지만 n<m일때는 induction이외에 다른 방식을 써서 보여야될거 같은데 

[익명(221.138)]

그거 처음 볼 때는 이상하다느낄수있는데 계속 생각해보면 좀 축약을 해서그렇지 맞는증명임 개인적으론 좀 짜치긴함

[익명(221.138)]

처음 볼 때 축약돼서 이해안돼서 책이잘못된줄앎 나도

[수갤러 1(223.38)]

아 뭔 말인지 알겠음 ㄱㅅ여

[갱생실패리카(lillollool)]

프벅 귀납법 너무좋아함