More Godel

[Charles Brown <cbrown@xxxxxxxxxxxxxxxxx>]

Michael Perelman:

Mirowski says that Godel's proof rattled both Turing & Van Neuman,
making them turn from formalizing to matters such as game theory &
computers.

-clip-

^^^^
CB: As Carlos on Marxmail suggested might be pertinent to this:

"The question whether objective truth can be attributed to human thinking is
not a question of theory but is a practical question. Man must prove the
truth, i.e., the reality and power, the this-sidedness [Diesseitigkeit] of
his thinking, in practice. The dispute over the reality or non-reality of
thinking which is isolated from practice is a purely scholastic question."
2nd Thesis on Feuerbach


Carlos said over there on Marxmail:
>
> "... Godel, in this paper which established his two great theorems by
> methods which are constructive in a precise sense, on the one hand
> showed the essential limitations imposed upon constructivist formal
> systems (which include all systems basing a calculus for arithmetic upon
> "mathematical induction"), and on the other hand displayed the power of
> constructivist methods for establishing metamathematical truths."

Carlos: Behind the jargon, isn't this Thesis II?