Re: More Godel

[ravi <gadfly@xxxxxxxxxxxx>]

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 [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?
>

its amusing to note that i find the first quote (2nd thesis on
feuerbach) impenetrable jargon, while the second (on godel's result) is
precise and clear to me. it all depends on your indoctrination, i guess ;-).

        --ravi