Methodology to Define Software in a Deterministic Manner
Fumio Negoro · 2001
Our intelligence (science or a thoughts) is established on a basis of what is memorized. Since memory is always ambiguous, intelligence can be established only ambiguously. The reason why memory is ambiguous is that the way memory is formed is ambiguous. In our methodology, we consider that the cause of formation of memory is Intention and try to explore the structure of Intention. By doing this, we can get around the ambiguity. For this purpose, we have made hypothesis and made it into an axiomatic system and deduced this methodology for software development from the axioms.