Idee:Satz vom Reis
Version vom 9. Mai 2012, 13:41 Uhr von J* (Diskussion | Beiträge) (AZ: Die Seite wurde neu angelegt.)
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.
Beweis
Der Satz vom Reis lässt sich durch eine Reduktion des Sackumfallproblems mit nur 90 % Gehirnverknotung beweisen.
(… Fnordsetzung folgt …)