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

47: 名無しさん 23/06/06(火) 11:20:10 ID:Liqw

情報数学やっとけ
おんjの落合が理論より簡単や言うてた

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

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

50: 名無しさん 23/06/06(火) 11:22:52 ID:xdhO

>>49
なにやってっか分からんから泣きながらスレ立ててんねん

51: 名無しさん 23/06/06(火) 11:23:59 ID:Kh3c

>>50
草