К предыдущей записи про доказательства (
https://a-konst.livejournal.com/233033.html), дополнение.
Не надо думать, будто я полагаю все эти логические схемы, правила вывода, - бесполезными в математике.
Они очень полезны и важны, чрезвычайно! Но в основном уже тем, у кого развито свое чутье на "правильное доказательство".
Эти все "формальности" очень помогают оформить свою мысль так, чтобы ее поняли другие.
Тут есть шикарная аналогия с музыкой. Никакая нотная грамотность, теория музыки, знание правил гармонии сами по себе, изученные "на бумаге", в принципе не способны развить музыкальные способности, и если человек "не слышит" мелодию и ритм - то это все будет бесполезно.
Но тем, у кого есть музыкальный слух, это все очень-очень полезно и важно. Они могут за нотами видеть и слышать мелодию. В математике аналогично.