Project: A formal Approach to problem solving, and more specificially to scientific problem solving.
- project duration
- 01-JAN-05 – 31-DEC-08
- The aim of this project is to elaborate a formal approach to problem solving. We shall elaborate a formally characterized kind of sequences of problems (in the narrow sense of sets of questions) and declarative statements. The construction of the sequence will be governed by a procedure which depends on the logical context of the problem. The resulting format, which somewhat resembles that of proofs, will be extended by means to introduce 'new premises'.