- フェルマーの最終定理の簡単な証明7
536 ：１３２人目の素数さん[]：2020/04/04(土) 08:56:37.05 ID:DZ3hypNA - >>531
f(x)：=x^2-3x+2
に対して
写像は
f(x)=y
全射は
y=f(x)
これより
y=x^2-3x+2をy=f(x)より
f(x)：=x^2-3x+2とおける
|
- Inter-universal geometry と ABC 予想 45
961 ：１３２人目の素数さん[]：2020/04/04(土) 09:16:59.74 ID:DZ3hypNA - >>935
それじゃあ証明してください
例題は
すべてのカラスは黒い ⇒ 少なくとも1羽の黒いカラスが存在する
です
僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから
|
- 0.99999……は１ではない その７
944 ：１３２人目の素数さん[sage]：2020/04/04(土) 09:57:45.59 ID:DZ3hypNA - CIAさん乙です
|
- Inter-universal geometry と ABC 予想 45
979 ：１３２人目の素数さん[]：2020/04/04(土) 10:50:26.47 ID:DZ3hypNA - >>974
>∀x P(x)から∃x P(x)
具体例は
A∧B ⇒ A∨B
これですか？
証明してください
|
- Inter-universal geometry と ABC 予想 45
983 ：１３２人目の素数さん[]：2020/04/04(土) 11:02:38.65 ID:DZ3hypNA - >>978
>なぜなら対象が１つも存在しない場合
￢(∃xP(x))等値∀x￢P(x)
存在が一つもないときの否定はすべてのカラスは黒くない
ですよね
いまそんな話はしていません
|
- Inter-universal geometry と ABC 予想 45
984 ：１３２人目の素数さん[]：2020/04/04(土) 11:04:05.31 ID:DZ3hypNA - >>983
あるカラスは存在せずかつ黒くない
という話ではありません
ある黒いカラスは存在しない
つまり黒いかどうかはどうでもよく
すべてのカラスは黒い
から
カラスは存在すること言えるか
という問題です
僕はできないと思います
|
- Inter-universal geometry と ABC 予想 45
991 ：１３２人目の素数さん[]：2020/04/04(土) 11:42:44.20 ID:DZ3hypNA - >>987
x：カラス
F：黒い
￢(∃xP(x))等値∀x￢P(x)
理解できるか？
今言ってるのは
∀xP(x) ⇒ ∃xP(x)
∀x￢P(x)ではない
ちなみに
∀xP(x)の否定は￢(∀xP(x))等値∃x￢P(x)
今の議論と全く関係がない
|
- フェルマーの最終定理の簡単な証明7
540 ：１３２人目の素数さん[]：2020/04/04(土) 11:59:34.21 ID:DZ3hypNA - x=y=1理論の日高なら
AB=CDの場合
①A=Bのとき C=D
②A=Cのとき B=D
③A=Dのとき B=C
って考えそうだ
もう一度言う
異なる文字を用いているときそれは異なる数だ
|
- Inter-universal geometry と ABC 予想 45
995 ：１３２人目の素数さん[]：2020/04/04(土) 12:13:44.04 ID:DZ3hypNA - >>991
ああFじゃなくてPね
x：カラス
P：黒い
|
- フェルマーの最終定理の簡単な証明7
548 ：１３２人目の素数さん[]：2020/04/04(土) 12:20:34.92 ID:DZ3hypNA - >>544
AB=CD
A=B=1とする
このときCD=1
1×1=1
ゆえにC=D=1
というふざけたことを言っているのが君
|
- Inter-universal geometry と ABC 予想 46
89 ：１３２人目の素数さん[]：2020/04/04(土) 20:15:11.54 ID:DZ3hypNA - 敢えて裸の王様にチャレンジするって面白いと思うの
|
- Inter-universal geometry と ABC 予想 46
135 ：１３２人目の素数さん[]：2020/04/04(土) 22:29:52.99 ID:DZ3hypNA - たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのかそれとも
|
- Inter-universal geometry と ABC 予想 46
137 ：１３２人目の素数さん[]：2020/04/04(土) 22:32:31.23 ID:DZ3hypNA - >>135
途中送信
たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのか
それとも
あるn∈Nなのか
人間はこれを存在命題と認識するが
コンピュータはこれを全称命題として処理するだろう
たったこれだけでもバグが発生すると考えられる
AIの自動証明なんて無理だよ
|
- Inter-universal geometry と ABC 予想 46
139 ：１３２人目の素数さん[]：2020/04/04(土) 22:53:48.58 ID:DZ3hypNA - さあどうかな
人間の認識は複雑で
約70年前に出された河野伊三郎の微積分では
全称命題は特称命題を含むのでいつでも命題を切り替えられる
と考えていたようだし
全称命題から具体的な元(数)を取り出すことができるとしていた
これらは間違いだがこういう歴史を踏み
コンピュータも設計されていると思うので分類は可能だと思われる
しかし問題は上記の間違いを訂正できる人間がいるかどうかだ
|
- 新井紀子スレッド
240 ：１３２人目の素数さん[]：2020/04/04(土) 23:02:54.29 ID:DZ3hypNA - なんか複雑なことをやってるな
俺も少し考えてみるわ
|
- 新井紀子スレッド
241 ：１３２人目の素数さん[]：2020/04/04(土) 23:05:29.64 ID:DZ3hypNA - >>234
こんなの考えるまでもなく明らかに(1)じゃねえかｗｗｗｗ
人間なら即答で(1)だわ
AIはどういう言動なんだろうな
興味あるわ
|
- 新井紀子スレッド
242 ：１３２人目の素数さん[]：2020/04/04(土) 23:17:00.24 ID:DZ3hypNA - なるほどな
最後の文の
>他人にうつさないという目的を考えれば、『つけない』という選択肢はない
これでAIは迷うのか
可哀想だけど
こんなことが書いてあっても明らかに(1)だよ
それは本文で布マスクの有害性が論じられているからだ
ただ「一般人でも」というのがよくわからん
それじゃあ恰も医療従事者などがマスクをしていないと読み取れてしまう
でもまあ答えは(1)だわ
九大
論文
WHO
の三者は何れもマスクをつけるべきでないという論調だ
最後の聖路加だけがつけないということはないと言っている
他人にうつさないという目的
これが論点だわな
他人にうつしたくないという人はマスクをつけた方がよい程度の話だろ
他人はどうでもよければマスクの有害性と比較衡量してマスクはつけない
ことが正しいと結論できる
|