「 投稿者アーカイブ：webmaster@int2.info 」 一覧

２０２３年７月２８日  （ＡＦＡの日）     今回は、予告通り、淵野の間違いを指摘します。 その手段として、term記号の有限性を顕示する目的で。 個体定数 ｃ 一個と１変数関数 ...

２０２３年６月２８日　（記号の日）   今回からは淵野の間違いをハッキリさせていきます。 淵野は可算無限個の個体定数を導入していますが。 この場合、それが、どのレベルの集合概念なのか不明です ...

２０２３年５月２８日　（可算の日）   今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。 具体的には、 「term候補として無限個の個体定数を許容するか ...

２０２３年４月２８日　（恐怖の日）   現在はＺＦに対するＦＯＰＬ詐欺の話題を続けていますが。 前回の続編は次回にするということで。 今回は、無限の観点からバイパスを通しておきます。 集合論 ...

２０２３年３月２８日　（個体の日）   今回は、３月１５日の新着情報の続報です。 結論を述べれば。 「集合論は矛盾する？！」 の解説で取り上げたＺＦ矛盾証明モドキが間違いなのは確かです。 し ...

２０２３年２月２８日　（警告の日）   今回は予定通り、ＺＦ（｛ｘ｜｝）が第一階述語論理ベースにならないことを論証します。 これは、すでに何回も繰り返して指摘した事実であり。 証明も終えてい ...

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。

２０２２年１２月２８日　（神帝の日）   今は、ＺＦが第一階述語論理ベースにはならないことを論証している最中です。 その伏線として、ＳＡＴを持ち出し。 ＳＡＴの論理式は論理関数として把握でき ...

２０２２年１１月２８日　（螺旋の日）   猿が進化するためには。 論理関数に対する循環地獄を螺旋状に昇っていく必要があります。 そのための伏線準備として、今回は一般論を。 それが、 「存在　 ...

２０２２年１０月２８日　（猿脳の日）   ＳＡＴの論理式は（命題）論理関数として把握できますが。 ＺＦの論理式を（述語）論理関数として把握できるのか？ 今まで散々、検討してきたのですよ。 実 ...