1：なんJゴッドがお送りします2025/10/11(土)
結構ヤバイよな
2：なんJゴッドがお送りします2025/10/11(土)
いや?
3：なんJゴッドがお送りします2025/10/11(土)
やい?
4：なんJゴッドがお送りします2025/10/11(土)
ゲーテルの不完全性定理のあんま有名じゃない第二の方やね
7：なんJゴッドがお送りします2025/10/11(土)
ひろゆきとか好きそう
8：なんJゴッドがお送りします2025/10/11(土)
イッチ数学基礎論のひと?
10：なんJゴッドがお送りします2025/10/11(土)
自己言及的なやつが関係あるんやっけ?大学教養でやったけどいまいち理解できんかった
12：なんJゴッドがお送りします2025/10/11(土)
たし🦑
14：なんJゴッドがお送りします2025/10/11(土)
矛盾なんて何回も出てるが
16：なんJゴッドがお送りします2025/10/11(土)
>>14
ZFC上では出てないがな
15：なんJゴッドがお送りします2025/10/11(土)
ヒルベルトプログラムって今もまだやってるん?
17：なんJゴッドがお送りします2025/10/11(土)
1と0.999999……は同じ大きさ←いや1の方が大きいよね?
19：なんJゴッドがお送りします2025/10/11(土)
>>17
そう考える立場も実際数学の1つとしてある
18：なんJゴッドがお送りします2025/10/11(土)
数学の破綻は数学からは分からないみたいな話?
20：なんJゴッドがお送りします2025/10/11(土)
>>18
正確には数学が破綻してない事は数学からは分からないや
22：なんJゴッドがお送りします2025/10/11(土)
物理でダークエネルギーとかダークマターを観測できないのは根本の数学に問題がある説
23：なんJゴッドがお送りします2025/10/11(土)
矛盾ありってことはそもそも検証・査読が不完全やっただけちゃうん
不完全なものは定理として積み上げられちゃいかんでしょ
結果として矛盾がないものだけが数学になっていく
26：なんJゴッドがお送りします2025/10/11(土)
なんだなんだ直観主義の話とかもしだすか?
34：なんJゴッドがお送りします2025/10/11(土)
こういう基礎論みたいなやつってどこで勉強するんや?
39：なんJゴッドがお送りします2025/10/11(土)
そもそも「÷0はできない」って時点でね…
45：なんJゴッドがお送りします2025/10/11(土)
最近は圏論を活用しようとする人もおると聞く
53：なんJゴッドがお送りします2025/10/11(土)
誰かLTL出来る人いたらおすすめの教科書教えてください
54：なんJゴッドがお送りします2025/10/11(土)
文系のワイにはわからん
56：なんJゴッドがお送りします2025/10/11(土)
論理学全くやったことない人は戸田山和久の論理学をつくるを読みましょう
元スレ：https://hayabusa.open2ch.net/test/read.cgi/livejupiter/1760149865
