logoalt Hacker News

eru • today at 8:30 AM • 1 reply • view on HN

Why? It's just a model.

And exact arithmetic on Q + i*Q (complex numbers but the coordinates are rational numbers, not real numbers) is perfectly feasible.

Of course, in a real computer, long rational numbers take longer to manipulate than short rational numbers. But it's just a model. Similar to how we often assume we can handle arbitrary integers in unit time, but in reality longer integers also take longer to handle on a real computer (or we just refuse to handle them and stick to u64 only.)


Replies

cubefox • today at 8:47 AM

> Turing machines are the wrong model.

> Why? It's just a model.

Either a model can be wrong or it is just a model. If it's the former, it matters whether Turing machines are less wrong than exact complex arithmetic machines.