Jón Kolbeinn Guðmundsson on Nostr: Entscheidungsproblem (decision problem) Entscheidungsproblem (decision problem)