数理の存在論的基礎（永井博）について

>>42

{神学も、それに基づいて数学を考える事も否定しないけど、
たぶん神の存在を基礎においても数学は発展しないと思うよ。}

カントールは、神の存在を基礎に置いて、無限論を発展させたって
こと聞いたけど、・・・・ほんと？それとも基礎に置いたわけでは
ない？誰か、知っているひといない？

>>1へ。
神父さんに聴くべき問題です。
是非、そうしてください。続ければ続けるだけ、もっとひどい事を言いそうです。

>>50

そりゃ嘘だ。「神がいる」って言う事を仮定したわけではない。単に
「神がいるなら、これこれこういう命題が成り立つに違いない」
と勝手に思い込んで、その命題を証明しただけ。

「私は神のためにパンを作る」と言って誰かがパンを作って、そのパンが
おいしかったとして、そのパンがおいしいのは「神がいる」からか？
違うだろう。そのパンがおいしいのは「神への思いがある」からだ。

いいかい。神父さんなら、その問題に詳しい人も知っているだろうし、
（つまり、その人本人が詳しくなくともと言う意味だが）その疑問は
当然、君の宗教内でも話題にはでただろうし、同じ思いの人もいるだろう。
これは、親心で言ってるんだよ。もっと、興味があれば神学関係に進む
道だってある。ここでそれを聴くのは妥当には思えないよ。
ともかく、教会へ行って自分に正直に神父さんにお話ししてごらん。
ここでできたんだ。そこでもできるよ。その方が君にはプラス。
もし君が信仰を捨てるつもりじゃないのなら、、、。

>>53
キモっ

だれか、この数学サイトで数学基礎論とか、数理にくわしいひといない？
なんか、アドバイスしてあげれば？

君はカソリックかプロテスタントか
なんなら、おっさんが調べてあげない訳でもない。

naruhodo

普通の糞スレは目障りなだけだが、この糞スレは有害だ。

ゲーデル、晩年の論文を読め
草稿だったかな？

数学基礎論ｽｷｰな漏れに言わせて貰えば、
基礎論（証明論とかモデル論とか）と数理哲学とか数理言語学を
混同して欲しくないな、と思ったり。

数学基礎論とは、数学の基礎に関して、「数学的な手法で」アプローチして、
（相対的な）無矛盾性、独立性や、理論と理論との関係を調べたりする学問です。

>>39
読んだ事無いけど、多分基礎論ではありません。
証明可能性とか恒真性がどうの、とかΣ1完全性がどうの、とか
やるわけじゃないでしょ。
数理哲学です。

>>61さんへ
　　ご教示ありがとうございます

ほかに詳しい方はいらつしゃいますか？

それが時には人には必要かもしれんわな。

もう一度だけ、言うが、よそでやれ。それは数学ではない。

数理哲学って何？

おもしろい。

読んだひといる？

いない

いろいろ、ご意見ありがとうございます。

悪いが動機がおかしいんだよ。
宗教は宗教。キリスト教だけが宗教な訳じゃない。
インディアンの信仰よりも、キリスト教の信仰が気高くて深くて価値が高くて、、、
とか思ってんじゃないのか？そんな訳はない。
キリストは比喩を使うだろう？わかりやすくしてるだけなんだよ。
その細部にこだわって、中心を見失うならさっさとそんなもんやめちゃえよ。

数学はキリスト教を強化するために存在してる訳じゃない。
あらゆる事がそうだ。そこが踏み外しの一歩だ。

もっと、自分の宗教をよく考えろ！！
世界はキリスト教徒のために存在してる訳じゃないんだよ。
もちろん、君の不安を安らげるためにある訳でもない。

不安ってのは、愛のマイナス方向への働きだ。
皆が皆が不安なんだって気がつけば、方向が変わるんじゃないか？
もっと、視野を広くして考えろ！

age

969

366

396

832

675

358

395

119

164

843

463

徹底してない宗教がらみの話ってさ、つまんない。ええとこういうのはどうですか？
「神と数学の関係を述べよ」

103

826

624

808

よっこらしょっと

126

あらよっと

572

ingには若欄だろうが

talk:>>92 何を企んでいる？

281

この人、日本学術院（正式な名前忘れた）のメンバーらしく年間２５０万くらいもらってるんでしょ。

age

300

450