Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1

Conclusion

Non-identifications and separate successor obligations › Conclusion · lines 2504–2524

Back to manuscript

The closed result is

The finite theorem adds a representation promise and a reversible classical realization. It does not silently replace that promise by expectation measurement.

Displayed formulas in this passage

  • unlabeled · line 2507