Cтраница 2
Я имел уже случай упомянуть, что в школе приложение с самого начала сопровождает обучение арифметике, что ученик не только должен понимать правила, но должен также учиться делать из них то или иное употребление. Так оно нормально должно было оставаться и всюду, где идут занятия математикой. Чисто логические концепции должны составить, так сказать, жесткий скелет организма математики, сообщающий ей устойчивость и достоверность. [16]
Простота этого метода может вызвать иллюзию, что он легко и обязательно приводит к цели. Наибольшие трудности представляет правильный выбор независимых переменных. Поэтому явление должно быть возможно лучше изучено на основе уже имеющихся сведений. Настойчиво рекомендуется составить некую логическую концепцию механизма процесса, хотя бы совершенно сырую и приближенную. [17]
Уже проведены исследования по языкам, более приспособленным для программирования методов решения задач. В настоящее время Пролог является единственным хорошо известным языком обеспечения процедуры решения проблем. С учетом опыта сторонников применения логического программирования японские специалисты разработали новый язык ( он будет называться HIMIKO), который более адекватно отражает логические концепции. Первоначально обработка будет осуществляться на последовательной машине PSI - персональной последовательной машине вывода. На более поздних этапах развития проекта должна быть создана параллельная машина. [18]
Влияние Даламбера отчетливо проникает все сочинение; но Лобачевский идет дальше Даламбера, он гораздо глубже перестраивает геометрию, нежели это сделали Лежандр и Лакруа. Прежде всего влияние Даламбера сказывается на самом определении геометрии. В противоположность установке Евклида, он считал, что Геометрия есть часть чистой математики, в которой предписываются способы измерять пространство. Эта метрическая точка зрения была прогрессивной для того времени: она была отчетливо направлена против обучения основам геометрии по чисто формальной системе Евклида, отрывающей геометрию от каких бы то ни было ее приложений, сводящей ее только к логической концепции. Не может быть сомнения в том, что это был уже переход от идеалистических тенденций верного ученика Платона к материалистической установке. Правда, это был еще явно узкий механический материализм, который и раньше имел немало сторонников. [19]
Так в результате указанных исследований развивается логический анализ. Это достигается путем перевода, переформулирования менее ясных положений в более ясные. Рассел выдвинул развернутую теорию логического анализа как метода перевода знания на более точный язык. Учение об анализе было логической концепцией, к которой Рассел пришел через философию математики. Логический анализ был связан прежде всего с проблемами языка. [20]