Re: [Marxism] Re: [PEN-L] More Godel

["Carlos A. Rivera" <cerejota@xxxxxxxxxxxxx>]

----- Original Message ----- 
From: "Rod Holt" <rholt@xxxxxxxxxxxxxx>



>  For example, at the very end of his proof, Gödel states, "It must be 
> expressly noted that Proposition XI represents no contradiction of the 
> formalist standpoint of Hilbert. For this standpoint only presupposes only 
> the existence of a consistency proof effected by finite means, and there 
> might conceivably be finite proofs which * cannot * be stated in P (or in 
> set theory M or in classical mathematics A)."

Yet I have always taken this protestation somewhat a kind to Einstein's 
objection to quantum physics, as the contradiction of someone one doesn't 
*want* to grasp the significance of what they have just formulated.

sks 



_______________________________________________
Marxism mailing list
Marxism@xxxxxxxxxxxxxxxxxxx
http://lists.econ.utah.edu/mailman/listinfo/marxism