Idee:Satz vom Reis: Unterschied zwischen den Versionen
J* (Diskussion | Beiträge) K (J* verschob die Seite Kamel:J*/Satz vom Reis nach Kamel:Idee:Satz vom Reis) |
J* (Diskussion | Beiträge) K (J* verschob die Seite Kamel:Idee:Satz vom Reis nach Idee:Satz vom Reis: J* ist zu doof) |
(kein Unterschied)
| |
Aktuelle Version vom 8. Januar 2015, 23:38 Uhr
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[<small>bearbeiten</small>]
Der Satz vom Reis lässt sich durch eine Reduktion des Sackumfallproblems mit nur 90 % Gehirnverknotung beweisen.
(… Fnordsetzung folgt …) wiki:de:Satz von Rice