数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
23(2): 2023/11/17(金)01:18 ID:SP2M0jGm(4/6) AAS
？
数学は数の概念に基づいている。では数の概念は何に基づいているかと言えば、数学に基づくというと循環論法になる。
論理に基づくとしたのが論理主義。
直観に基づくとしたのが直観主義。
だけど、自分の理解だと、現代的には論理主義を直観主義で基礎づける直観主義論理で、数じゃなくて論理演算を直観で基礎づけて
その上に数を構築してさらにその上に数学を構築するという形態をとっている、と思っている。
少なくとも論理学を数学を形式化するとかは意味わからん。どうやるんだ？
30(1): 2023/11/24(金)10:28 ID:PoVa8pbt(1) AAS
>>23
直観だって論理学奈乃だが
43: 2023/11/25(土)02:04 ID:C3uw4D4e(7/9) AAS
>>23
に戻る。同じやつだな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.020s