2 ms·
We haven't even solved the problem of ensuring that implementations match requirements, or even that requirements are non-conflicting, for purely logical system
by colanderman 8y ago
We haven't even solved the problem of ensuring that implementations match requirements, or even that requirements are non-conflicting, for purely logical systems such as software. How would you propose to do so for the tax code, beside drastically simplifying it?
- paulddraper 8y agoSo if it can't be perfectly exact, we better not even try? Tax codes (or other laws) don't need to be executed by a computer. They need to be executed by an accountant/auditor/judge. So you can rely on well-defined but still human concepts like "security", "place of residence", "child care", "employment", "property improvement", "dependent", "exchange of goods", etc. Just because it can't be fully specified in x86 doesn't having a clearly defined tax code is an absurd idea.