雙語暢銷書《艾倫圖靈傳》第5章:解謎接力賽(49)
In this case either the plugboard hypothesis would Also be correct, and would lead to no contradictions;
or would be incorrect and lead to every plugboard statement except the correct one.
如果它是錯誤的，就會推導出除了正確的之外的每一種情況。This meant that the Bombe was to stop when the electric current had reached either only one, or just twenty-five, of twenty-six terminals.
只需要抓住一種假設，當電流有1個終點或25個終點時，讓炸彈機停止。
It was this rather complicated condition that the relay switches had to test.
也就是說，不需要逐個試驗26種配線板假設。This was not at all an obvious point, but seeing it made the process twenty-six times faster.
這不是一項本質的改進，但這使速度提高到了26倍。Alan would comment on the likeness to mathematical logic, in which a single contradiction would imply any proposition.
對艾倫來說，這就像數學邏輯中，一個矛盾可以推出所有的命題。Wittgenstein, discussing this point, had said that contradictions never got anyone into trouble.
討論到這一點，維特根斯坦說，矛盾不會帶來麻煩，But these contradictions would make something go very wrong for Germany, and lead to bridges falling down.
但現在正是這些矛盾，給德國帶來了麻煩。Thus the logical principle of the Bombe was the wonderfully simple one of following the proliferation of implications to the bitter end.
因此，炸彈機的邏輯原理是驚人的簡單，就是追隨線索的增長。
