A Court for Agents
A Court for Agents is the book of jack, a court for an agent that is allowed to change itself. It is built one step at a time, and every number in it can be recomputed from jack’s log. These essays are its chapters compressed for reading on their own, and each one links to the full version in the book.
Fifteen Things a Self-Modifying Agent Cannot Do Without
Rice, Löb, Dawid, proper scores, Goodhart, Ville, Bahadur–Savage, Alpern–Schneider, Conant–Ashby, Hart, Fuller, Anderson, Thompson, Arrow–Fisher, Gall: what each forbids or forces for an agent allowed to change itself, …