ddh_book https://blog.hatena.ne.jp/ddh_book/ 歯科衛生士のよみもの https://ddh-book.hatenablog.com/ 哲学・偉人 今回は、「哲学的な何か、あと科学とか」（2017年）を読みました。 哲学的な何か、あと科学とか (二見文庫) 作者:飲茶 二見書房 Amazon 著者さんは会社経営者ということですが、すごく分かりやすくて面白かったです。特に勉強になったし、今後も活かせそうだと思った、不完全定理と論理実証主義についてまとめたいと思います。 不完全定理 数学者クルト・ゲーデルが発表した2つの定理で、形式的な数学体系には限界があることを示しました。 以下はCopilotからのコピーです。 第一不完全性定理 「自然数論を含む一貫した形式体系には、真であるにもかかわらず、その体系内では証明できない命題が必ず存在する」 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fddh-book.hatenablog.com%2Fentry%2F2025%2F10%2F09%2F070000" title="不完全定理 - 歯科衛生士のよみもの" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41KTsDErHrL._SL500_.jpg Hatena Blog https://hatena.blog 2025-10-09 07:00:00 rich https://ddh-book.hatenablog.com/entry/2025/10/09/070000 1.0 100%