What are the differences between invention and discovery? Ever since my post Propositions as Types I’ve been trying to determine what they are. Some say that mathematics and logic are completely human inventions and they have no correspondence to the natural world. Others say that mathematics already exists in some “Platonic” realm just waiting for our discovery. Similar to convergent evolution, the parallel invention or discovery of similar notions in mathematics lends credence to the idea that there is something “out there” just waiting for us to find it, although one could also argue that it’s merely the cultural climate along with some innate functioning of the brain. For example there is the parallel development of calculus by Newton and Leibniz. The notion of effective computability in the “Propositions as Types” paradigm also has several concurrent developments.
Modern science is based on mathematics so as one goes so goes the other. Physicist Eugene Wigner wrote a famous article on the “Unreasonable effectiveness of mathematics in the natural sciences” which has inspired a host of similarly titled articles about the “unreasonable effectiveness” of one thing for another. But the key point is that we really don’t understand the origins of mathematical thinking, or why it is so useful in helping us understand the natural world. Its value and utility seems, in fact, unreasonable.
But let’s return to the differences between invention and discovery. If something is invented, it means that it is new, freshly created. If something is discovered, it means that it already exists and it’s just waiting for us to find it. Thus the difference is between the natural and artificial, or between what exists and what didn’t exist before humans created it. Some believe the natural world itself is socially constructed, so in some sense it didn’t exist before humans saw it, or will disappear when humans stop perceiving it. This is about is arrogant as believing that the world didn’t exist before a person was born or after they die; a solipsistic view if ever there was one.
Once something is discovered, one can learn about it. Once something is invented, one can make it. Thus learning and making are tied to discovering and inventing, respectively. Inventing and discovering are required for making and learning. Of course one can also learn about an invention or how something is made, or one can learn facts about a discovery.
This fourfold of inventing, discovering, learning, and making is also related to other fourfolds. The Four Hats of Creativity seem to utilize each of these special actions for each livelihood: inventing (or creating) for the artist, discovery for the scientist, and making for the engineer (but less well learning for the designer). In addition, the Psychological Types of Jung appear to emphasize a type for each special action: intuition for invention, sensation for discovering, and cognition for learning (but less clear emotion for making).
Please compare this with a related analysis on the methods of active learning at the Tetrast (link below), where the key faculties are struggle for invention, practice for discovery, value for making, and discipline for learning.