Post #3684698

@tuomov@mastodon.social @emilymbender@dair-community.social As it happens, I can actually do AGI... you just have to express everything as an implicit Henkin-form sentence and everything is magically (tho we don't like to use that word) true. It also has the same problems that IFS-based compression has.