Цитата:
|
Сообщение от zuber
На сколько я помню, здесь не сильно упирают на то, кто доказал данную теорему. Даже доказывать особо не пытаются. Дают законченный результат.
|
Ну вот собственно и ответ на твой вопрос.
Дается представление и о том, что доказано и о том, как теоремы называются (они далеко не всегда называются именами тех, кто их доказал, пример тому известная теорема Стокса, о которой Стокс был ни сном ни духом), когда доказаны, как связаны с другими разделами..
И самое главное - доказательство наизусть, прививается умение выводить из теоремы следствия и получать нужные модификации доказательства, определять существенность для доказательства начальных условий..
Если ты считаешь, что для программирования это совершенно не важно, то я готов постепенно доказывать тебе обратное. |
