"decidability" Deutsche bedeutung