At 20:08 07/12/04 -0500, Hal Ruhl wrote:
I believe we discussed this and you agreed that a complete arithmetic
would be inconsistent. I have not found the applicable posts.
If by arithmetic you mean an axiomatizable theory, then indeed, by
incompleteness it follows that such an arithmetic, if
At 16:29 08/12/04 +0100, I wrote:
Before axiomatic set theories like
Zermelo-Fraenkel, ... Cantor called the collection of all
sets the Inconsistent. But this does make sense for
me. Only a theory, or a machine, or a person can be inconsistent, not
a set, or a realm, or a model.
Read instead: But
2 matches
Mail list logo