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
michael perelman wrote:
Mirowski says that Godel's proof rattled both Turing Van Neuman,
making them turn from formalizing to matters such as game theory
computers.
probably true, but IIRC turing published his halting problem result
after 'undecidability propositions of principia
Charles Brown wrote:
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
michael perelman wrote:
Mirowski says that Godel's proof rattled both Turing Van Neuman,
making them turn from formalizing to matters such as game theory
computers.
i grabbed a copy of Goldstein's book this morning in the bookstore and
gave it a fast read (good on history and philosophical
Les Schaffer wrote:
in relation to a question raised on marxmail regarding any relationship
between Godel's and Heisenberg's work: next to Goldstein's book at the
Border's Bookstore math section stood an interesting work by Palle
Yourgrau (philosopher at Brandeis) entitled A World Without