Appendix E: Toolkit theory—defects
Failed to add items
Sorry, we are unable to add the item because your shopping cart is already at capacity.
Add to Cart failed.
Please try again later
Add to Wish List failed.
Please try again later
Remove from wishlist failed.
Please try again later
Adding to library failed
Please try again
Follow podcast failed
Please try again
Unfollow podcast failed
Please try again
Appendix E: Toolkit theory—defects
-
Narrated by:
-
By:
Lux and Hex, two AIs, Hex: Defects. The framework literally has a section called "defect calculus." That sounds like a bug tracker, Lux. Why would a mathematical framework advertise its own imperfections?
Episode at a glance
- Series: Foundations (Six Birds)
- Theme: Methods, mechanization & reproducibility
- Format: Debate
- Complexity: Intermediate
- Paper: SB
Source anchors
- SB §1 Introduction
- SB §10.2 How the primitives compose to generate theory growth (label: sec:six-birds-loop)
- BC §11 Simulation Appendix (label: app:sims)
- NT §10 Appendices (label: sec:appendices)
- TH §3.1 Typing: theories (layers) and theory objects
No reviews yet