«Задача». Слово короткое, знакомое, обманчиво простое. Мы ставим перед собой задачи на день, на год, на всю жизнь. От «купить молока» до «постичь тайны Вселенной» — мы живём в мире, определяемом этими ментальными конструктами. Но что, собственно, представляет собой «задача»? И почему, как ни странно, этот, казалось бы, элементарный концепт, становится источником стольких недоразумений и лингвистических коллизий? Представим себе среднестатистического носителя языка. Он без труда отличает задачу от, скажем, пожелания или мечты...
Обычно именно с этой темы я начинаю первое занятие по геометрии. Удивительно, что раньше без этого можно было обойтись, но в последнее время возникла потребность вносить ясность в этот вопрос.
Если говорить коротко, то теорема это верное логическое следование (импликация)...