Understanding the Halting Problem
Beweis, dass Computer nicht alles können (Das Halteproblem)
Das Halteproblem ist unentscheidbar
Impossible Programs (The Halting Problem)
Math's Existential Crisis (Gödel's Incompleteness Theorems)
Sci-Hub | Beyond Kant and Bentham: How Ethical Theories are being used in Artificial Moral Agents. Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems | 10.1145/3411764.3445102