ヒルベルトもゲーデルも準備不足だったね？
でも不完全性定理は証明されてますよね？
宗教って体験が伴ってるでしょ？＝論理と経験が一致する地点がある。
そんなことは言及していない。
私は「有限的算術を含む無矛盾な数学の形式体系」が増田の定義する「宗教」に含まれると言っている。
キミは論理を構築したり、観測する主体は何か？証明できるかな？
「有限的算術を含む無矛盾な数学の形式体系」が増田の定義する「宗教」に含まれるかどうかとこの議論は無関係。
キミが生きて経験していること自体が「証明」になっていることは理解できるかな？
非論理的。
それは数学ではない。
数学的な証明は個人的な経験ではなく形式体系で行われる必要がある。
Permalink | 記事への反応(2) | 12:25
ツイートシェア
論理が構築できても、できなくても、存在するものは存在する。 人間が生きていることが証明できなければ、人間は存在しないのか？そんなことはない。 論理の破綻＝不連続点の存在＝...
日本人が開発した宇宙際タイヒミューラー理論を読むと、論理が構築できる領域と論理が構築できない領域の両方を扱うこと（＝形式として記述ができるようになること）が可能だと思...
6
