[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.io/test/read.cgi/math/1761878205/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

766: １３２人目の素数さん [] 2025/11/11(火) 14:55:03.79 ID:BiGzycGA >>760 >>セタへの問題 >>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, >>yはPの自由変数でないとする. >>このとき >>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) >>の自由変数をすべて書け >ふっふ、ほっほ >あのな、それよりか >（以下、関係ない話題に話を逸らす） >趣旨は >”集合論の論理式 ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))” >はコンピュータ言語でいえば、低級のアセンブラみたいなもので >圏論は 、高級言語 あるいは フローチャート風の ノーコード・・・ 要するに分からなかったけど、 分からないといいたくないんで 誤魔化したんでしょ　ド素人の世田君（笑） 答えは・・・自由変数なし！ 自由変数とは、∀や∃によって束縛されてない変数のこと ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))　の場合 w_0,,w_i-1,x,y,zは束縛変数 そして、P(z)の自由変数はz,x,w_0,,w_i-1だが これらはすべて外側の限量子で束縛されている したがって自由変数はない こんなもん自由変数が何だか知ってたら ハナクソほじりながら即答できる楽勝問題だわな つまり即答できない時点で負け犬確定（笑） http://rio2016.5ch.io/test/read.cgi/math/1761878205/766

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 236 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.019s