0188現代数学の系譜11 ガロア理論を読む
2016/07/24(日) 13:54:26.91ID:FvwRWNCJさらに要約すると、
1)n=∞ を帰納法に持ち込んだのはTさん、
2)そしてTさんは”とにかくその操作を繰り返してるうちはどの時点でも有限個しか考えられてないんだ”→”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”を主張する
3)証明おじさんは尻馬に乗って、”帰納法はn=∞でも成り立つと言ってるのではなくて任意の自然数で成り立つと言う主張”、”数学的帰納法は不完全であると言える。”と