#студенческое #математика #нытья_псто

Я уже привыкла к доказательствам. К большим доказательствам, к очень большим доказательствам, к доказательствам которые ещё и даже уже вряд ли будут по моим мозгам(из топологии особенно, как вспомню сферу Александрова, представлю, что на итоговом экзамене мне попадётся именно она, так страшно становится). Даже к нескольким вариантам доказательства одного и того же. Математика наука динамическая, тут всё постоянно меняется, модернизируется, упрощается, видоизменяется, эквивалируется и прочее. Но самое страшное в любом доказательстве - слово очевидно. Вроде когда пытаешься понять - ну да, на самом деле же очевидно. Но как бы не так.
Был у нас один предмет, для студентов тяжелоподъёмный, где нам давались подробно доказательства всех теорем, лемм, предложений и следствий, но с этими грёбанными очевидно. Так вот на экзамене все эти "очевидно" нужно было раскрыть: восстановить цепочку рассуждений, произвести какие-то выкладки, описать вспомогательные леммы и теоремы, которые бы привели в итоге к этому очевидному результату...

В такой ситуации мне всегда вспоминается Никола Бурбаки и их описание единицы на несколько миллионов символов (т.е чтобы описать что такое "1" в математике им потребовалось несколько миллионов символов, которые лежали в основе используемой ими аксиоматической теории)!

Это всё к чему? Я решаю задачу, уже третий день, как сказал преподаватель - задача "чуть" сложнее обычной типовой учебной, которые были на практике. Уже угроблен на это десяток листов А4, хотя думаю, это не предел. Мне очевидно (!), что УМО от получившегося у меня многочасовым трудом процесса и его мартингал-разности - ноль, но как это доказать - я в затруднении. Пресвятой Зелибоба, дай мне сил, одолеть эту страшную задачу! Я вычислитель, со случайными процессами у меня туго, но хоть за дискретное время спасибо, этот процесс можно на бумажке в виде древовидной структуры представить. Ещё пара капель отчаяния и можно будет изображать картину: дерево нормального человека а там раскидистый дуб, и дерево математика, а там бинарное деревце...