nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ Goedel K. ゲーデル 『不完全性定理』、林晋、八杉満利子訳、岩波文庫、岩波書店、2006年 の解説をいくらか読む。するととてもささいなことだが、？と思うことがあったので調べてみる。それは以下のようなこと。 136ページ、註41に次のようにある。 ゲーデルの[いわゆる不完全性定理]論文のp.22にあるような「集合による順序対」を最初に定義したのはN. ウィーナーである. そこで22ページの該当箇所を見るとこうある*1。 例えば, 順序対a, bは{{a}, {a, b}}で定義できる. 順序対a, bを{{a}, {a, b}}と最初に定義したのはN. ウィーナーだったのだろうか？ この順序対の定義は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20060917%2Fp2" title="　読書: 順序対の定義の起源 - nuhsnuh’s blog" 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 2006-09-17 00:00:01 rich https://nuhsnuh.hatenablog.jp/entry/20060917/p2 1.0 100%