24/05/23 19:20:50.25 UwJYOw6t.net
>>276
証明の算術化の意味を理解してないと指摘したら、シェファードソンの表現定理で
不完全性定理はペアノ算術より一般化されてるとか変な反論したからね
あと、ポパーの科学哲学で帰納法が占めてる意義も全く理解できず法学の証明責任と
同じとか喚いてたしね。理学博士とは思えん
24/05/23 19:20:50.25 UwJYOw6t.net
>>276
証明の算術化の意味を理解してないと指摘したら、シェファードソンの表現定理で
不完全性定理はペアノ算術より一般化されてるとか変な反論したからね
あと、ポパーの科学哲学で帰納法が占めてる意義も全く理解できず法学の証明責任と
同じとか喚いてたしね。理学博士とは思えん