http://elementy.ru/lib/430895?context=20615
Таким образом, небольшой отрывок, сохранившийся на бересте № 968, оказался — не только в корпусе берестяных грамот, но и вообще во всей истории русского языка — первым документом, где говорити означает ‘говорить’! До этого слово говорити и идущее с ним в паре говоръ означали нечто иное: звуки, которые издает масса людей или иных живых существ, единый гул, шум многоголосой толпы (возможно, даже с элементами угрозы, как в современных ропот, роптать).
http://elementy.ru/lib/430704?context=20615
Экспертная комиссия начала свою работу с конференции в Принстонском университете по выработке общей стратегии. Шли годы, референты постепенно выходили из состава комиссии, и наконец в начале 2004 года было окончательно решено отказаться от усилий рецензировать статью. Редколлегия журнала решила опубликовать «теоретическую часть» работы, а «компьютерную часть» переадресовать в какой-нибудь более подходящий журнал... На заседании Королевского общества велись оживленные дискуссии о возможности формально доказать корректность работы компьютерных программ и тем самым внести ясность в процедуру экспертизы доказательств с использованием компьютеров. По словам Макферсона, в ученом совете не было никого, кто был бы способен предложить реальные технологии доказательства корректности компьютерных программ, так что никакой ясности в проблему внести не удалось.
...
Итак, мы пришли к следующей ситуации. Решение задачи, формулируемой в нескольких предложениях, занимает десятки тысяч страниц текста. Доказательство целиком и последовательно не записано, скорее всего записано никогда не будет и, наконец, не может быть полностью понято ни одним отдельно взятым индивидом. Полученные результаты, тем не менее, важны и широко используются при решении различных задач в рамках теории групп, при этом их корректность остается под большим вопросом.
...
В 1875 году любой грамотный математик мог полностью усвоить доказательства всех существовавших на тот период теорем за несколько месяцев. В 1975 году, за год до того, как была доказана теорема о четырех цветах, об этом уже не могло быть и речи, однако отдельные математики еще могли теоретически разобраться с доказательством любой известной теоремы. К 2075 году многие области чистой математики будут построены на использовании теорем, доказательства которых не сможет полностью понять ни один из живущих на Земле математиков — ни в одиночку, ни коллективными усилиями.
http://elementy.ru/lib/164681/164683
Одно из последствий воздвижения стены состоит в том, что «гуманитарии», включая подавляющее большинство лингвистов, ничего не знают даже об азах как раз тех разделов математики, которые имеют наибольшее значение для гуманитарных наук (и представляют себе математика как человека, занятого исключительно вычислениями).
Другое препятствие — характерная для нынешнего состояния науки бешеная гонка, безостановочная погоня за все новыми и новыми «результатами», сужающая кругозор и не оставляющая времени задуматься над более глубокими проблемами или заняться серьезным изучением смежной и тем более не совсем смежной научной дисциплины. Это относится в равной степени к лингвистам и к математикам — как, впрочем, и ко всем, кто профессионально занимается наукой.
И третье — инертность, или, проще говоря, лень. На первый взгляд лень и бешеная гонка несовместимы, но в действительности они прекрасно уживаются между собой и, более того, поддерживают и стимулируют друг друга. Когда человеку лень взяться за трудное дело, он хватается за более легкое и более «надежное», успехи в котором оправдывают и поощряют его инертность.
http://elementy.ru/lib/164549?context=20615 .