閑話 ゲーデル数の不完全性、ω0、θ0並びにラッセルのパラドックスの例外について(訂正版)

(参照)

https://www.academia.edu/44637150/The_Incompleteness_of_G%C3%B6del_Number_%CF%890_%CE%B80_and_the_exception_of_Russells_paradox


概念の精査等により、以下のように上記論文の一部を訂正する。


0=ω0∨θ0とおく。

(理由:0の概念においてω0とθ0は両方を成り立たせるものではないと考えるため)

R={x|x ∉x}


xに0を代入

R={0|0 ∉0}

R={0|(ω0∨θ0)∉(ω0∨θ0)}


ここで、

(ω0∨θ0)∉(ω0∨θ0)

(ω0∨θ0)∈((¬(ω0))∧(¬(θ0)))

(ω0∨θ0)∈((¬(ω0))∧(¬(¬1))

(ω0∨θ0)∈((¬(ω0))∧1)

よって

A∨B∈(¬A) ∧Cとなり無矛盾。

  • Twitterで共有
  • Facebookで共有
  • はてなブックマークでブックマーク

作者を応援しよう!

ハートをクリックで、簡単に応援の気持ちを伝えられます。(ログインが必要です)

応援したユーザー

応援すると応援コメントも書けます

新規登録で充実の読書を

マイページ
読書の状況から作品を自動で分類して簡単に管理できる
小説の未読話数がひと目でわかり前回の続きから読める
フォローしたユーザーの活動を追える
通知
小説の更新や作者の新作の情報を受け取れる
閲覧履歴
以前読んだ小説が一覧で見つけやすい
新規ユーザー登録無料

アカウントをお持ちの方はログイン

カクヨムで可能な読書体験をくわしく知る