Использование программы для доказательства теоремы о четырех красках не изменит математики. Оно просто покажет, что задача, которая оставалась нерешенной в течении столетия, возможно, не так уж важна для математики.
Не следует устраивать волокит с судебными разбирательствами. Это революция, доказательства тут вторичны. Мы должны действовать по убеждению. Они все — банда преступников и убийц.
Чтобы понять процесс, нужно иметь теорию. …если вы действительно хотите разбираться в эмпирической науке, то у вас должны быть факты. И проблема в том, как организовать эти факты. Теория, в сущности, и «организует» факты.
Факт, что игрок находился в цейтноте, по моему, столь же малоизвинителен, как, к примеру, заявление преступника, что во время совершения преступления он был пьян.
Если символ должен быть обнаружен в моей живописи, это не было моё намерение. Это результат, который я не искал. Это кое-что, что может быть найдено впоследствии, и который может интерпретироваться согласно вкусу.
«В математическом анализе всё должно быть точно. Какой смысл в неточном утверждении? Вот у Вас есть номер телефона. Какой в нём смысл, если Вы знаете его неточно?» (На сдаче, получив от студента неточный ответ.)
Не хотел бы давать оценку значимости архива о. Всеволода, ни, тем более, самой личности моего отца. Это лучше меня сделают другие. Но уверенно скажу: этот архив — часть отечественной культуры XX века.
«Никто не требует от вас выводить на экзамене всю аналитическую геометрию. Это было сделано до вас многими умными людьми. Некоторые вещи надо просто знать». (На сдаче, получив от студента неточный ответ.)
И технический термин для обозначения того, кто берется разрабатывать дизайн пользовательского интерфейса, не понимая вышеозначенного факта, — «Е... ИДИОТ».
Я пришел к заключению, что дарвинизм — это не проверяемая научная теория, а метафизическая исследовательская программа — возможный концептуальный каркас для проверяемых научных теорий.
«То, что мы пока не можем телеграфировать схему человека из одного места в другое, связано, в основном, с техническими трудностями…» (Человеческое использование человеческих существ: Кибернетика и общество)
Мне кажется, что логика учит нас познавать, правильно ли сделаны выводы из готовых уже рассуждений и доказательств; но чтобы она могла научить нас находить и строить такие рассуждения и доказательства — этому я не верю.