Математика как иностранный. B2-3. Формализм математики vs формализм компьютера.

Небольшое размышление на тему сходств и различий формализма математических теорий и языков програмимрования. Архетипическое сравнение. Книга на обложке: H. Schwichtenberg, S. Wainer. Proofs and Computations. Cambridge University Press. 2012.