素数をできるだけ短い論理式で

kikx @kikx

∀y∀z(y×z=n ⇒ ￢y=S(0) ⇒ y=n) かなあ（自信ない

Sosuke MORIGUCHI @chiguri

だめだな。うーん、面白い解は出せそうもないぞ・・・

kikx @kikx

あれこれ何も変わってないじゃん

おかゆ @oka_iu_tcan

∀y∀z((y×z=n∧¬y=z)⇒(y=S(0)∨y=n))

kinaba @kinaba

@kikx 危うく突っ込むところでした

Atsushi Igarashi @50storms

@kinaba "￢n=S(0) ∧ " のかわりに "∧ ¬(y=z)" を y * z=n の直後にはさむのではちょっとだけましじゃないですかね。

とむ @masquerade0324

∀y∀z (y * z = n ⇒ y = S(0) ∨ z = S(0))くらいしか。。。

Sosuke MORIGUCHI @chiguri

@masquerade0324 1

とむ @masquerade0324

@chiguri なんですよねー。。。

がらん @_gacin

∀y∀z(y×z=n ⇒ y=S(0)^y=n) （＾が一階じゃない）

とむ @masquerade0324

1は素数にしましょう（）

Sosuke MORIGUCHI @chiguri

@masquerade0324 1つぶし思ったよりむずい・・・俺のはちょっと変な意味で1がめんどいｗ

おかゆ @oka_iu_tcan

@oka_iu_tcan 間違えたな

kikx @kikx

xorを足しましょう

わふならず @wfnarazu

¬n×n=n とか y=n∨z=n とか

Hiroyasu Kamo @kamo_hiroyasu

@kinaba x≦yは∃z(x+z=y)と書けるので、不等号を展開しても高々2倍強にしかなりません。

kikx @kikx

やっぱり汚くなっちゃうん

XENO @xenophobia__

x=S(S(n))∧∀y∀z(¬x=S(S(y))×S(S(z)))じゃダメかな？ #素数をできるだけ短く表現してください

Atsushi Igarashi @50storms

1を素数にすると素因数分解の一意性が…

XENO @xenophobia__

正確には∀xが先頭に要るか。

XENO @xenophobia__

あ、いや違う。n=S(S(x))か。

XENO @xenophobia__

@chiguri そうです。今気づきましたwwあと、内部にあるxもnですね。

結城浩 / Hiroshi Yuki @hyuki

@kinaba ∀y∀z(y×z=n ⇒ (y=n∨z=n)∧￢y=z)

kikx @kikx

やっぱり1を除かないとできないなり

XENO @xenophobia__

∃x.n=S(S(x))∧∀y∀z(¬n=S(S(y))×S(S(z))) #素数をできるだけ短く表現してください ツイートしなおし。