984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

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

0284１３２人目の素数さん

2014/12/01(月) 01:26:15.24

Presburger算術を拡張してPeano算術にしたら
決定可能な理論が決定不能な理論に格調されるのではないの？

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