Со дня окончания Второй мировой войны прошло 80 лет. Одним из самых известных символов этого поворотного момента в истории считают знак «V», который ещё называют знаком Черчилля — это символ Дня Победы. Откуда же он взялся, что на самом деле означает и почему ассоциируется именно с Черчиллем? День Победы — это знаковый день в мировой истории, когда нацистская Германия сдалась союзникам во Второй мировой войне. Одним из самых известных изображений, которое символизирует его для многих людей, является знак «V» Уинстона Черчилля...

Простой символ, который мы знали всегда, может быть в корне ошибочным. Математики иногда играют быстро и свободно с понятием равенства. В программировании знаки равенства могут означать разные вещи, а переменные имеют разные типы. Превращение интуитивного математического опыта в пошаговые закодированные доказательства требует заполнения некоторых «дыр». В новом препринте, который не рецензируется и представляет собой скорее редакционную статью или набор наблюдений, чем теорию или исследование,...