17/05/04 07:38:04.54 AE2Z1jde.net
直観主義に転向したワイルは
大学初年級の解析の授業でも、背理法使わないから証明が煩雑になる部分も多く
実数体の任意の有限部分集合は上限を持つ、なんかは証明できないし
学生はひどく困惑したらしい
17/05/04 07:38:04.54 AE2Z1jde.net
直観主義に転向したワイルは
大学初年級の解析の授業でも、背理法使わないから証明が煩雑になる部分も多く
実数体の任意の有限部分集合は上限を持つ、なんかは証明できないし
学生はひどく困惑したらしい