COG250Y1 Lecture Notes - Lecture 1: Soyou, Formal System, Multiple Realizability
10 May 2016
School
Department
Course
Professor
Document Summary
Computation as absu act: formal system: manipulating tokens. rules, self-contained game:medium independence, formal equivalents, multiple realizability: Software( mind) vs hardware(brain: risks and advantage, requirements of formal systems: Today: two other characteristics of formal systems: formal system 1\as to be digital. Digital system is set of positive and reliable techniques for producing and re-identifying tokens, or configurations o f tokens from some pre specified set o f types. Positive technique is: doesn"t mean always success (e. g. golf). Reliable technique: high p robability of success {e. g. counting). E. g. "write {=it means to manipulate tokens)", "read"(=be able to re -identifying the tokens and determining its" type and positions. ) Write/read cycle: system manipulate the token in some way. and system can re -identify tile types and positions of tokens according to their type: digital system is w rite/read cycling technique tt\at is positive and reliable in its" nature. Formal systems can be self-contained. (eg. for painting, there is difference between original and reproduction.
