О соотношении формальных и эвристических компонентов в решении задач