10/01/20 00:28:52 発信元:211.121.56.23
文脈まで立ち入って読めない相手に説明してもしゃーないけど、
今回主題になってんのはレーヴェンハイム-スコーレムの定理と哲学の接点だから。
クワス算の話自体はもう分析哲学に触れたことのある人間にとっては今更なネタだが、
これをモデル理論と絡めて捉え直すのもいいかとね。
みならい先生にとってははじめてのネタだろうし。
10/01/20 00:28:52 発信元:211.121.56.23
文脈まで立ち入って読めない相手に説明してもしゃーないけど、
今回主題になってんのはレーヴェンハイム-スコーレムの定理と哲学の接点だから。
クワス算の話自体はもう分析哲学に触れたことのある人間にとっては今更なネタだが、
これをモデル理論と絡めて捉え直すのもいいかとね。
みならい先生にとってははじめてのネタだろうし。