3 ms·
The "ethicality" of any given program is a non-trivial semantic property. It follows that any software engineering "Hippocratic Oath" is an undecidable concept.
by shiado 6y ago
The "ethicality" of any given program is a non-trivial semantic property. It follows that any software engineering "Hippocratic Oath" is an undecidable concept.