数学@ふたば保管庫 [戻る]

46648 B


19年8月頃消えます このNo.111285の文が正しければ、スレ主は神である。 削除された記事が3件あります.見る

まず神の定義からだな

>まず神の定義からだな
お好きにどうぞ
どうあれスレ主は神だから

>スレ主は神である

否定はせんよ
ただ、スレ主だけが神なんじゃなくて
他のみんなも神だけどな
もちろん俺も

>どうあれスレ主は神だから
>否定はせんよ
逃げたな
神の定義なく文の正しさは証明されんわ

>神の定義なく文の正しさは証明されんわ
>神の定義
なんでもいいよ

>なんでもいいよ
負け惜しみw

>>なんでもいいよ
>負け惜しみw
だからなんでもいいって言ってるのに…

書き込みをした人によって削除されました


泣きそ?w

>だからなんでもいいって言ってるのに…
泣きそ?w

書き込みをした人によって削除されました

このパラドクス(カリーのパラドクス)の用法からすれば、

このNo.111285の文が正しければ、スレ主はバカである。

も当然言えるわけ。

>も当然言えるわけ。
パラドクスの意味分かってる?
バカならパラドクスにならないでしょ

>>なんでもいいよ
>負け惜しみw

これを負け惜しみとしか解釈出来ない
愚者かな

>これを負け惜しみとしか解釈出来ない
>愚者かな
図星指されて具体的な反論できずアタフタw
なんでもいいと言う割にはしつこいんだねw

>図星指されて具体的な反論できずアタフタw
>なんでもいいと言う割にはしつこいんだねw
何言ってんだこのカス
オマエには理解できないんだよ 諦 め な w

ぶははははは

カリーのパラドクスは何でも言えるからな。
どこが問題なんだろ。

wikipedia を見ると、学者も結論が出せていないみたいだけどね。

個人的には無制限の自己言及文はやはりマズイと思うんだけど、そうなるとペアノ公理系で自然数を作り出す手法が自己言及の塊なわけで…

なんでもいいって言う奴ほど拘りが強くしつこく絡んでくる
その典型を見た

>個人的には無制限の自己言及文はやはりマズイと思うんだけど、そうなるとペアノ公理系で自然数を作り出す手法が自己言及の塊なわけで…
そうなの?
(0,N,succ)の組が特定の性質を満たせばいいだけで一見そこに自己言及はないように見えるけど

カリーのパラドックスって何も言ってなくない?
この文が正しいならって言うけどその文が正しい証明はないんだよね?

>(0,N,succ)の組が特定の性質を満たせばいいだけで一見そこに自己言及はないように見えるけど

自分自身に整数の性質をゆだねるからなあ。
ゲーデルの不完全性定理がペアノ公理系を入れた瞬間に発動するってのは、その自己言及がキモなんだし。

>この文が正しいならって言うけどその文が正しい証明はないんだよね?

仮定が偽なら、命題全体が真だってのがあるんだよ。

>まず神の定義からだな

まず、神ありき
神は全ての全て
始まりであり終わりである存在
動かざる動かし手
過去、現在、未来に存在するもの全てであり
全てであるが故に、神でないように見えるものも神である

神は、愛、自由、無限、と言い換え可能なものである

>No.111489
で?

書き込みをした人によって削除されました