しかし、いわゆる形式論理の話は一切ない。それは当然といえよう。数学者は形式論理が大嫌いなのであるからして。

mind のブックマーク 2006/07/27 10:42

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/2421053/comment/mind" data-user-id="mind" data-entry-url="https://b.hatena.ne.jp/entry/nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/essay/ronri_to_suiron" data-original-href="http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/essay/ronri_to_suiron" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fnicosia.is.s.u-tokyo.ac.jp%2Fpub%2Fessay%2Fhagiya%2Fessay%2Fronri_to_suiron" data-user-icon="/users/mind/profile.png">論理と推論 --- 数学の形式化</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/.%E8%AB%96%E7%90%86%E7%B3%BB">.論理系</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/bot%7C%E2%96%A1%28i-face%29">bot|□(i-face)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/algorithm%28%E4%BB%95%E7%B5%84%E3%81%BF%29">algorithm(仕組み)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A8%98%E5%8F%B7%28image%29">記号(image)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/reasoning%28%E5%88%B6%E5%BE%A1%E5%AE%9F%E8%A1%8C%29%7Cdebug">reasoning(制御実行)|debug</a>]</li></ul><br><p style="clear: left"> しかし、いわゆる形式論理の話は一切ない。それは当然といえよう。数学者は形式論理が大嫌いなのであるからして。</p><a class="datetime" href="https://b.hatena.ne.jp/mind/20060727#bookmark-2421053"><span class="datetime-body">2006/07/27 10:42</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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