数学基礎論・数理論理学　その19

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

17: 2023/11/17(金)00:36 ID:DIngYup/(1/5) AAS
よかったね

20(1): 2023/11/17(金)00:54 ID:DIngYup/(2/5) AAS
勝者は数学者が普通に使ってる論理的だけどゆるくしか形式化してない数学やろ
他のシステムは全部その数学を用いて形式化するわけだし

22: 2023/11/17(金)01:12 ID:DIngYup/(3/5) AAS
数理論理学って数学を使って論理学を形式化するのがやっぱメインやろ

25: 2023/11/17(金)01:20 ID:DIngYup/(4/5) AAS
教科書読めば書いてあるだろ

27: 2023/11/17(金)01:29 ID:DIngYup/(5/5) AAS
数学の基礎付けなんて誰もやってないことはスレチ