「 月別アーカイブ:2021年09月 」 一覧

no image

ハイパー論理

2021年9月28日

2021/09/28   -ハイパー論理

2021年9月28日 (知力の日) 前回で、ZF({x|})矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ZFとZF({x|})は同値」 だと思っていたという点です。 ということ ...

no image

ハイパー論理

2019年8月28日 (前提の日)

2021/09/15   -ハイパー論理

2019年8月28日 (前提の日) 前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理推論におけるc ...

Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2021 All Rights Reserved Powered by STINGER.