Re: Goedel's proof



On 28 Jan, 02:54, "Newberry" <newbe...@xxxxxxxxxx> wrote:

I am not convinced that it is a proof by the diagonal argument.

We certainly can give rather general/abstract characterizations in
terms of which Gödel's argument involves a diagonal construction. But
of course, it all depends exactly what you mean by a diagonal
argument: you give us a reasonably precise definition of what counts
as a diagonal argument and then we can see whether Gödel's original
proof counts as a diagonal argument in that sense!

.