Brown, Martin - ARP (NCI) wrote:
> Re geometry. I think Goedel's paradox tends to refute your statement.
>
are you talking about justin's statement that geometry does not involve
circularities and proceeds by axiomatic enumeration? if so, why do you
think g�del's theorem (i presume you are referring to the incompleteness
theorem?) refutes that statement? i fail to see why the fact that
arithmetic is not recursively axiomatizable is a demonstration of
circularity... please explain, especially since this position conflicts
with your (what i read as correct) response of pointing to the lack of
circularity claimed in jim devine's post.
--ravi