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