41: 名無しさん＠おーぷん 23/06/06(火) 11:13:57 ID:WF0P

>>39
そっち系ならますます論理学だいじやんけ

43: 名無しさん＠おーぷん 23/06/06(火) 11:14:39 ID:xdhO

>>41
そうなんか
なら頑張んないとあかんな
全然わからんけど

44: 名無しさん＠おーぷん 23/06/06(火) 11:15:40 ID:Liqw

いうてもゲーテルとかやる必要あるのかは知らんがあったら理解も進むやろな
あと複雑系

45: 名無しさん＠おーぷん 23/06/06(火) 11:16:03 ID:WF0P

内容の正当性を形式に基礎づけるという試みは最終的に何を目指してるんやろな

46: 名無しさん＠おーぷん 23/06/06(火) 11:18:51 ID:xdhO

>>45
そんなことできるのか気になるやん
あたかもできるかのように普段振舞ってるけどよく考えたらできないかもしれんのやぞ
めっちゃ気になるやん

48: 名無しさん＠おーぷん 23/06/06(火) 11:20:24 ID:WF0P

>>46
ワイは大陸哲学系やからむしろそういうことはできないんちゃうかのはじめっから懐疑的な立場なんよね
イッチは入り方は米英系っぽいからどういう発見があるか楽しみやな

49: 名無しさん＠おーぷん 23/06/06(火) 11:22:13 ID:Kh3c

どういうことやんの?
ゲーデルの完全性とか不完全性定理とか、ω無矛盾なら健全とかそんなん?