Tuesday, October 4, 2011

how satisfied Godel theorem in general sentence?

Is Godel's incompleteness theorem materialized by the general text?

What is a general text?
All human beings are cleverness.
this etc. -- truth -- it is unknown.

*
what kind of text -- truth -- it is unknown.

It can prove, supposing this is realized.
It can prove, if not realized.

Since two texts are contradictory, it is not realized.
That is, it is not realized by the general text.

*
Although it is as truth unknown case it is not as truth unknown case.

an one story type -- a top -- truth -- it is unknown.
It is not realized in a realistic story type.
truth -- it is unknown.

This text of this is a lie.
equivalent to this -- it is of the same type.
That is, it is a self-reference sentence.

*
truth -- it is also unknown [there is various case ].

*
Godel's incompleteness theorem is a phenomenon of a text [ contradictory ].

The decision cannot prove no being contradictory by no being contradictory, either.

It is Godel's incompleteness theorem proving this.

if contradictory -- the truth from the start -- it is unknown.

*
The theorem of Kleene extended no being contradictory to truth.
The judgment [ contradictory ] of truth is also unknown.

It turns out that there is a story type also in a text.

*
There are realλ and metaψ also in a text and no being contradictory does not exist in metapsi.

It is a phenomenon of no being contradictory and realλ.
No being contradictory does not exist in metaψ.
all -- truth -- it becomes unknown.

*
no being contradictory -- truth -- it is unknown.
It is a theorem of Kleene proving this.

ゲーデルの不完全性定理は一般の文章で成立するか。

一般の文章とは何か。
人類は皆利口である。
これなどは真偽不明である。

      *
どんな文章も真偽不明である。

もしこれが成り立つなら、証明できる。
成り立たないなら、証明できる。

二つの文章は矛盾しているので、成り立たない。
即ち、一般の文章では成り立たない。

*
真偽不明は成り立っているが、真偽不明は成り立っていない。
一つ階型が上で、真偽不明である。
リアル階型では成り立たない。
真偽不明である。

これはこの文章は嘘である。
これと等価同型である。
即ち、自己言及文である。

*
真偽不明にもいろいろある。

          *
ゲーデルの不完全性定理は、無矛盾の文章の現象だ。

判決文は、無矛盾でも、無矛盾は証明できない。
これを証明したゲーデルの不完全性定理だ。

矛盾していれば、始めから真偽不明だ。

*
Kleeneの定理は、無矛盾を真偽に拡張した。
無矛盾の判決でも、真偽は不明である。

文章にも、階型があることが分る。

         *
文章にも、realλとmetaψがあり、metaψには無矛盾は存在しない。

無矛盾は, realλの現象だ。
metaψでは、無矛盾は存在しない。
すべて真偽不明となる。

*
無矛盾は真偽不明である。
これを証明したKleeneの定理である。

No comments:

Post a Comment