Technology, from a simple stick or flake of flint to a modern computer or a bio-engineered organism, is part of human culture. At first glance, it seems to be a very controlled part of our culture, but is it?
If it was possible to describe human culture completely in terms of a formal theory, the entirety of human technology would be completely covered by that formal theory. “Formal theory” is another term for an exact, complete description. But even if we restrict our attention to the limited area of culture called technology, a complete formal description is probably not possible.
The information content of a formal theory is finite. It can be described by a finite text with an exact meaning. If human culture was describable by a formal theory, the technology that humans can develop would therefore be limited by the content of that theory. Technological progress would not be…
View original post 361 more words