黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
Favolog ホーム
» @genkuroki
» 2013年07月13日
並び順 : 新→古 | 古→新
2013年07月13日(土)
www.ma.kagu.sut.ac.jp/~abe/index.html 【「背理法(または否定導入)でなければ証明で きない定理がある」 と主張している人は数理論理学に関しては素人であるという良い判断材料になります。】 深い哀しみに包まれている.
タグ：
posted at 21:05:48
論理学クラスタが散々某氏の主張の不備を指摘しまくったために, 彼のいう背理法の意味がその度ごとに変化してゆき, ``推論図中に(最終的に残る仮定のもとで)証明不能な論理式が現れるような論証"ということになったのだが, それゆえに以前までの主張と矛盾するなどしており感慨深い.
タグ：
posted at 23:53:45
スポンサーリンク
