Idee:Satz vom Reis: Unterschied zwischen den Versionen
J* (Diskussion | Beiträge) (AZ: Die Seite wurde neu angelegt.) |
J* (Diskussion | Beiträge) K (J* verschob die Seite Kamel:Idee:Satz vom Reis nach Idee:Satz vom Reis: J* ist zu doof) |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
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. | 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. | + | 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 [[:wiki:de:Injektivität|mehr]], [[:wiki:de:Surjektivität|weniger]], oder gleich viel Inhalt rauskommt, wie beim Befüllen reingetan wurde. Auch ob die Reiskörner ihre Reihenfolge [[:wiki:de:Monotonie (Mathematik)|beibehalten]], lässt sich nicht sagen. |
==Beweis== | ==Beweis== | ||
| Zeile 7: | Zeile 7: | ||
(… [[Fnord]]setzung folgt …) | (… [[Fnord]]setzung folgt …) | ||
| + | [[wiki:de:Satz von Rice]] | ||
Aktuelle Version vom 9. Januar 2015, 00: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