huukyou https://blog.hatena.ne.jp/huukyou/ Humanoid K’s diary https://estela.hatenadiary.jp/ 昨日は点と線の幾何学について述べました。最初の例だった「三つの点からなる幾何学」を考えてみましょう。小学生なら躊躇なく三つの点にそれぞれ名前をつけて、太郎、次郎、三郎などとする筈です。そうすれば変項は必要なく、この幾何学の命題はどれも主語が太郎、次郎、三郎のいずれかからなり、量化記号は必要なく、基本的に命題論理だけで表現できます。大人なら、x、y、zといった変項を使って述語論理によって命題を一括して扱うでしょうが、どの変項も実際は上記の太郎、次郎、三郎のいずれかを指示しています。 実用上は小学生のやり方が圧倒的に優れていて、簡単です。でも、点の個数がどのくらい多くなると大人のやり方が有利になる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Festela.hatenadiary.jp%2Fentry%2F2018%2F06%2F06%2F104946" title="点と線の幾何学から自然の数学化まで - Humanoid K’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-06-06 10:49:46 rich https://estela.hatenadiary.jp/entry/2018/06/06/104946 1.0 100%