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

Sosuke MORIGUCHI @chiguri

@hyuki 0

鏡 弘道 @kagami_hr

0 が排除出来ていないのでは。

結城浩 / Hiroshi Yuki @hyuki

@kinaba n=0が排除できてないとの指摘ががが

とむ @masquerade0324

素数は2以上の整数 かつ 4以上の合成数でない か。

がらん @_gacin

∀y∀z(y×z=n ⇒￢y=z∧（ y=S(0)∨y=n）

kikx @kikx

さすが

Sosuke MORIGUCHI @chiguri

やっぱさっきのRTのがよさそうだなあ。くそう。

がらん @_gacin

∀y∀z(y×z=n ⇒￢y=z∧（ y=S(0)∨y=n） #素数をできるだけ短く表現してください

トビーネット @toby_net

#素数をできるだけ短く表現してください

わふならず @wfnarazu

twitter.com/xenophobia__/s… 左辺 ¬n=n×n とかで

XENO @xenophobia__

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

2015-02-10 23:04:32

kinaba @kinaba

@hyuki 油断すると0か1が忍び込んできますよねw なんだか、どう書いてみてももう一声短い定義があるはず、という感がぬぐえなくて面白いです

tomo🐧@learning @cocoatomo

@kinaba ∀y∀z(¬S(S(y))×S(S(z))=n) でどうでしょう?

鏡 弘道 @kagami_hr

あの位の長さならコンピューターのしらみつぶしで候補を選んで手作業で検証すれば。候補じゃなくて確定した論理式も得られるのかは知らない。

tomo🐧@learning @cocoatomo

S(S(・)) があまり綺麗じゃない.

kinaba @kinaba

@cocoatomo 0と1

tomo🐧@learning @cocoatomo

@kinaba あぁ, そうですね……

トビーネット @toby_net

一階の算術パズルおもしろそう

トビーネット @toby_net

∀とヨ とは

わふならず @wfnarazu

¬n=n×n∧∀y∀z(¬n=S(S(y))×S(S(z))) #素数をできるだけ短く表現してください

トビーネット @toby_net

あと ⇒

Sosuke MORIGUCHI @chiguri

∀x∀y(x*S(y)=n⇒x+y=n∧￢y=0) あーだめだ面白くない・・・

Sosuke MORIGUCHI @chiguri

あえてかけ算に足し算を合わせてみたが、やっぱり1がつぶせないというこの・・・

Sosuke MORIGUCHI @chiguri

でもまあ、orとかだらだらつなげるよりは面白いかな・・・

Sosuke MORIGUCHI @chiguri

あれ、でも今結城先生の改めてみたら0大丈夫か。0,0があるから全称成り立たない。

kikx @kikx

ノットAかつforall ...(ノットならドモルガンで縮むのかなカッコ数えないなら