alt Hacker Newsthat result does not apply for EML: EML doesn't have the | . | absolute value function, a prerequisite for Richardson's theorem.
that result does not apply for EML: EML doesn't have the | . | absolute value function, a prerequisite for Richardson's theorem.
If I understand the page correctly, the extension by Miklós Laczkovich should be enough to show that it's undecidable.