Kamel:J*/Satz vom Reis

Der Satz vom Reis ist einer der großen Sätze der Wirtschaftsinformatik. Er besagt, dass im Allgemeinen nicht entschieden werden kann, ob ein Sack Reis einer EU-Norm genügt, oder nicht. Zwar gibt es einzelne Säcke, für nachgewiesen werden kann, dass sie mit einer bestimmten Norm konform sind, jedoch gilt dies nicht für jede Norm und jeden Sack.

Als Korollar ergibt sich, dass auch nicht entscheidbar ist, welchen Inhalt ein Sack hat, und somit erst recht nicht, ob zwei Säcke den gleichen Inhalt haben. Ebenso lässt sich nicht überprüfen, ob beim Leeren eines bestimmten Sacks mehr, weniger, oder gleich viel Inhalt rauskommt, wie beim Befüllen reingetan wurde. Auch ob die Reiskörner ihre Reihenfolge beibehalten, lässt sich nicht sagen.

Beweis
Der Satz vom Reis lässt sich durch eine Reduktion des Sackumfallproblems mit nur 90 % Gehirnverknotung beweisen.

(… Fnordsetzung folgt …) wiki:de:Satz von Rice