数学基礎論・数理論理学のスレッド　その7

数学基礎論・数理論理学のスレッド　その7at MATH

数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch179:１３２人目の素数さん
11/01/22 11:16:00
>>178
データ構造や自動定理証明や型理論など、
数学視点ではなく計算機科学視点が多いですが、
哲学視点はほとんどありません。

ひどいと感じたのはどこですか？
なぜ哲学系の人間が書いたと思ったのですか？

Proof theory (証明論の原文)
URLﾘﾝｸ(en.wikipedia.org)

次ページ

続きを表示

1を表示