Re: оффтоп по математике
Проблема не в "формальности" учебников, а в том,
что научить понимать корректность _своего_ доказательства
можно только методом проб и ошибок, при наличии проверяющего
с навыками. Также невозможно научиться играть в шахматы
по книжкам и играя с самим собой, и программировать
(поскольку навык написания внятного другим и себе кода
тоже не обретается в одно рыло).