トップページ⇒math

1001コメント525KB

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

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

0352１３２人目の素数さん

2012/08/12(日) 10:56:10.57

>>349
その「PなNP完全問題」へのP時間では判定不能な超準的な入力の不存在を示すのに
超越的な論理式に関する帰納法が必要になったりしない？

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