Современные школьные программы вызывают проблемы не только у детей, но порой и у их родителей. Постоянные изменения и «усовершенствования», введение новых обязательных предметов на внешнем тестировании в 11 классе — все это заставляет ребенка с первых классов школы учиться максимально сосредоточенно...

Фото Фреге хотел дать математике чисто логические основы, усилие, которое стало известно, как логическая программа. Он намеревался вывести все истины арифметики из чисто логических принципов (аксиом), используя только логические правила. Для этого, однако, Фреге пришлось «математизировать» логику, чтобы сделать ее пригодной для логической программы, дабы функционировать как основной концептуальный строительный блок его системы. Явно вдохновленный традицией искусственных языков 17-го века (в частности,...