19/03/05 14:51:49.43 WbMTLbUZ.net
その前に
>>882の
>単に｢論理式φに現れる変数記号xが自由変数であるとは～｣だけじゃだめで
例えば、｢左から数えてφのｎ文字目に現れている変数記号xが自由変数であるとは～｣ってな具合で位置まで指定しないと意味が無い
ということ証明してよ
950:１３２人目の素数さん
19/03/05 15:00:30.45 rF7tPU6M.net
＞＞ID:rF7tPU6M
じゃあこう聞けばいいか？
お前流の定義では自由変数という概念は｢限量子の限定する範囲にない｣ということのようだ。
じゃあ｢限量子の限定する範囲にある｣ということを形式的に定義してくれ
で、それに基づいて論理式ｘ=ｘ∧∃x(ｘ=ｘ)の左からi(i=1,2,3,4)番目に現れている変数記号xが自由か束縛されているかを手続きに則って検証したい
951:１３２人目の素数さん
19/03/05 15:09:05.52 rF7tPU6M.net
>>906
論理式φ：≡ｘ=ｘ∧∃x(ｘ=ｘ) がいい例ｗ←既に例示してる
後は演習問題(きりっ)ｗｗｗ
といいたい所だが、ID:rF7tPU6Mこいつとは違うのでキチンと言うと
ここでは単に｢φに現れるxは束縛されている｣｢φに現れるxは自由である｣って言うのはおかしいよな？
だって自由なx(ｘ=ｘのｘ)と束縛されてるx(∃x(ｘ=ｘ)のｘ)がどちらも現れてるんだから
だから｢φに現れる左から2番目のxは自由である｣ってな具合にxの�
952:ﾊ置まで指定しなきゃいけないよな
953:１３２人目の素数さん
19/03/05 15:10:27.60 rF7tPU6M.net
またIDミスった訂正
ID:jOEcx8q7
954:１３２人目の素数さん
19/03/05 15:52:38.28 lpIWFcZX.net
>>908
全然おかしくない。
変数の衝突は適当なα変換を施して無いものと考える。
位置の言及が無い場合は自由出現する同一変数全てに対する言明となる。
君の知能が低いだけだ。
955:１３２人目の素数さん
19/03/05 16:21:26.72 PfGTDT7z.net
PとQを前提としてP∧Qを結論し
P∧Qを前提としてPを結論する
結局
PとQを前提としてPが結論できるわけです
至極当たり前ですよね
これを
Pを大前提とするなら「Qを前提としてPを結論できる」としたものが
P→(Q→P)
になります
956:１３２人目の素数さん
19/03/05 18:08:10.18 PJCJs9Ke.net
文字列操作プログラミングでは特定位置のxにのみ操作することはあり得るけど
数学・論理学ではそのような操作はないんじゃない？代入しかり例化しかり。
なので｢左から数えてφのｎ文字目に現れている変数記号xが自由変数である」
というメタ述語は論理学・数学においては不要で、必要なのは
「論理式φの自由変数を元にもつ集合は？」という関数だったり
「論理式φのxにaを代入するとどんな論理式になる？」という関数だったりする
という理解。
957:１３２人目の素数さん
19/03/05 18:40:40.06 pAkRIR8D.net
メタ理論によるとしか言いようがない
ZFCや自然数論がメタ理論であればゲーデル数化のやり方に合わせて特定の位置の束縛変数を取れるし、
圏論でもnnoで自然数が作れるから恐らく可能
人間を信じてメタ理論とするなら直感で分かる
メタ理論は基本的に表現できれば何でもいいので、メタ理論に埋め込まれる論理の形式的な定義はうやむやにされる
958:１３２人目の素数さん
19/03/05 21:26:22.96 jOEcx8q7.net
>>913
>人間を信じてメタ理論とするなら直感で分かる
信じるんじゃなくて
計算可能であることを直感で理解できればそれで終い
959:１３２人目の素数さん
19/03/05 21:45:04.02 motd45fO.net
まあこの世界にはノイマン型コンピュータがあるからそれでもいい
960:１３２人目の素数さん
19/03/05 22:28:35.75 PfGTDT7z.net
■メタトロンコンピュータ
メタトロンを集積回路に使用した量子コンピュータの一種
それまでのデジタル式フォン・ノイマン型コンピュータとは
一線を画す桁違いの演算速度と小型化を両立
演算装置と記憶装置の区別がなくサーキットそのものが
絶えず変化することで演算と記憶を
（量子論的に言えば別の宇宙で）行う
961:１３２人目の素数さん
19/03/06 02:02:07.44 CrvBlSJF.net
宇宙は途中計算を我々に見せている
宇宙は計算完了するのだろうか
962:１３２人目の素数さん
19/03/06 06:24:38.77 v6HLy7Oe.net
>>916
やっぱラノベくんだね。
963:１３２人目の素数さん
19/03/06 15:29:56.91 1ZuHB8S6.net
■メタトロン
LEVと共に宇宙開発の礎となる二大要素の
一つに挙げられる「鉱石」
21世紀初頭木星の衛星カリストで鉱脈が発見され、
その特異な性質の研究が進み様々な分野で使用されている
メタトロンとは聖書の中に出てくる大天使の内の１人
「万能の天使」の異名を持つ
964:１３２人目の素数さん
19/03/06 15:57:19.08 kRd2Xw8o.net
メタトロン
URLﾘﾝｸ(i.imgur.com)
965:１３２人目の素数さん
19/03/07 02:09:32.11 fwa7orJf.net
数理論理学関係の本が40冊ぐらいあって殆ど読んでないから自炊したいとは思ってるんだけど、
数理論理学への愛着から中々踏ん切れない。
966:１３２人目の素数さん
19/03/07 12:34:05.98 fwa7orJf.net
集合って集めすぎると集合じゃ無くなるけど、じゃあ集合と非集合の境目ってどの辺りか気になるよな
どこまで集めすぎるとダメなのか知りたい
967:１３２人目の素数さん
19/03/07 13:43:37.68 yB9SYvJf.net
どこまでならギリギリ良いのかって研究が
つまりは巨大基数の研究だよね
968:１３２人目の素数さん
19/03/07 13:43:47.73 zzx0DvHd.net
集めすぎが原因じゃなく、集める基準の矛盾が原因
969:１３２人目の素数さん
19/03/07 13:53:14.33 G3cnzWxM.net
全ての集合からなる集合は無い。
が、明らかに、全ての集合という内包は存在するから、
それに対応する外延が存在すべきなのだが集合としては扱え無いという。
苦し紛れにクラスということにしたら上手くいった！
クラス間の演算をBGの公理系にある様なものに制限すれば矛盾は起きない。
970:１３２人目の素数さん
19/03/07 15:00:47.49 fwa7orJf.net
関数記号を超限回施して得られるものだけが集合とみたら、漏れがありますかね？
971:１３２人目の素数さん
19/03/07 17:19:11.95 eGS0qFio.net
BG と NBG って同じ？
972:１３２人目の素数さん
19/03/07 18:11:41.03 9sxHaAM+.net
>>926
V=L?
973:１３２人目の素数さん
19/03/07 19:39:35.05 MtSUJboc.net
ZFCの中で形式化した等号付き一階述語論理で考えるが、そもそも集合論の言語は関数記号を持たないから空集合にしかならない
で、定義による拡大を使って関数記号を追加するとして、上にある通りG�del 操作のみを入れれば多分Lになる
それ以外は謎
V=LはZFCから独立だから漏れがあるかはVの性質による
974:１３２人目の素数さん
19/03/07 21:57:14.95 9sxHaAM+.net
ID:fwa7orJf の期待するところを汲むとLを考えたいのだろう
975:１３２人目の素数さん
19/03/08 15:04:23.84 FacMhE7n.net
ただ思っただけなんですがね、V=Lの時のVでは大きい集合を作っていくのに巾集合しか使っていないのが少ないと思うんです。
そこで、|-∀x∃!yP(x,y) なる述語P(x,y)ごとに関数記号f_Pを準備して、F:={f_P全て}と置く。
で、空集合φからスタートしてFに属する関数記号を超限回適応して得られる集合だけを集合と見る立場はどうでしょう？
これで全集合を網羅できますかね？
ほんと素人の雑感なんですがね。
976:１３２人目の素数さん
19/03/08 17:48:59.97 6j8VpP/1.net
>>931
>巾集合しか使っていない
合併集合もな
>|-∀x∃!yP(x,y) なる述語P(x,y)
べきとかでない本質的な例を思いつくかい？
977:１３２人目の素数さん
19/03/09 00:32:13.10 9Ip71OTU.net
>>927
誰も答えてあげないので
その通り>BG と NBG って同じ？
978:１３２人目の素数さん
19/03/09 01:38:51.77 ISlYkI8X.net
同じというか、Neumannへのクレジットだけ違うというか
979:１３２人目の素数さん
19/03/09 01:42:09.45 ISlYkI8X.net
>>931
それ、二回の理論の拡張と一回の拡張が
たぶん同じになって潰れちゃうから、
上手くいかないような気もする
980:１３２人目の素数さん
19/03/11 05:53:06.54 L88xCmU+.net
URLﾘﾝｸ(www.bbc.com)
ヒトモドキニホンザルまた収賄でノーベル賞を買う
ヒトモドキ不正ゴキブリ害虫国家自殺しろや犯罪売春遺伝子ニホンザルヒトモドキ絶滅しろや
981:１３２人目の素数さん
19/03/14 02:21:32.41 PZPPIKLn.net
URLﾘﾝｸ(www.youtube.com)
ヒトモドキ台湾キチガイゴキブリ障害者民族ナパーム弾で絶滅しろ
982:１３２人目の素数さん
19/03/18 15:16:35.29 uCXhRiz4.net
このスレに聞くべきか分からないが、神の存在証明のもっと厳密なのってありますか？
ド素人向けの読み物みたいなのは要らないです。
983:１３２人目の素数さん
19/03/18 15:28:31.04 0rwEa7GM.net
日本のアニメ風に描かれたイコン（聖像画）
URLﾘﾝｸ(cdn1.img.jp.sputniknews.com)
984:43.jpg
985:１３２人目の素数さん
19/03/19 00:02:21.13 VuhmDglq.net
公理的集合論の入門書1冊終えた人が次に取りかかれる本を教えて下さい
カナモリの巨大基数は知ってます
986:１３２人目の素数さん
19/03/19 00:09:36.55 m0BnQMc8.net
SchindlerみたいにKanamoriを
入門書と呼ぶ人も居るので、もうちっとどのレベルの本か
明確にしましょう。普通に考えて
forcingを一通りやってないなら
まずはforcingだと思う。
987:１３２人目の素数さん
19/03/19 01:11:33.97 gfsNDKJp.net
>>939
昔忌野清志郎の君が代に難癖つけてた連中がいたのを思い出した
988:１３２人目の素数さん
19/03/20 17:23:21.90 DlurxqCE.net
f_1(a,b+1) := f_1(a,b)+1 により帰納的にf_1(a,b)(つまりa+b)を定める。
f_2(a,b+1) := f_1(f_2(a,b),a) により帰納的にf_2(a,b)(つまりa･b)を定める。
f_3(a,b+1) := f_2(f_3(a,b),a) により帰納的にf_3(a,b)(つまりa^b)を定める。
f_nが定まった時、
f_{n+1}(a,b+1) := f_n(f_{n+1}(a,b),a) により帰納的にf_{n+1}(a,b)を定める。
この関数列(f_n)についての議論はどこで見れますか？
989:１３２人目の素数さん
19/03/20 17:31:32.45 gtiKIUFP.net
>>943
あっかんべーだべー
990:１３２人目の素数さん
19/03/21 07:33:31.30 Y0YLkW19.net
私も今集合論を勉強しています。
Jech を最初から読んでいて focing の辺りでわからなくなってしまったので、Bell を読んでいます。
これを読み終わったら何を読むとよいかご教示お願いします。
991:１３２人目の素数さん
19/03/21 11:12:02.09 n1vq47d6.net
Kunen
992:１３２人目の素数さん
19/03/21 11:37:20.57 Y0YLkW19.net
>>946
Bell を読んでも Kunen はやはり読んだ方がいいでしょうか？
993:１３２人目の素数さん
19/03/21 11:42:50.77 b2Gc38Ek.net
>>947
KunenはJechやBellと違ってBoolean-valued modelがおまけ扱いだが、
その分forcingに関してintuitiveな説明も多いからな
994:１３２人目の素数さん
19/03/21 17:11:28.34 o3n79A9A.net
forcingって集合論上の操作に他ならないよね
すべての理論の正当性は集合論に帰するってことなの？
995:１３２人目の素数さん
19/03/21 17:41:17.14 ZaghwIM2.net
「集合論」を集合論で語るのだよ。
循環論法？
自己矛盾無きことが確かめられるw
このディレンマに耐えられない者は基礎論を諦めるしか無い。
996:１３２人目の素数さん
19/03/22 11:57:21.15 oVa5RLRo.net
新スレ
数理論理学（数学基礎論） その14
ｽﾚﾘﾝｸ(math板)
997:１３２人目の素数さん
19/03/22 17:19:36.23 Z1qv8CJH.net
ブール代数、束論ってどの本でも触れてたとしても、超入り口だけで済ましてる本が多いよな
ガチのブール代数本って｢現代のブール代数｣しか知らないわ
998:１３２人目の素数さん
19/03/22 17:50:14.59 fiq6JFTT.net
現代数学概説の束、ブール束の説明は超入口とは言えん。
999:１３２人目の素数さん
19/03/23 19:25:10.81 yBPhiQwY.net
いっつも思うけど自然数がφと和集合で帰納的に定義されることを分かりやすく説明する方法が分からない
例え話とかあるんかな
1000:１３２人目の素数さん
19/03/23 19:32:10.53 xBOQmmvP.net
違う話だが超現実数の創造話は秀逸
1001:１３２人目の素数さん
19/03/23 21:22:56.94 2o5mKtLC.net
Knuthは最初これで知った
あとでTeXで感動した
1002:１３２人目の素数さん
19/03/24 02:49:24.04 dZKNclGB.net
ブール代数の文献でよく挙げられるのは
Halmos の本だね。
1003:１３２人目の素数さん
19/03/24 19:44:33.36 FOTRZJL+.net
>>957
HalmosのLectures on Boolean Algebrasは良く挙げられてますねえ。
それと最近
1004:はどうなのか知りませんが、しばらく前まではSikorskiのBoolean Algebrasも割と良く挙げられていたと記憶しています。
1005:１３２人目の素数さん
19/03/24 23:04:49.89 k5eZ7rlj.net
https:youtube.com/user/michaelcash2013/featured#searching
ゴキブリニホンザル南京虐殺ヒトモドキゴキブリ民族死滅しろ
1006:１３２人目の素数さん
19/03/24 23:06:18.76 PsWZkBvJ.net
>>954
個数なんだから作ったモノ全部集めたら一個多くなるじゃダメかな
1007:１３２人目の素数さん
19/03/25 22:41:00.07 3f4sWP7y.net
クソつまらなくなった。
ケリーはジョン・ケリーのケリーか
1008:１３２人目の素数さん
19/03/25 22:43:54.11 3f4sWP7y.net
何でここまで権力もってんの。
なんかもうおじさん本当に頭痛いんだけど
1009:１３２人目の素数さん
19/03/25 23:07:10.56 3f4sWP7y.net
どうしたいよ？おじさんもう死んじゃいそうだし
早めに結論言っといてもらわないと解決不能になるわ
1010:１３２人目の素数さん
19/03/26 02:22:30.68 7lVNreAT.net
Lectures on Boolean Algebras (Dover Books on Mathematics) (English Edition) Kindle版
URLﾘﾝｸ(www.amazon.co.jp)
965円
1963年の書籍なのに電子化されててビビった
欧米って進んでるな
1011:１３２人目の素数さん
19/03/26 05:16:13.19 fbu4py2O.net
雨宮一郎？みたいに埋もれた人の評価？
ていうかそれをやっていたのになんでかこうなったような
1012:１３２人目の素数さん
19/03/26 05:19:43.63 fbu4py2O.net
秘密保持の観点から死んだことになってるじいさんたちが
死の間際にやっぱり騒ぎだした？
1013:１３２人目の素数さん
19/03/26 05:44:26.58 fbu4py2O.net
都内の公民館でなんでも反対で結託しとる
こじれた無戸籍のじいさま達が家に帰ったら枕を涙に濡らせて
地獄から復活したい、と
1014:１３２人目の素数さん
19/03/26 05:59:31.54 fbu4py2O.net
広瀬健氏なり死ぬタイミングがおかしすぎ
院生なり脅すためだろうが優秀、優秀って言われて
早期に死んじゃうとなんの記録ものこせなくなるから
もうどっかで言うしかないって
死んだことになってましたが一部芸能人とよばれる人と一緒に
研究してました、メンゴメンゴって
1015:１３２人目の素数さん
19/03/27 00:58:26.27 87VhB59Z.net
キューネンの数学基礎論講義の
∀x(x=x → ∃x(x=x))
が
項τがφ内の変数xに対して自由であるときのφ(x～>τ)→∃xφ (の形の文の全称閉包)
という公理に属する、という記述に関連して質問したいのですが
φ(x～>τ)というのはφ(x～>x)でも良いですか？
それなら確かにφをx=xとするとφ(x～>x)もx=xとなって∀x(x=x → ∃x(x=x))が得られるとは思うのですが
自信が無いので偉い人教えてください
1016:１３２人目の素数さん
19/03/27 03:39:57.12 1G88Zoht.net
竹内外史の｢現代集合論入門｣について質問です
103,104ページの｢Filter]と｢強Filter｣の定義の違いが分かりません
103ページの｢Fはcompatibleである｣と
104ページの｢∀p,q∈F ∃ｒ∈F ｒ≦p,q｣は全く同じ事だと思うのですが？
1017:１３２人目の素数さん
19/03/27 03:42:55.22 1G88Zoht.net
>>969
その本のことは知りませんが、字義通りに読んだら、｢何もしない｣事も代入の一例と理解することも出来る気はしますが
1018:１３２人目の素数さん
19/03/27 03:45:22.60 1G88Zoht.net
>>970に引き続いての質問ですが、
108ページの定理6の主張はGがcompatibleであることからそのまま出てくることでは無いのですかね？
それと、その証明では｢Sがdenseであることを言えれば定理は明らか｣とあります�
1019:ｪ、G∩S≠φから定理6の主張へはどのようにして議論を繋げれば良いのですかね
1020:１３２人目の素数さん
19/03/27 06:12:42.45 BVLxYAoO.net
コンタミの主張内容をプロジェクトの成果だから容認しろ、とせまられたとする
それは結局中身のわからないソフトウェアの使用許諾条項を容認させられるに等しい
使用許諾条項なのになぜか保証人、しかも催告権のない連帯保証人にさせられると
いうような条項の可能性があれば
自分は容認できない。
まずコンタミ主張内容の分離をして単一主張の複数の計画にわけるべきだ
1021:１３２人目の素数さん
19/03/27 06:24:43.96 3mKoURNp.net
イスラム教信じている人に豚肉入っている可能性のある闇鍋示して
「多大なコストをかけたから全員食べないといけない。なお信仰は考慮されない」と言うに等しい
闇鍋は食べさせられない。
問題は闇鍋作りに一生涯かけた人がいるであろう事実。このまま放棄もできない。
悪いけど失敗は失敗でどこが失敗だったか総括に持っていきたい。
とりあえず記録は残してあげないといけないし取り出して問題ないものは
活かしてあげたいというのは普通の心情だと思う。
1022:１３２人目の素数さん
19/03/27 06:29:36.10 3mKoURNp.net
個々のプロジェクトの総括を避けてきたツケを払う必要があるという認識
自分もおぼろげにしか内容わからないし、内容の精査と総括に三十年以上見込むべき
1023:１３２人目の素数さん
19/03/27 06:43:44.59 dHPgBc4Z.net
とりあえずこっからは負け戦になっていくから二十代とかなら進路変更
検討していくなりする機会示してあげないと
保留状態が続いていつの間にか三十代になったら逃げられたものも逃げられなくなるし
それは逆に問題作ってしまう
1024:１３２人目の素数さん
19/03/27 10:56:18.11 51gnsQu5.net
>>970
rがFに属してるのが強ではなく？
1025:１３２人目の素数さん
19/03/27 13:16:29.75 +oojaVrI.net
filterと強filterは違いを意識せずに講義してたら
田中尚夫か誰かに後で指摘されたみたいな事
書いてなかったっけ。genericの章の終わりあたりに。
1026:１３２人目の素数さん
19/03/27 15:16:03.11 1G88Zoht.net
>>977
その点についてさっき確認してみた所、どうやらそれっぽいですね
どうもです
1027:１３２人目の素数さん
19/03/27 16:44:25.35 gcL8527Y.net
>>971
ありがとうございます
1028:１３２人目の素数さん
19/03/28 00:47:40.71 356z8VIw.net
間違えたなら間違えましたで訂正して進めていくしかない。
間違えずに正しい答えが出るの待ってたら時間ばっか使う
簡単そうなやつからやってヤバイとか難しいやつは後回しにするとして
とりあえず叩き台になる共通認識作っていかないとメンヘラを
大量生産してしまうことになる。とりあえず正常ラインを確保して
無謀なチャレンジをやろうとしているのかそうでないのか見極める人を増やしていかな
1029:１３２人目の素数さん
19/03/28 06:37:13.47 WJEKRoW9.net
やっぱ認識示すごとに話変わってくるものだけれど
やはり嘘と演技の割合がわからんな
1030:１３２人目の素数さん
19/04/14 02:13:32.81 jU4/kKAk.net
『無限のスーパーレッスン』のhyper-critique
渕野 昌 (Saka´e Fuchino)
以下に書くのは，木村俊一著: 『無限のスーパーレッスン』，講談社 (2007）
からの複数の引用 ? 主にこの本の後半部分からの引用です ? と，
それに対する (批�
1031:ｻ的) 解説です． http://fuchino.ddo.jp/misc/superlesson.pdf
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています