abel & zbel RSS

a tumble log

Archive

Apr
28th
Sat
permalink

nerd as evolutionary program in the derivation of logical formal systems

Word: formal system. Derivation: rules in logic applied.






Man’s World is: puzzle stated in such a way as to encourage exploration within a system— deriving theorems.
But it is also stated in such a way as not to imply that working inside the system will necessarily yield fruit. Therefore it encourages oscillation between two modes of work, inside and outside.





For example: I enter the number 1 into a calculator, and then add 1 to it.




I do it again. I do it again. I do it again. I do it again … and so on.




Eventually the calculator is registering a very high number, but it will never anticipate any further sum and will never formulate a pattern and perform a sum operation for me.




If I gave this operation to a girlfriend, after four or five operations she would ask why I was doing this to her, perhaps increment our number before I asked it … and so on. The first axiom and the rules would be blindingly obvious to her after very few derivations.





Obviously, with such a simple experiment, it is possible to design software which could notice my pattern. But, less obviously, it is probably not possible to find a human being which would never look outside the system [add 1, add 1] and never notice my pattern






[Days of Being Wild, Casablanca, Vertigo, The African Queen, Offret …] a certain man/woman trope represents the capacity of man to work as a machine and in a spiritual capacity very well. End, end, end. Go, go, go. Examples, procedures, decisions, I-modes, this paper itself willfully recursive; matter of shrinking the size of very complicated operational strings of endless variety into oreo cookies. Art has so much to pay back to math, and plenty of ground left to tread on. I’ll have a snack instead.