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?
