EEnumerability, Decidability, ComputabilityEnumerability, Decidability, Computabilityde Hans Hermes, Gabor T. Herman, O. PlassmannMateriasRecursive functionsAlgorithmsComputable functionsGoedel's theorem