アカウント名:
パスワード:
>1円の借金は簡単に返せる。N円の借金が簡単に返せるとき,N+1円の借金は簡単に返せる。故に,全ての借金は簡単に返せるはずである。
1日の遅延は簡単に解消できる。N日の遅延が簡単に解消できるとき、N+1日の遅延は簡単に解消できる。故に,全ての遅延は簡単に解消できるはずである。
これを「システムインテグレータ・サービス残業の法則」と名付けるのはどうだろう?
借金は返せる.返せるが……ZFC公理系はその時と場所までは指定していない.そのことをどうかbenihitodeは思い出していただきたい.つまり……実際に返し終わるのは100年後200年後という可能性もあるだろう……ということ……!
というわけでZFC公理系には問題はないんですよきっと.個々の操作に有限の時間を有してしまう我々が悪いんです.
そこで有限の立場ですよ。原始再帰的算術においてはすべての量化子が有界なので(たとえば∀x.φ(x)ではなく∀x≦全財産.φ(x)という形の式でなければならない)、パラドックスを回避できます。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日本発のオープンソースソフトウェアは42件 -- ある官僚
高々有限の借金 (スコア:1)
しかし,現実に高々有限の借金さえ簡単には返せない。これはZFC公理系の限界を意味している。
Re:高々有限の借金 (スコア:3, すばらしい洞察)
>1円の借金は簡単に返せる。N円の借金が簡単に返せるとき,N+1円の借金は簡単に返せる。故に,全ての借金は簡単に返せるはずである。
1日の遅延は簡単に解消できる。N日の遅延が簡単に解消できるとき、N+1日の遅延は簡単に解消できる。故に,全ての遅延は簡単に解消できるはずである。
これを「システムインテグレータ・サービス残業の法則」と名付けるのはどうだろう?
Re:高々有限の借金 (スコア:1)
借金は返せる.返せるが……ZFC公理系はその時と場所までは指定していない.
そのことをどうかbenihitodeは思い出していただきたい.
つまり……実際に返し終わるのは100年後200年後という可能性もあるだろう……ということ……!
というわけでZFC公理系には問題はないんですよきっと.個々の操作に有限の時間を有してしまう我々が悪いんです.
Re: (スコア:0)
そこで有限の立場ですよ。原始再帰的算術においてはすべての量化子が有界なので(たとえば∀x.φ(x)ではなく∀x≦全財産.φ(x)という形の式でなければならない)、パラドックスを回避できます。