1001コメント405KB

数学基礎論・数理論理学　その10

■ このスレッドは過去ログ倉庫に格納されています

0070１３２人目の素数さん

2011/10/30(日) 20:20:18.99

ところで42は
Proof(x,y):=yはゲーデル数xの論理式の証明である
が再帰的述語であることは理解していますか？

■ このスレッドは過去ログ倉庫に格納されています