19/09/10 07:11:04.84 IDqpcJO6.net
スレ76 ｽﾚﾘﾝｸ(math板:836番)-
遠隔レスすまん
(引用開始)
>>803は、いろいろ問題があるね
＞命題の真偽に,より精密な定義を与えることが必要となる。
＞そして,それを実行したのが,
＞ゲンツェンによる"自然数論の無矛盾性証明"である。
これ、最大級の誤解
(引用終り)
この書き方を見ると
ID:bH+0Hw/zさん、>>803を、私スレ主が書いた文と錯覚したんだろうかね
過去にも似た例があって、引用部分を、私スレ主が書いた文と錯覚して、突っかかって来たことがあった
ピエロもそうだったね
ここの>>803は、>>802の
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論の無矛盾性証明の必要性 前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
前原昭二先生からの引用なのだから、イチャモンつけるのは、もっと慎重になるべきだったろう
自分が、新井敏康PDF(下記)を引用するなら、最初からそうしておけば良かったろうに
URLﾘﾝｸ(www.jstage.jst.go.jp)
無矛盾性証明について 新井敏康*神戸大学自然科学研究科 科学基礎論研究 2007
錯覚して、粗雑な書き方をするから、だめだめなんだな（＾＾