Еще раз поговорили об этом после того как я закончил чтение первой главый [A Programmer's Introduction to Mathematics][1].

Концептуально коснулись проблемы доказательства **существования** и **уникальности** в математическом анализе.

Компьютерная эра могла начаться на 50-70 лет раньше.

Этого не произошло из-за того, что для существующих научных открытий не смогли найти приложение в создании вычислительных машин.  

Бинарный оператор `xor` и его применение.

Боря порекомендовал также неплохой [YouTube-канал Eddie Woo][2] для тех, кто хочет вспомнить базовые концепции в математике.

[1]: https://pimbook.org/  

[2]: https://www.youtube.com/user/misterwootube