Gödel’s 1st theorem is meaningless

[anne]

Gödel’s 1st theorem is meaningless
http://gamahucherpress.yellowgum.com/bo ... GODEL5.pdf



Godel's theorems invalid


1) Gödel’s 1st theorem

a) “Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250)


note
"... there is an arithmetical statement that is true..."

In other words there are true mathematical statements which cant be proven
But the fact is Godel cant tell us what makes a mathematical statement true thus his theorem is meaningless

[HexHammer]

Gödel’s 1st theorem is meaningless
http://gamahucherpress.yellowgum.com/bo ... GODEL5.pdf



Godel's theorems invalid


1) Gödel’s 1st theorem

a) “Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250)


note
"... there is an arithmetical statement that is true..."

In other words there are true mathematical statements which cant be proven
But the fact is Godel cant tell us what makes a mathematical statement true thus his theorem is meaningless

He's right, but it's like saying a rock can't fly by itself which is true, but meaningless. If we could predict arithmetic truths then we wouldn't need judges and lawyers, but merely have computers do the work.

[Eodnhoj7]

Gödel’s 1st theorem is meaningless
http://gamahucherpress.yellowgum.com/bo ... GODEL5.pdf



Godel's theorems invalid


1) Gödel’s 1st theorem

a) “Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250)


note
"... there is an arithmetical statement that is true..."

In other words there are true mathematical statements which cant be proven
But the fact is Godel cant tell us what makes a mathematical statement true thus his theorem is meaningless

This is just "dean" promoting his work under female pseudonym names, as he is well familiar with female characters as evidenced in many of his works such as "femme fatale".

The failure of his logic is that it is derived from a continual dualistic contradiction, hence is quantitatively mathematical (2) and qualitatively logical (dualism).

"Meaningless" is grounded in "polarity" or the manifestation of "opposites" and as such is an observation of "dualism" through a continuum of "divergence".

All he is doing is proving a rational structure to all "being".