> Actually I tend to think that Godel's and other incompleteness
> result makes comp a sort of vaccine against reductionist view of
> self and reality (and arithmetic).
Agreed. Godel, (as interpreted by Chaitin), precludes a "purely"
reductionist view of both, IMHO. Given Reductionism as:
"Belief that statements or expressions of one sort can be replaced
systematically by statements or expressions of a simpler or more certain
kind. Thus, for example, some philosophers have held that arithmetic can be
reduced to logic, that the mental can be reduced to the physical, or that
the life sciences can be reduced to the physical sciences."
Self and reality are "incompressible" and thus irreducible into concise
physical laws or mathematical axioms.