Nachweis der Irreversibilität der 50-Zug-Regel

Ich habe kürzlich den Wikipedia-Artikel 50 Move Rule wie folgt bearbeitet :

Der Grund für diese Regel ist, dass Bauernbewegungen und Eroberungen die einzigen irreversiblen Bewegungsarten sind. Das heißt, nach jedem Bauernzug ​​oder jeder Eroberung kann keine vorherige Position im Spiel wiederholt werden.

Leider wurde meine Bearbeitung mit dem Kommentar schnell entfernt: This is unreferenced. Come up with a reference if you can.

Ich denke, das ist ziemlich klar, wenn man nur darüber nachdenkt, aber gibt es irgendwo einen "formalen Beweis", dass das, was ich versucht habe, dem Artikel hinzuzufügen, wahr ist?

EDIT: Die Wörter "der einzige" sollten gelöscht werden. Zusätzlich zu Eroberungen und Bauernbewegungen besteht der Verlust des Rechts auf Burg auf einer oder beiden Seiten (durch Bewegen eines Turmes oder Königs) oder das Versäumnis, einen bestimmten Bauern "en passant" zu erobern (wodurch das Recht darauf später aufgegeben wird) auch irreversibel. Diese sollten logischerweise auch die Anzahl der 50 Züge zurücksetzen, werden jedoch aus Gründen der Einfachheit in den Regeln weggelassen.

Die beiden irreversiblen Züge können wie folgt irreversibel nachgewiesen werden (es ist unmöglich, diesen Brettstatus später im Spiel zu replizieren).

Annahmen: - Bauern können sich nicht rückwärts bewegen. - Jeder Bauernzug ​​bewegt ihn vorwärts. - Teile können nicht zum Brett hinzugefügt werden. - Es gibt keine Möglichkeit, einen Bauern zu erstellen (im Gegensatz zu Königinnen, Bischöfen, Rittern und Türmen, die durch Bauernförderung erstellt werden können).

Erstens können Captures als irreversibel erwiesen werden, da sie immer ein Stück vom Brett entfernen. Wenn ein Board-Status N Teile hat und einer entfernt wird, haben Sie jetzt N-1 Teile. Es gibt keine Möglichkeit, die Anzahl der Teile zu erhöhen, sodass Sie niemals zu N Teilen zurückkehren können.

Zweitens kann ein Bauer niemals in seine ursprüngliche Position zurückkehren, da jeder Bauernzug ​​ihn vorwärts bewegt. Die einzige Möglichkeit, einen Bauern später in dieser Position zu haben, besteht darin, ihn von einem anderen Bauern besetzen zu lassen. Aber damit ein anderer Bauer die Position einnimmt , muss sich der Bauer bewegen. Es gibt nur eine begrenzte Anzahl von Bauern. Nachdem sich jeder Bauer bewegt hat, um die Position des vorherigen Bauern zu besetzen, sind keine Bauern mehr übrig, um die Position des letzten Bauern zu besetzen, wodurch verhindert wird, dass der Brettstatus wieder erreicht wird.

Der einzige „formale Beweis“, den Sie benötigen, ist ein Verweis auf das Regelwerk des zuständigen Leitungsorgans. In den USA könnte dies die USCF sein. Für internationale Veranstaltungen wäre es FIDE.

Wer auch immer den Grund für das Entfernen Ihrer Bearbeitung angegeben hat, war freundlich. Ihre angebliche Begründung für die Regel ist nicht korrekt. Die 50-Move-Regel und die 3-fache Wiederholungsregel dienen dazu, kurze Spiele zu schneiden, die nirgendwo hin führen.

Wenn es Fänge oder Bauernzüge gibt, ändert sich die Art der Position und es besteht die Möglichkeit, dass die eine oder andere Seite über diese Züge gewinnt oder verliert. In blockierten Positionen, in denen solche Bewegungen entweder für beide Seiten unmöglich oder selbstmörderisch sind, macht es keinen Sinn, einfach weiter Holz zu schieben. Irreversibilität hat überhaupt nichts damit zu tun.