COG250Y1 Lecture Notes - Lecture 12: Marsupial, Microworlds, Shrdlu
Document Summary
As long as the system can reliably identify move the tokens, then the medium is irrelevant. Mr is important because it means there are two formal levels of discourse: software and hardware. Recall that we want positive and reliable read-write cycles . write: means to identify type of token. Specify range in which variation is irrelevant, or unimportant. For example: take a rembrandt painting slowly losing them, since there is no reliable way to digitalize them. When we reproduce them, they are considered frauds, (cid:498)fakes(cid:499). In contrast, a shakespeare poem will be preserved forever, as it can be reliably digitalized. The next important part of a formal system. This aspect is to make sure that whatever machine we create will satisfy the ni. This brings up the issue of following rules. Just being able to describe a system mathematically, doesn(cid:495)t mean it(cid:495)s following the rules of math (has to do with the normativity issue that descartes brought up).