##  [Satz von Rice](/de/node/58846) 

  ##  [Satz von Rice](https://natural.quantumdictionary.io/de/node/58847) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Ein Satz der Berechenbarkeitstheorie, der besagt, dass jede nichttriviale semantische Eigenschaft der von einer Turing-Maschine erkannten Sprache unentscheidbar ist: Es gibt keinen Algorithmus, der für eine beliebige Turing-Maschine entscheidet, ob die von ihr akzeptierte Sprache diese Eigenschaft hat, sofern die Eigenschaft nur von der Sprache abhängt und nicht trivial ist.