24/12/12 22:10:37.91 dFAt3Zas.net
>>981
それ自己紹介だってわかってるの？君
1006:１３２人目の素数さん
24/12/12 22:43:19.29 dFAt3Zas.net
>>980
σ(gi)は既約多項式で
2つの既約多項式の根が1つでも重なってたら全部重なる
つまり同じ
1007:１３２人目の素数さん
24/12/12 23:54:32.61 rEtcbZ/X.net
>>983-985
君は数学に向かない
1008:１３２人目の素数さん
24/12/12 23:57:01.76 vFTUPwMn.net
わざわざこんな過疎ってる板にきて明らかな間違いを書き込んでおもしろいのだろうか
1009:１３２人目の素数さん
24/12/13 00:11:23.17 AhOgQnqP.net
Mをfの分解体
giの根の1つαをgjの根にうつすσ∈G(M/K)が存在
gi(α) = 0より、σ(gi)(σ(α)) = 0
gjは既約なので、σ(gi)はgjで割れる
σ(gi)が既約でないとすると、σ^(-1)でうつせばgiも既約でないことになるので、σ(gi)は既約でなければいけない
よってσ(gi) = gj
1010:１３２人目の素数さん
24/12/13 00:16:54.28 mYG+QmoC.net
集合Ωは、ΩからΩへの写像をすべて含む
ということはできますか？
1011:１３２人目の素数さん
24/12/13 00:20:27.70 /leJFLtK.net
Ωが1点集合じゃなきゃ
|Ω| < |2^Ω| ≦ |Ω^Ω|
なので無理です。
1012:１３２人目の素数さん
24/12/13 00:22:47.83 IICqUMpV.net
>>986
つまんない奴が居座っちゃったな
なんでこいつ数学やらないのにここにいるんだろ
1013:１３２人目の素数さん
24/12/13 00:23:51.05 MOUwgpZ2.net
>>956
そもそもリンク先が意味わからん
f(x) = x + 1とかなら不動点あるわけないじゃん
1014:１３２人目の素数さん
24/12/13 00:26:04.34 IICqUMpV.net
>>990
>Ωが1点集合じゃなきゃ
1点でも空でも無理よ
1015:１３２人目の素数さん
24/12/13 00:27:53.08 DdqfAdIw.net
#Ω≧2のとき、P(Ω)を冪集合として
#Map(Ω,Ω)≧Map(Ω,{1,2})=#P(Ω)>#Ω
よって無理
1016:１３２人目の素数さん
24/12/13 00:28:40.20 DdqfAdIw.net
あっ被ったわ
1017:１３２人目の素数さん
24/12/13 00:29:04.87 oQFI6vZT.net
>>992
型なしラムダ計算って書いてあるだろダホが
1018:１３２人目の素数さん
24/12/13 00:38:34.31 RJRI0H2P.net
Y = (λf . (λx . f (x x)) (λx . f (x x)))
Y(g)
= (λf . (λx . f (x x)) (λx . f (x x)))(g)
= (λx . g (x x)) (λx . g (x x))
= g((λx . g (x x)) (λx . g (x x)))
= g(g ((λx . g (x x)) (λx . g (x x))))
= g(Y(g))
ふーん
1019:１３２人目の素数さん
24/12/13 00:50:03.34 XJH+FqYN.net
自分の要素が自分自身……が無限に続くなら完備化することで正当化できないの？
1020:１３２人目の素数さん
24/12/13 00:53:21.65 HK9bxG+x.net
それ許すとパラドックスになるんだろしらんけど
1021:１３２人目の素数さん
24/12/13 01:00:30.99 IICqUMpV.net
>>992
その場合は
Yf=f(f(f(f(・・・))))
で終了しない関数になるだけ
ていうかこれ計算機科学の話だから
関数っていうのも数学的な関数とは
扱い違うよ
1022:１３２人目の素数さん
24/12/13 03:39:23.22 FkQDmWjZ.net
もともたBNFで定義された記号列に除去則定めただけのモンだしな
1023:１３２人目の素数さん
24/12/13 05:00:01.98 Bx5h5crB.net
蘊蓄語りの爺さん
1024:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 108日 11時間 32分 6秒
1025:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています