Hacker News new | past | comments | ask | show | jobs | submit login

That's a tautology, you can similarly say "imagine a world where mathematics isn't tied to the real or fictional existence, in this world mathematics isn't tied to the real or fictional existence".

>And on the second point, by assuming 0/0=1, either you have left the realm of natural numbers (or real numbers), or you have to break the distributive law of addition, or all the symbols mean completely different things.

I didn't do such things.

> Otherwise, you are essentially declaring both 1!=2 and 1=2, which is not math.

It's derived from initial assumptions, which is how all math works.




1. I would object to the “similarly”, because they are not similar types of statements. And yes, the tautology aspect is the whole point of the axiomatic method (which has limitations that cannot be directly blamed on that premise).

2. You didn’t do the first two. But the symbols now mean different things than their conventional interpretations in number theory.

3. > It's derived from initial assumptions, which is how all math works

It’s exactly how _logic_ works, and is how all math works, but that would only qualify it as (il)logic, and not inherently math. Necessary but not sufficient condition.

(Sorry ;)


You were off with your first assumption that 0/0 = 1. In fact, you proved that it isn't.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: