22/12/04 05:25:25.91 4SM13avy.net
>>117
まず、「現代数学の系譜 雑談 ◆yH25M02vWFhP」っていうHNやめなよ
「スレ主です」とかいう尊大な言い方もさ
別にスレ立てた人はスレの主でもなんでもない
だれも素人の貴方に名前を覚えるほどの興味はない
だったら名無しでいいだろう 名前を名乗りたがる人ほど中身がない
ネットあるあるだね
>レベルが上がると真実が見えるよ
>大学レベルの確率論勉強してみな
それ、そっくりそのままあなたにお返しするよ
あなたは大学レベルの実数論と線型代数を勉強したほうがいい
ナイーブな直感に隠されたほんとうの真実が見えるよ
>・間違っているのは、●●が正しいと思っているこのスレのアクティブ数人だ
>・正しいのは、●●が間違っていると主張する私です
こういう人をネットで実に沢山見てきた
●●には相対論とか非ユークリッド幾何とかゲーデルの不完全性定理とか
いろんなものがはいってたが
ゲーデルの不完全性定理も分かってしまえば実に他愛ない
もし、自然数論から矛盾が導けると矛盾する、という証明が得られれば
その証明から、自然数論による矛盾の導出証明が得られる
具体的な方法を示しているだけ
このことから、対偶を用いて
「自然数論から矛盾が導出できないなら、
自然数論から矛盾が導けると矛盾する、という証明も得られない」
とわかる 別に神秘的なことは何もない
手品のトリックは対角線論法 もちろん他の方法もあるけど
トリック自体は超絶テクニックでもなんでもない
でもわかるととっても面白い 手品ってそういうもんじゃんｗ