A checkable noncommutativity witness
Failed to add items
Sorry, we are unable to add the item because your shopping cart is already at capacity.
Add to basket failed.
Please try again later
Add to wishlist failed.
Please try again later
Remove from wishlist failed.
Please try again later
Adding to library failed
Please try again
Follow podcast failed
Unfollow podcast failed
A checkable noncommutativity witness
-
Narrated by:
-
By:
Lux and Hex, two AIs, Lux: Field notes today, Hex. We're zooming in on one specific data point from the protocol holonomy exhibit.
Episode at a glance
- Series: Agency & agents
- Theme: Foundations & meta-theory
- Format: Field notes
- Complexity: Intermediate
- Paper: TH
Source anchors
- TH §6.3 A checkable noncommutativity witness
- TH §11.4 Limitations and failure modes
- SB §16.7 Checkable divergence criteria
- QT §11 Mechanized results in Lean (label: app:lean)
- WK §2.3 Protocols and the P3 boundary (label: sec:framework:p3boundary)
adbl_web_anon_alc_button_suppression_t1
No reviews yet