数学基礎論・数理論理学のスレッド その7at MATH
数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch778:132人目の素数さん
11/06/14 13:12:27.11
>>776
シンタックスだけで解決できるなら、どんなセマンティクス持ってきても
当然(シンタックスのレベルで)解決されるということで、任意の解釈云々は
そもそもそういう話だ、と言ってる。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch