https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #素数をできるだけ短く表現してください を見てて勝手に問題を厳密にしたくなったんですが、一階の算術（＋×と0とSucと=と∀∃⇒∨∧￢）の論理式での最短ってなんだろう。式のサイズは先に書いた記号の出現回数とする。普通な ∀y∀z(y×z=n ⇒ y=S(0)∨y=n) に勝てるか | |
| @kinaba あっこれ n=1 でも真になるじゃん。出直し | |
| RT @chiguri: くっ、kinabaさんのに突っ込もうと思いついた瞬間にご自分で訂正を・・・ | |
| なんか以外と綺麗にいかなくて ￢n=S(0) ∧ ∀y∀z(y×z=n ⇒ y=S(0)∨y=n) みたいな酷いのしか思いついていない。不等号があれば縮むけどゲーム性が減る | |
| @sacred_fox z=nだと0が排除できてないです。なんかサボろうとすると意外と0か1が紛れ込んでくる… | |
| @kikx 危うく突っ込むところでした | |
| RT @masquerade0324: 1は素数にしましょう（） | |
| RT @xenophobia__: ∃x.n=S(S(x))∧∀y∀z(¬n=S(S(y))×S(S(z))) #素数をできるだけ短く表現してください ツイートしなおし。 | |
| @hyuki 油断すると0か1が忍び込んできますよねw なんだか、どう書いてみてももう一声短い定義があるはず、という感がぬぐえなくて面白いです | |
| RT @wfnarazu: https://t.co/ioWyxky8UT 左辺 ¬n=n×n とかで | |
| @cocoatomo 0と1 | |
| RT @chiguri: ∀x∀y(x*S(y)=n⇒x+y=n∧￢y=0) あーだめだ面白くない・・・ | |
| 「素数をできるだけ短い論理式で」をトゥギャりました。 http://togetter.com/li/781291 | |
| 式のサイズの数え方は問題が面白くなればなんでもよいと思います。 |