正整数のゲーデル数化?
Posted feedbacks - J
j言語です。 goedel=.3 :'*/x:(p:i.#":y)^"."0":y' goedel 9 512 goedel 81 768 goedel 230 108 goedel 12345 870037764750 goedel 123456789 52713275010243038997421106186697438702252144407250 #4657の提案(goedel2)と#4661の提案(goedel3)もやってみました。 goedel2=.3 :'*/x:(p:i.#":y)^>:"."0":y' goedel2 230 3240 goedel2 23 648 goedel3=.3 :'*/x:(p:i.#":y)^|."."0":y' goedel3 230 675 goedel3 23 72
1 | goedel=.3 :'*/x:(p:i.#":y)^"."0":y'
|



nobsun
#4420()
Rating2/2=1.00
see: ゲーデル数
[ reply ]