Measuring the intelligence of an idealized mechanical knowing agent [pdf]

semitrivial.github.io