Re: My talk about Godel to the post-grads.

John Jones <jonescardiff@xxxxxxx> writes:

There's no problem here. It can all be clarified if we pay some
attention to the wording:
"In any consistent system which is strong enough to produce simple
arithmetic there are (Godellian) formula which cannot be
proved-in-the-system, but which we can see to be true."

So, we will take a grammatical/analytic look at it:

Instead, let's not. This quote from Lucas itself contains a simple
misconception. It is simply not the case that for any consistent
system satisfying the relevant criteria we can "see" the unprovable
formula furnished by the first incompleteness theorem to be true.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.