多値論理にしても、ある程度の証明力を持つような体系では、やはり何か（強いていうと「標準的な自然数」に関する我々の直感？）が失われる ――超準的自然数は「自然」でない!!

mind のブックマーク 2006/07/27 11:00

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/2402464/comment/mind" data-user-id="mind" data-entry-url="https://b.hatena.ne.jp/entry/s/ytb.hatenablog.com/entry/20060724/p1" data-original-href="https://ytb.hatenablog.com/entry/20060724/p1" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20060724%2Fp1" data-user-icon="/users/mind/profile.png">多値論理と真理述語: 失われるものは何か？ - あいまいな本日の私 blog</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%EF%BC%90%E6%95%B0%E7%90%86%E7%B3%BB">０数理系</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%EF%BC%90%E8%87%AA%E7%84%B6%E6%B3%95%28%E6%A8%A9%29%7C%E4%BA%BA%E9%81%93%28%E4%BA%BA%E6%A8%A9%29">０自然法(権)|人道(人権)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/.%E8%AB%96%E7%90%86%E7%B3%BB">.論理系</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%81%86%E3%81%9D%E4%BC%BC%E7%89%A9%7C%E3%81%82%E3%82%84%E3%81%BE%E3%81%A1%7Cnega">うそ似物|あやまち|nega</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E6%A1%88%E7%82%B9%7C%E2%8A%A5%7C%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9">案点|⊥|パラドックス</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/6.%27standard%7C%E6%99%AE%E9%80%9A">6.'standard|普通</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A6%B3%E5%AF%9F%E6%84%9F%E7%9F%A5">観察感知</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/.InDexing">.InDexing</a>]</li></ul><br><p style="clear: left"> 多値論理にしても、ある程度の証明力を持つような体系では、やはり何か（強いていうと「標準的な自然数」に関する我々の直感？）が失われる ――超準的自然数は「自然」でない!!</p><a class="datetime" href="https://b.hatena.ne.jp/mind/20060727#bookmark-2402464"><span class="datetime-body">2006/07/27 11:00</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！