トップページ
⇒
math
1001コメント
392KB
数学基礎論・数理論理学のスレッド その7
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0778
132人目の素数さん
2011/06/14(火) 13:12:27.11
>>776
シンタックスだけで解決できるなら、どんなセマンティクス持ってきても
当然(シンタックスのレベルで)解決されるということで、任意の解釈云々は
そもそもそういう話だ、と言ってる。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています