1032:１３２人目の素数さん
19/04/14 23:45:49.86 SRbVcHKm.net
今戸次大介の｢数理論理学｣読んでるんだが、バカ丁寧な証明載せてくれてる本だな
こう言うの好きだわ
1033:１３２人目の素数さん
19/04/16 21:19:03.96 cSSNSqqg.net
某氏のP≠NPの証明ホントかねえ。
S^i_2の階層性に帰着させてるから割とガチっぽくは
あるんだけど……
限定算術勉強するなら何が一番効率良いんだろう
1034:１３２人目の素数さん
19/04/16 21:23:10.90 pXD4YNRY.net
外史センセの本にあったような話なんかな
1035:１３２人目の素数さん
19/04/16 21:26:00.26 bhc3hnmU.net
>>985
ほんとなわけないじゃん
1036:１３２人目の素数さん
19/04/16 21:43:05.14 FeH5yvb4.net
これのこと？
URLﾘﾝｸ(arxiv.org)
1037:１３２人目の素数さん
19/04/16 21:48:56.43 cSSNSqqg.net
限定算術とP/NPについてはKrajicekとか
Cook&Nguyenとかも良いみたいだね
>>987
俺も半信半疑なんだけど、じゃどこが間違ってるの？
1038:１３２人目の素数さん
19/04/18 06:39:22.36 k7FQJrzg.net
huffingtonpost.jp//abematimes/china-seven_a_23249654/
あんぱんしわくちゃ嘘つき捏造家遠藤誉ゴキブリ閉経売女ババア銃殺死刑にしろ
1039:１３２人目の素数さん
19/04/22 01:25:54.98 4k9y8GYq.net
URLﾘﾝｸ(www.rings.co.jp)
ニホンザルヒトモドキまた薬を持った
1040:１３２人目の素数さん
19/04/30 20:04:00.33 R9DloIlZ.net
あの「その手には乗らん」ってなんだったの？
おい誰だよほんとに
1041:１３２人目の素数さん
19/05/05 09:53:59.24 HCFbOn7S.net
Aの元の合併集合∪Aって存在するとしていいの？
これの元ってAの元のどれかに含まれていることが条件だけど
どれかに含まれているってどう確認できるの？
Aの元が有限個なら全部チェックできるけど
無限個ならどうするの？
どれにも含まれないことが成り立たないということで確認するのなら
確認は終わらないよね
1042:１３２人目の素数さん
19/05/05 10:57:07.68 qTEXXNyr.net
無限も有限も確認もない
x∊∪A⇔∃y∊A(x∊y)
という式があるのみ
合併集合があるというのは公理：
Aが集合ならば∪Aは集合
とくにAが空のとき∪Aが空であることは直接確かめられる
1043:１３２人目の素数さん
19/05/05 11:16:35.41 8nzFj3bT.net
具体的にはわからない(構成できない)けど確かに存在するということはできる
1044:１３２人目の素数さん
19/05/05 11:25:48.64 kiOO3Y3F.net
その視点って有限の立場っぽいよな
有限の手続きのみによって確認される物だけを認める立場というか
1045:１３２人目の素数さん
19/05/05 13:22:33.57 TfdU3fDj.net
>>994
>∃y∊A(x∊y)
これが真であることを確認するには
x∊∪Aのそれぞれについてx∈yとなるyが無くてはいけないけど
どれがそのyかって分からないじゃん
なんだか選択公理っぽい感じも
1046:１３２人目の素数さん
19/05/05 13:34:42.14 RcjcvUCJ.net
どんな確認やねん
1047:sage
19/05/05 13:36:01.64 qTEXXNyr.net
ああ
どれがそのyか、というのは、ブルバキ流に書けば
τy(y∊A(x∊y))
がそれに当たるのかな
でも
{x|∃y∊A(x∊y)}
というクラスとして∪Aは存在している
そして
∀x[x∊∪A⇔∃y∊A(x∊y)]
という式が
1048:成り立つ ということを把握してればあまり問題ない希ガス
1049:１３２人目の素数さん
19/05/05 13:36:47.14 qTEXXNyr.net
× τy(y∊A(x∊y))
〇 τy(y∊A ∧ x∊y)
1050:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 281日 8時間 38分 34秒
1051:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています