まるで論理学

• どんな素数でも一瞬で素因数分解する方法 - 西尾泰和のはてなダイアリー

入力が正の整数なら買ってたかもしれない…

別に分解されなくても，出力から入力が素数か合成数かを判別できるならば，それなりに価値はあるだろう．

一般の数体の上での分解を教えてくれるようなものとかはどうだろうか？

あ，それとコメントとか，どこかにもちょろっとあったけど:

• Gödel Number -- from Wolfram MathWorld．