Manuscript XV-A@1 · XV-A.tex · section · f53f3515
Invalid shortcuts and their exact logical boundaries
Invalid shortcuts and their exact logical boundaries · lines 1446–1451
This proposition does not authorize a particular alternative composition. It explains why an unresolved product gate is neither automatically constructed nor automatically obstructed.
Nearby in this section
- proposition: Proposition: Failure of a sufficient product test
- proposition: Proposition: Collision contacts cannot alter a separated germ
- section: Invalid shortcuts and their exact logical boundaries
- proposition: Proposition: Action symmetry does not establish observable closure
- section: Invalid shortcuts and their exact logical boundaries