Перевод с языка математики на человеческий и коллективное доказазательство теорем

[-earth]

Добрый день всем.

Возможно это проблема не философского характера и её уже решили или на пути к решению (как проблему информационного общества), но возникает множество вопросов всё равно. Я говорю о проблеме узости математического мышления и всё меньшего прикладного значения математики и информатики (а также множества естественных наук, опирающихся на точные методы). Математика какбы уходит сама в себя, ставит себе задачи, сама их решает и углубляется в проблемы, которые не актуальны и, возможно, никогда не станут актуальны. Всё держится на исследовании мат. абстракций, что вызывает научный интерес, это порождает новые абстракции и так далее. Я, например, уже не понимаю половины терминов, хотя ещё лет десять назад свободно читал научные статьи. Но существуют ли специалисты, которые будут хорошо ориентироваться во всём многообразии мат. теорий и методов и предлагать варианты там, где пока ещё не выработаны критерии, оценки и формальная постановка задачи? Например при строительстве моста или здания архитектор нуждается в идеальной форме объекта. Такой специалист мог бы оценить начальные условия и предложить что-то из топологии, что-то из теории множеств, что-то из мат. статистики. Он выступил бы в роли переводчика с языка математики на язык межчеловеческого общения и обратно.
Кроме того для того, чтобы оценить проблемы на переднем крае необходимо иметь знание опыта предшественников, т.е. учиться всю жизнь. Уже недостаточно взять задачу и пытаться решить её. Необходимо взаимодействовать друг с другом, так как необходимые знания не умещаются в одном человеке.
Так вот существуют ли эти проблемы (и пытаются ли их решить) или это лишь вопросы не вполне компетентного человека и всё уже здесь понятно?

[Klavdiyi]

Прикладники в любой области всегда постепенно уходили в "свои" пространства рассуждений всё менее понятные прочему люду и это, вероятно, неизбежно.
И независимо от того были ли и удавались ли попытки "осветить мирян" своими "откровениями" разными "далеко зашедшими и смотрящими" из своих областей, мир не становился светлее.
И уж точно математика как область знания, вряд ли ответит на Главный Вопрос "каким следовало бы быть мироустройство, чтобы можно было констатировать - вот теперь мир добр и хорош."

[koh-i-noor]

Типовые проекты в наше время строятся без проблем. А нестандартные вещи, на которых больше отмыть деньжат можно, тоже решаются.
Математика условно бывает прикладной и теоретической. Прикладная использует математические методы, позволяющие решать прикладные задачи в практической деятельности человека. Теоретическая математика создаёт и разрабатывает для них методы. Так что без неё тоже нельзя. Вполне возможно в будущем использование методов, которые сейчас не используются и просто лежат на полке. А ваше впечатление, что "Математика какбы уходит сама в себя" есть заблуждение. Придёт время и разработанный метод обязательно найдёт своё практическое применение.

Правда, у вас в заголовке одно, а в посте другое. Что именно вы имели в виду, неясно. Хорошо бы было пояснить.