Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit