A formal approach to problem solving, and more specifically to scientific problem solving

Start - End 
2005 - 2009 (completed)

Tabgroup

Abstract

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 then be extended by means to introduce 'new premises'.

People

Supervisor(s)

Researcher(s)