Reply #31: Godel's paper includes a formal proof of the assertion [View All]

[Jim__]

My quote from Godel was taken from his 1930 paper - (here) - just below {176}.

Further, proof in a metasystem is not "formal proof" as I understand the words, because then you need a meta-metasystem etc., the whole thing is recursive and incomplete.

Godel's paper is a formal proof of his assertion. The meat of his argument is in his proof of proposition VI:

Proposition VI: To every w-consistent recursive class c of formulae there correspond recursive class-signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg(c) (where v is the free variable of r).

I quote again from Wikipedia:
"Marvin Minsky has reported that Kurt Gödel told him personally that he believed that human beings had an intuitive, not just computational, way of arriving at truth and that therefore his theorem did not limit what can be known to be true by humans."

I am not questioning whether or not Godel said this. I am questioning whether or not his Theorem constitutes proof of this assertion. I assume did not believe it did; otherwise he would have stated that his theorem proved his assertion.