数学基礎論・数理論理学のスレッド その7at MATH
数学基礎論・数理論理学のスレッド その7
- 暇つぶし2ch77:132人目の素数さん
11/01/02 19:44:58
論理式を「実在するもの」と考えるのなら、構文論的に考察することにならない?
述語論理の「意味」なんて考え出したら超越的議論が必要になるのは、感覚的に自然
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch