Использование программы для доказательства теоремы о четырех красках не изменит математики. Оно просто покажет, что задача, которая оставалась нерешенной в течении столетия, возможно, не так уж важна для математики.
Никто ведь не сомневается в точности результатов, получаемых при вычислениях с мнимыми количествами, хотя они представляют собой только алгебраические формы и иероглифы нелепых количеств.
Даже в математике она нужна, даже открытие дифференциального и интегрального исчислений невозможно было бы без фантазии. Фантазия есть качество величайшей ценности, но у тов. Ларина её маленький избыток.
Маркс не был хорошим математиком. Он все время путался в цифрах и формулах, его трудовая теория стоимости не слишком содержательна, но, в сущности, я интерпретирую Маркса, и Маркс интересен мне как классический экономист.
Для кубистов картина была плоскостью, заполненной некими формами. Для меня картина это плоскость, покрытая образами вещей, размещённых в определённом логическом порядке.
Математика может быть занимательной, математические фокусы — впечатляющими, отношения, в которые вступают между собой цифры — причудливыми. Числа не управляют миром, но показывают, как управляется мир.
«Никто не требует от вас выводить на экзамене всю аналитическую геометрию. Это было сделано до вас многими умными людьми. Некоторые вещи надо просто знать». (На сдаче, получив от студента неточный ответ.)
Давида Гильберта спросили об одном из его бывших учеников. «А, такой-то? — вспомнил Гильберт. — Он стал поэтом. Для математики у него было слишком мало воображения.»
Разница между формальной логикой и логикой музыкальной заключается в том, что формальная логика представляет собой замкнутую структуру на уровне каждого высказывания, а музыка цельна в своей логичности.
В математике ум исключительно занят собственными формами познавания — временем и пространством, следовательно, подобен кошке, играющей собственным хвостом.
Духовный свет в человеке есть свет его разума, предметы которого суть истины, располагаемые им в аналитическом порядке, на основании которых он рассуждает и выводит последовательные заключения. (HH 130)
Я вознамерился говорить о Физической, Метафизической, и Математической — о Вещественной и Духовной Вселенной: о ее Сущности, ее Происхождении, ее Сотворении, ее Настоящем Состоянии, и Участи ее.
…эти принципы суть положения условные; но они не произвольны, и если бы мы были перенесены в другой мир (я называю его неевклидовым миром и стараюсь изобразить его), то мы остановились бы на других положениях.
Обучение детей программированию противоречит современной теории обучения. Разве интересно составлять планы, овладевать дисциплиной в организациии мышления, уделять внимание деталям и учиться быть самокритичным?
В планиметрии рассматривают: прямоугольные, равнобедренные и равносторонние треугольники – они немного особенные и свойств у них много, которые надо знать.
Впрочем, там не было написано, что расширенная программа включает в себя не только алгебру и геометрию, ещё и теорию множеств, Бойлеву алгебру и около трети университетского курса планиметрии.
С этой аксиомой прочно связана теорема о том, что сумма трёх углов треугольника = 180°, именно на ней основана практически вся обычная планиметрия и стереометрия, а значит, и наше обычное представление о пространстве в целом.