A quick comment, for the segment on tiling agents, on the MIRI site the recommended reading (not counting any MIRI papers) is ‘a mathematical introduction to logic’ by Enderton. But on this page, it instead recommends Chang and Keislers Model theory. Can this be taken to mean that both works are important recommended reading? Are they both of equal worth or should (or rather, could) one be prioritised over the other?
The one at intelligence.org is the master copy. (Chang and Keisler is useful, but unnecessarily brutal for our purposes; Enderton alone is sufficient.)
A quick comment, for the segment on tiling agents, on the MIRI site the recommended reading (not counting any MIRI papers) is ‘a mathematical introduction to logic’ by Enderton. But on this page, it instead recommends Chang and Keislers Model theory. Can this be taken to mean that both works are important recommended reading? Are they both of equal worth or should (or rather, could) one be prioritised over the other?
The one at intelligence.org is the master copy. (Chang and Keisler is useful, but unnecessarily brutal for our purposes; Enderton alone is sufficient.)