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