Re: What is


you say

you are confuse!
You are generalizing a result about consistency
to whole logic. Even if this result is not expressable in this
manner : "a proven
statement is not a true statement", It is wrong.
You'd better re-read the definition of coerence in formal system.
The question is about ALL the true sentences of a formal theory!


i say rubbish just tell us what a true statement is with out useing the
word provable

you say

If given a substratum S and an object A, it is provable that A belong
to
S
than S is predicable of A and S(A) is true.

i say rubbish
what is the definition of predictable

all that babel amounts to is a true statement is predictable of a
proven
statement -that is even weaker than hilberts idea for since godel a
proven
statement is not a true statement

so wat ever predictable means
you are predicting a statement from a statement that is not even true-
but
only provable

--


--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.