Re: Han's startling new set theory.

Androcles wrote:
> <cbrown@xxxxxxxxxxxxxxxxx> wrote in message
> news:1125343607.747013.315680@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> | Han de Bruijn wrote:
> | > cbrown@xxxxxxxxxxxxxxxxx wrote:
> | >
> | > > Don't you know what a deduction is?
> | >
> | > A deduction is something that makes you worry about the axioms. :-(
> | >
> |
> | Isn't it an additional axiom (assumption) that a computer actually
> | carries out the axioms of arithmetic? That's what would worry me
> first.
> |
> | Cheers - Chas
>
> A computer "adds" by reading the output of a XOR gate and carries
> the bit with an AND gate.

So if it comes up with two naturals, p and q, such that 2*p^2 = q^2,
what's your first assumption - that mathematics is inconsistent, or
that the computer has failed to carry out the mathematics correctly?

Cheers - Chas

.

Relevant Pages