例を用いた説明は論理的に不完全に思われそうだが、十分な例を与えれば完全に形式的に証明したのと同じ情報量は得られるはず。つまり、例に関する証明を、自動的に一般化して完全な証明にできるはず。 ――普遍化。

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

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/1869339/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/keishikika" data-original-href="http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/essay/keishikika" 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%2Fkeishikika" 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/0.universal%7Copen">0.universal|open</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/3._transitive%7C%E9%96%93%E6%8E%A5">3._transitive|間接</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%AB%96%E7%90%86%E7%B3%BB">.論理系</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><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/%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/%E3%81%A6%E3%81%A4%E3%81%A5%E3%81%8D%7C%E6%8A%80%E8%A1%93">てつづき|技術</a>]</li></ul><br><p style="clear: left"> 例を用いた説明は論理的に不完全に思われそうだが、十分な例を与えれば完全に形式的に証明したのと同じ情報量は得られるはず。つまり、例に関する証明を、自動的に一般化して完全な証明にできるはず。 ――普遍化。</p><a class="datetime" href="https://b.hatena.ne.jp/mind/20060727#bookmark-1869339"><span class="datetime-body">2006/07/27 10:36</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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