mzsms https://blog.hatena.ne.jp/mzsms/ mzsmsの雑記 https://mzsms.hatenadiary.org/ 哲学 書籍 10月20日のエントリ「『現代唯名論の構築』」の一部書き直し。 数学的な語りはどこに？ 中山康雄『現代唯名論の構築』で疑問に思ったことのひとつが、応用が見出されていないような数学分野の理論はどうなるのだろう？ ということだ*1。例えば、直感的には奇妙なトポロジーの体系の一部や、戸田山和久『論理学をつくる』336項で紹介されているロビンソン算術が範疇的ではないことを示すために作られたモデルは、いまのところ応用が存在しないだろう。もし、数学的対象そのものを存在者とし、数学的命題で示されているような「事実」を端的に事実として認めるならば、そのような体系やモデルにおける事実について語っている、というこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzsms.hatenadiary.org%2Fentry%2F20091028%2F1256730501" title=" 『現代唯名論の構築』 - mzsmsの雑記" 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 2009-10-28 20:48:21 rich https://mzsms.hatenadiary.org/entry/20091028/1256730501 1.0 100%