= を超越機械による真偽判定だとすると、次に常識的なことが成立する。 |= A または |=! A である。（|= の全域性） |= A かつ |=! A となることはない。（|=の二値一意性） |= A ならば、|=! ¬A である。（否定による反転） |= ¬A ならば、|=! A である。（…

人類全体（の知的能力）を何個かのコンピュータだと考える。 命題は超越的には真偽が定まっている。 そのとき、真と偽をそれぞれ目標にした集団を2台のコンピュータのように考える。 歴史的な時間スケールで見れば、どちらかの集団が命題の証明を発見するだ…

現実機械、理想機械、超越機械がある。現実機械は無視、理想機械と超越機械の実行時間を考える。 命題Pに対して、超越機械による実行時間τ(P)は、τ(P) = 0 超越機械＝神 なので、あらゆる命題を瞬時に確定的に判断する。理想機械は、次の特徴を持つ。 メモリ…