It's Not About Scale, It's About Abstraction
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