COGS 100 Lecture Notes - Lecture 12: Arbitrariness, Problem Solving, Microorganism
Document Summary
Properties of the formal system: the system is self-contained. Setting does not influence, independent: states are perfectly definite, states are finitely checkable, these properties (cid:373)ake the syste(cid:373) (cid:862)digital(cid:863, e. g game with red balls to jump over each other to eliminate. What particular moves you did (legal moves) In reality, the two different games have the same tiles and rules but different form: formally the same system, rules and transitions simply needed to be the same. Even though the hardware may be made of different things, the software part is identical. Mind is quest for getting rules and transitions right: moving from one spot to another. Same game, same rules, played the same appearance of game does not matter. Intermediate states: operators: permissible moves btwn states. E. g tower of hanoi: moving rings btwn three pegs, bigger rings must not be above smaller ones, solution = shortest path. Map strategy in head then complete it in action.