kanedaitsuki https://blog.hatena.ne.jp/kanedaitsuki/ 金田一輝のWabｙ-Sabｙ https://kanedaitsuki.hatenadiary.org/ 数学 神学 キリスト教 落合仁司は言う。 数理神学の言語である数学言語は、近代自然神学すなわち近代自然科学の言語でもあるので、それに完敗した伝統的自然神学したがって伝統的組織神学の言語である哲学言語に比べ、遥かに広大な普遍性ときわめて強靭な反証可能性あるいは論証力を有している。数学言語ほど組織神学にふさわしい言語は見当たらないのである。 『数理神学を学ぶ人のために』、p71 それではと、私も以下、その「強靭な論証力」を使って定理を証明してみる（同上pp.124-128を参照せよ）。 定理１：イエス一人だけが人間である、もしくはイエスは人間ではない 証明１：神は無限集合である。数理神学では集合同士が「等濃」であることは… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkanedaitsuki.hatenadiary.org%2Fentry%2F20100220%2Fp1" title="落合仁司の数理神学を使って奇妙な定理を証明してみる - 金田一輝のWabｙ-Sabｙ" 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 2010-02-20 00:00:00 rich https://kanedaitsuki.hatenadiary.org/entry/20100220/p1 1.0 100%