Silver Machineについて (数学基礎論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 篠田 寿一

  名古屋大学人間情報学研究科

• 竹内 外史

  イリノイ大学

関連論文

• Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)
• Heyting Valued Set Theory (数学基礎論)
• Bounded Arithmeticと計算量の根本問題
• ファジィへの提言--数学基礎論から (ファジィ理論--最近の展開と応用)
• Silver Machineについて (数学基礎論)
• 数学について
• KOLMOGOROV COMPLEXITY AND P-PRINTABLE SETS(Metamathematics and it's applications)
• A NOTE ON A POLYNOMIAL TIME REDUCIBILITY(Mathematical Logic and Applications'92)

スポンサーリンク