An open-source research programme on structural incompleteness in domains organized around a minimal generative operation. CC-BY-4.0. Validation, corrections, and Lean formalization welcome.
Wolfram Language Updated about 1 month ago 1 commits 1 stars
prism-dev|Mirror: thefalsework/papers (⭐1)
about 1 month agoAbout
An open-source research programme on structural incompleteness in domains organized around a minimal generative operation. CC-BY-4.0. Validation, corrections, and Lean formalization welcome.
Readme
1 stars