SELF IMPROVEMENT PROCESS TURNS OUT TO INVOLVE SOME OPEN PROBLEMS IN LOGIC AND IN DECISION THEORY