8,928 followers
@drmichaellevin @DoctorJosh @ricard_sole @philipcball This paper covers some of the debate about the non-reducibility and non-computability of systems that are impredicative (e.g. M,R systems). The machine metaphor is powerful. We may well "build" or evolv