Der Satz von Rice und die Reduktionsmethode

Trivialität 
Satz von Rice 
Eigenschaften der Reduktion