Orcmid's Lair |
||||
|
2004-05-04css Zen Garden: The Beauty in CSS Design. I was telling myself that it is time to look into CSS and XHTML. This site suggests some amazing possibilities of that approach. I particularly like the home page and Wiggles the Wonderworm. [later: It strikes me that this example of brilliant software has much to offer in looking for the mathematical rigor in programming. How is it to be found here? What theory accounts for these results and ones not created yet?] [later: 2004-05-10] I am also thinking that this is a demonstration of how much of what we experience in software is emergent in situated usage and is not apparent in the design of the software, and certainly not in the implementation. It is valuable to notice that formal understanding is at a reductionary level neare the implementation and the emergent behavior arrives through empirical trial-and-error and heuristic adjustment that is not evident as such in the formalization. This is an important feature of engineered artifacts and it is not clear to me how this is accounted for in any rigorous way in treatment of the relationship among logic, language, computation, and mathematics.
Comments:
Post a Comment
|