logoalt Hacker News

ttoinouyesterday at 7:54 PM1 replyview on HN

i is not a real number, is not an integer, is not a rational etc.

You need a base to define complex numbers, in that new space i=0+1*i and you could call that a complex number

0 and 1 help define integers, without {Empty, Something} (or empty, set of the empty, or whatever else base axioms you are using) there is no integers


Replies

chongliyesterday at 8:23 PM

The simple fact you wanted to write this:

i=0+1*i

Makes i a number. Since * is a binary operator in your space, i needs to be a number for 1*i to make any sense.

Similarly, if = is to be a binary relation in your space, i needs to be a number for i={anything} to make sense.

Comparing i with a unary operator like - shows the difference:

i*i=-1 makes perfect sense

-*-=???? does not make sense

show 1 reply