トップページ⇒math

1001コメント392KB

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

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

0563１３２人目の素数さん

2011/10/23(日) 11:03:43.29

>>561
＞ロジックと理論計算機もたいして関わっていないし、
大嘘。
形式体系の表現能力＝計算クラス

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