Ich versuche mir die Berechenbarkeitstheorie mit einem Lehrbuch beizubringen. Nach meinem Buch ist eine Funktion über einem Alphabet ist nur in der Sprache berechenbarA = { a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s , t , u , v , w , x , y , z }
ist entscheidbar. Warum ist das so? Könnte eine Funktion nicht berechenbar sein, selbst wenn entscheidbar ist?
quelle