『数学の本質はその自由性にあり』


無限の定義

無限とは部分と全体が等しいことである


数学そのものの定義

「２つの点を通って１本の直線を引くことができる」
「２つのコップを通って１本の椅子を引くことができる」
述語の定義によらず成り立つ構造が数学である


人工知能の定義

人間の男性と人間の女性が、チャット越しに男女を問わない第三者に対して、
「私が女です」「いいえ、私が女です」と競う
この片方をコンピュータが担って有意の差が出なければ、それが人工知能である



問題は、死や宗教について

哲学板では
「カントの『物自体』みたいに、死には何でも放り込めそうだ」「宗教は宗教板で」
というのが定説の様子
チューリングが人工知能をうまく定義したように数学者が死や宗教を語ることはできないのか


というスレを立てようかどうか迷ってる