Использование программы для доказательства теоремы о четырех красках не изменит математики. Оно просто покажет, что задача, которая оставалась нерешенной в течении столетия, возможно, не так уж важна для математики.
Мне кажется, что логика учит нас познавать, правильно ли сделаны выводы из готовых уже рассуждений и доказательств; но чтобы она могла научить нас находить и строить такие рассуждения и доказательства — этому я не верю.
Давида Гильберта спросили об одном из его бывших учеников. «А, такой-то? — вспомнил Гильберт. — Он стал поэтом. Для математики у него было слишком мало воображения.»
Духовный свет в человеке есть свет его разума, предметы которого суть истины, располагаемые им в аналитическом порядке, на основании которых он рассуждает и выводит последовательные заключения. (HH 130)
Маркс не был хорошим математиком. Он все время путался в цифрах и формулах, его трудовая теория стоимости не слишком содержательна, но, в сущности, я интерпретирую Маркса, и Маркс интересен мне как классический экономист.
Разница между формальной логикой и логикой музыкальной заключается в том, что формальная логика представляет собой замкнутую структуру на уровне каждого высказывания, а музыка цельна в своей логичности.
«Никто не требует от вас выводить на экзамене всю аналитическую геометрию. Это было сделано до вас многими умными людьми. Некоторые вещи надо просто знать». (На сдаче, получив от студента неточный ответ.)
Вначале любая оригинальная теория признается абсурдной, потом — верной, потом — самоочевидной и незначительной, и, наконец, столь важной и самобытной, что бывшие критики присваивают ее себе.
Чтобы понять процесс, нужно иметь теорию. …если вы действительно хотите разбираться в эмпирической науке, то у вас должны быть факты. И проблема в том, как организовать эти факты. Теория, в сущности, и «организует» факты.
То, о чем я вам сейчас буду говорить - даже и не пытайтесь представить себе образно. Пожалуйста, развивайте в себе абстрактное логическое мышление. Иначе - попадете в "желтый дом".
«В математическом анализе всё должно быть точно. Какой смысл в неточном утверждении? Вот у Вас есть номер телефона. Какой в нём смысл, если Вы знаете его неточно?» (На сдаче, получив от студента неточный ответ.)
Сочетание некоторых данных и острого желания получить ответ не гарантирует того, что из заданного массива данных может быть получен какой-либо разумный ответ.
Даже в математике она нужна, даже открытие дифференциального и интегрального исчислений невозможно было бы без фантазии. Фантазия есть качество величайшей ценности, но у тов. Ларина её маленький избыток.
Если мы хотим идти вперед, то одна нога должна оставаться на месте, в то время как другая делает следующий шаг. Это - первый закон всякого прогресса, одинаково применимый как к целым народам, так и к отдельным людям.
Часто бывает, что, только подавив в себе вопрос «почему», мы обнаруживаем важные факты; которые затем, в ходе нашего исследования, ведут к ответу. (471)
Математики пренебрегли вызовом и предпочли бежать от природы путём изобретения всевозможных теорий, которые никак не объясняют того, что мы видим или ощущаем.
Корпус объёмом более 47 млн слов разных жанров второй половины XX – начала XXI века. Разметка содержит леммы и части речи.
Исходя из данного определения и исследованных выше свойств симметричных пар, сформулируем следующую лемму.
Оно включает в себя три определения, три леммы, несколько теорем (без доказательств) и наименования глав предполагаемого обширного труда по коническим сечениям.