Pull to refresh

Comments 103

Можно смелый вопрос?!
Интересно, есть ли смысл развивать подобные области науки сейчас, если в теории все это сможет найти и доказать ИИ? Может все силы лучше направить именно на развитие машинного обучения и создание этого самого ИИ? Ну это как в игре — все очки исследования поместить в ветку ИИ. Ход конем, т.с.
Во-первых, не всем интересно разрабатывать ИИ. И если мужик силён в математике, это не значит, что он будет также силён в проектировании ИИ.
Ну если он не может развивать ИИ, то, например, он может приносить кофе тем кто развивает ИИ. Во всяком случае быть полезным, а не копать тунель лопатой, когда по соседству строят бурильную установку.
Может так выйти, что он докопает свой туннель лопатой раньше чем они закончат бурильную установку.

Неважно, верно ваше предложение или нет, важно, что вы указываете ему (и другим ученым) что делать, поступая как последняя домохозяйка, лезущая в фундаментальную физику с предложениями.

ох, если бы вы покрутились в науке (во всяком случае нашей отечественной), то были бы неприятно удивлены, как часто можно услышать как кто-то кому-то заявляет, что его метод полное г..., а его подход (естественно, отличающийся от подхода автора) вообще лженаучен, а есть только один единственный правильный (разумеется, подход автора). Наука это вам не посиделки за чашечкой чая, это порой настоящая грызня и лучи ненависти.
UFO just landed and posted this here
В данном случае — скорее «По соседству что-то происходит. По представлению обывателей — это что-то скоро сможет рыть туннели, копать огород, строить колодцы и летать на Луну. В реальности — может перекладывать песчинки с места на место». Плюс вы забываете о том, что математика — это как раз инструментарий для прочих областей деятельности.
Сел за написание ИИ, будьте любезны чашечку кофе и шоколадное печенье.
Стоит ли идти сейчас в автошколу, если скоро на всех машинах будут автопилоты?
Хороший вопрос! Лично я не иду и жду автопилотов.
Стоит ли писать все эти комментарии, если когда-нибудь появится ИИ, который опишет все возможные точки зрения а потом выведет максимально верную?
Давайте просто посидим подождем.
Но все таки вы сейчас смещаете центр тяжести смысла моего первоначального вопроса.
Ваш вопрос корректней было бы переформулировать так: «Стоит ли развивать телеграф, если скоро во всех городах будет Интернет?» «Стоит ли развивать ЭЛТ мониторы, если скоро во всех домах будут LED и LCD экраны». И может лучше потратить эти ресурсы на развитие перспективных технологий, чем выжимать последнее из устаревших?
Не нужно сравнивать одну из широчайших областей математики с устаревающими технологиями. Ваш вопрос для меня звучит как «стоит ли рисовать карандашом на бумаге, когда есть графические планшеты». Математика — это искусство.
А почему вы решили, что машина не может овладеть искусством? Недавний пример с нейросетью, которая выделяет стиль с одной картины, а данные с другой и мержит это все в новую картину. Выглядит это потрясающе. Человек в такой задаче уже явно не конкурент машине.
Вы резонно можете возразите — но ведь художник, рисовавший картину, создает ее, а машина нет. Но здесь можно ответить, что художник рисует то же с чего-то, т.е. занимается копированием. Если же художник абстракционист, то машины то же могут генерировать картины, но вряд ли мы в силах осознать всю глубину их рисунков.
Выглядит это потрясающе.

Но есть нюанс: оценить потрясность/непотрясность картины может только человек. Т.е. чтобы получить красивую картинку пользователь должен на вход подать правильную фотку, а потом понять стоит ли результат публикации. Вот если бы машина сама могла из сотни фоток выбрать правильную, наложить на нее правильный фильтр и получить потрясный результат — тогда другое дело.
Но вы также подходите к художнику и говорите: «нарисуй мне меня на фоне этого чудесного озера в таком-то стиле». И вы также можете после заявить, что художник нарисовал какое-то г… Здесь уже субъективный вопрос вкуса фломастеров. Здесь и художник и нейросеть — черный ящик.
А почему вы решили, что машина не может овладеть искусством?

Вы приписываете мне мысли, которых я не говорил и не думал. Я только сказал, что противопоставлять математику разработке искусственного интеллекта — неверно. И сравнивать область математики с устаревающими технологиями — тоже.

Кроме того, я считаю, что не стоит порицать человека, занимающегося наукой, в том, что он не работает в какой-то конкретной области. То, что вы считаете самым главным, в жизни другого человека может быть на втором плане.

Что касается машин и искусства, эта тема на данный момент — лишь плацдарм для спекуляций. Возможность компьютера осознать себя и, самовыражаясь, творить ещё не доказана. Можно в это верить, но я не люблю во что-то верить.
А кто вам сказал, что я противопоставляю математику (область знаний) и разработку ИИ (инструмент для выделения знаний)? Я противопоставляю именно возможности человека в математике и возможности ИИ. И в качестве устаревающих технологий здесь выступает не математика, а сам ЧЕЛОВЕК.

И я совершенно не считаю то, что ИИ обязан осознавать себя или самовыражаться. Для поиска скрытых закономерностей в математике не нужно ни то, ни другое. А вот преимущества ИИ (в частности, систем машинного обучения) в поиске скрытых закономерностей уже не раз продемонстрированы на примере распознавания образов, например.
Если будет война между машинами и людьми, то по всему выходит, что вы будете в этой войне на стороне машин. Чувствуете абсурдность данной ситуации? Это как еврейский полк в составе Вермахта. Причём евреи в нём не тайные (которых просто не удалось выявить), а самые хардкорные — хасиды с пейсами в традиционной одежде…
Откуда берутся злодеи в фильмах? Они ведь не на пустом месте появляются. Злодеи это те, кто в корне не согласен с текущей политикой человечества (аля агент смит и аллегорией человека и раковой опухоли). Только злодеи в кино обычно хотят очистить планету от человечества и на этом конец. А ведь можно очистить ее и посадить там новую, более продвинутую форму жизни. Чем не благородная мечта? Во всяком случае, мы не только люди, но и часть вселенной.
Не буду отрицать. Зло очень часто выглядит привлекательно и демонстрирует благородные мотивы. Это очень известный сюжет про Сатану, который сначала искушает тебя, находясь под прикрытием благородных мотивов, но в конце концов всё равно вынужден снять маску и предложить сделать очень конкретный выбор между Добром и Злом, полностью отдавая себе отчёт в том, что есть что.
Да, «The devil is in the details». 200 лет назад тоже была цивилизация, но Мир быстро меняется.
Выбор между Добром и Злом
В современном рассказе «Искушение» Мавроди: Дьявол не носит маску, а вполне конкретно говорит о последствиях. Проблема в человеке, который: руководствуется одними лишь инстинктами, не думает о последствиях своего «ХОЧУ», не желает задаваться вопросом «ЗАЧЕМ?». Если на человека будут давить социальные рамки всегда можно обвинить… какого-нибудь Дьявола, или на крайний случай соседа.
Вот что есть Зло.
Искушение — низменное качество наравне с трусостью, завистью, похотью, лицемерием. Мысленно поощряя низменные качества можно дойти до лжи во спасение, которая есть обычная ложь — корень Зла.
А вы бы не соврали, если бы таким образом можно было бы предотвратить ядерную войну? Вот такой вот конкретный выбор. Нужно просто солгать… и тогда миллионы людей останутся живы. Или сказать правду… но миллионы погибнут.
Соврал БЫ. Но этот выбор я сделаю осознанно. К чему такие гипотетические вопросы с перекладыванием на меня ответственности за деятельность других людей? Никто никого не искушает.
Я это к тому, что «ложь во спасение» действительно существует. Это не просто популярное самооправдание.
Вы нарочно путаете мягкое со сладким? Если вы не поняли предыдущий вопрос, — отвечу. «Ложь во спасение» (или любая другая) в первую очередь нужна тому, кто врёт. И только потом, в единичных случая, кому эта ложь предназначается.
Впрочем, судить людей и ровнять по себе не собираюсь. На этом заканчиваю.
… или, как в примере с ядерной войной, эта ложь нужна миллионам людей, которые даже не участвуют в коммуникации лжеца и того, кому он лжёт…

Я и в первый раз всё правильно понял. Просто счёл необходимым указать на то, что «ложь во спасение» — это особый вид лжи, который не просто социально приемлем, а скорее даже социально необходим.
Ваш выбор осознан. На Дьявола последствия лжи свалить уже не получится.
Основное последствие «лжи во спасение» — это собственно само спасение. Зачем на кого-то сваливать ответственность?
Если вы изучаете отношения между людьми исключительно по фильмам со злодеями, то в реальной жизни нет злодеев. Есть более глупые и умныее, более и менее эгоистичные люди, которые дерутся за свои интересы.
Доведём до абсурда:
Стоит ли жить, если всё равно умрём?
Зачем жить, если не совершаешь ничего полезного для человечества в глобальном плане.

Ответ на Ваш вопрос: да, стоит. Те открытия, что делает этот человек, могут уже сейчас дать толчок, послужить началом чему-то ещё. То есть старт этого будет сейчас, в наше время, а не когда ИИ что-то там кому-то докажет. И даже если ИИ сможет — ему уже не придётся начинать бурить тоннель по соседству, он просто продолжит начатое.
Простите, но без телеграфа не было бы телефона, без ЭЛТ не было бы LCD, все развивалось не всегда последовательно, но ядерный реактор появился не после изобретения колеса.

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

И, судя по тому, что вы призываете людей смириться и уступить мир машинам, вы просто не понимаете, кто такие люди. Они не только не уступят никому свой мир. Они даже на правах равных себе никого в нём не потерпят. Это, кстати, главная причина того, почему никогда не будет киборгов. Любые попытки внедрения технологий киборгизации будут подавлены в зародыше. Поскольку ситуация, когда в мире существуют два разумных вида, абсолютно неприемлема для людей. А киборги — это именно другой разумный вид. Причём как у киборгов, так и у людей будут свои веские причины считать себя высшей формой человека. Киборги могли бы считать себя высшей формой в силу своей эффективности (типа, следующая ступень эволюции), а люди — в силу естественности.
А машине и не нужна мотивация. У нее есть оператор и он ставит ей цель, которой она смиренно следует. И нам совсем не важно, как она этой цели достигнула — ибо это черный ящик, а важен результат. Мотивация это как раз удел человека, которая и мешает превратить себя в послушного раба простыми средствами. Чем, к примеру, не киборги послушники монастыря? Их мотивация подавлена, а слепая цель — служение — заменяет место личной мотивации.

Насчет второго пункта я полностью разделяю ваши опасения. Тут как было с клонированием и ГМО — издали закон и запретили. С перспективой того, что многие чиновничьи должности легко уже сейчас могут быть заменены (даже не ИИ, а обычными скриптами), запрет на ИИ можно смело ожидать.
У монахов мотивация не подавлена, а, наоборот, выведена на более высокий уровень — коллективный, недоступный отдельному индивиду. К слову, вся современная наука базируется на тех книгах, которые монахи тщательно переписывали многие сотни лет, предотвращая утрату уже накопленного знания. Самые крутые мировые университеты располагаются в бывших монастырях. Вы думаете, это совпадение? Типа, там аренда дешевле?
Хорошо, тогда как вы не зная некоторой области математики (как оператор) поставите задачу машине?
На примере Форда вы будете ездить на «телеге без лошади».

Сформулировать вопрос и доказать что он значим, пожалуй, сложнее, чем ответить на него.
Нет, все гораздо проще. В качестве примера приведу технологию, которую уже обкатывают в одном университете. Там постановка задачи для машины звучит следующим образом: нужно синтезировать такой антибиотик, который бы действовал на такой то вид бактерий, но не затрагивал другие.
Наука и работает так — 99% времени исследователь проверяет различные гипотезы, что является весьма рутинной задачей. Человеку не обязательно знать наизусть различные теоремы и прочие нюансы. Главное выводы.
«А вычислительные возможности машин гораздо больше, чем людские.» — если это правда, то уже можно полностью смоделировать работу мозга быстрее чем реальное время.

А откуда взялось такое странное утверждение, что ИИ это сможет найти и доказать?
Что мешает объединить возможности человека и ИИ? Я уверен, что усиленный обычный интеллект появится раньше и будет мощнее, чем ИИ. К тому же, следует понимать, что современный математик не работает только с помощью бумаги и карандаша. Он использует мощные инструменты, такие как Axiom и Mathematica.

Василиск пробудится! (шутка)
Согласен, для человека это выглядит гораздо привлекательней. Некий сопроцессор в мозгу. Но нужно понять, дает ли наш биологической мозг какие-то преимущества, которые не могут дать машины?!
А что нам машины, если люди все равно останутся? Вот останутся 7-8-9-10 миллиардов людей. Они будут жить, у них будет экономика, наука, политика и пр. Машины тоже займут свое место. Вот честное слово, будто волшебник в голубом вертолете прилетит и решит все проблемы человечества, решит проблемы экономики, экологии, энергетики, справедливого распределения ресурсов, решит все политические баталии и все будут жить в предвечном Китяж--граде, постоянно воспевая милость бо… машинную.

На мой взгляд, чисто машинный интеллект найдет свое место в цепочке технологий. Но мир от этого не исчезнет, будет больше разнообразия. Будут и сверхмощные ИскИны, управляющие процессами в крупных корпорациях и государствах. Будут и искусственные граждане, и улучшенные биологически люди, и люди с сопроцессорами. Будут люди, которые будут бороться за «естественность». В некоторых странах, в которых развита терпимость к другим людям и существам, будет прям все супер-пупер, некоторые скатятся в «традиционализм», некоторые государства станут фактически зависимыми территориями. Эволюция — это разнообразие. Пусть цветут сто цветов, пусть экосистема разума станет более богатой и разнообразной.

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

Я вот не могу поверить в наличие такого ограничения, как вы описали. Я скорее поверю в связь размеров мозга, типичного масштаба времени, на котором он работает, и скорости света. Вот такое ограничение я бы принял и понял бы. Что-то вроде ограничений на параллелизм и синхронизацию работы разных частей мозга, чтобы каждый элемент был всегда в одном световом конусе от источника альфа-ритма (написал бред, который только что пришло в голову). В общем, если вкратце: ограничения на интеллект скорее всего есть, но до них еще далеко.
Искусственную нейросеть, конечно, сделать можно. Это уже сделано. Проблема в том, что ей как-то надо поставлять на вход уже сформулированные задачи на распознавание. По-любому нужен человек. А сделать прямую смычку между человеком и искусственной нейросетью нельзя из-за того, что нельзя сделать универсальный нейроинтерфейс со стороны человека. Когда мы с вами думаем абсолютно одинаковую мысль, в моём мозгу возбуждаются одни нейроны, в вашем — совершенно другие. Какие именно нейроны у кого за что отвечают, зависит от всей совокупности жизненного опыта конкретного человека.
А кто сказал, что интерфейс будет универсальный, а не адаптивный? Сопроцессор, который специально обучен реагировать и давать нам соответствующие новые узоры в ответ на имеющиеся узоры, в тысячи раз быстрее, чем это делает сам человек?

Есть же классический мысленный эксперимент: вот вы взяли мозг человека, затем каким-то образом разрезали его на две части, заменив все соединения на электронные аналоги. После этого каждую из частей разрезали еще пополам и так далее. В итоге оказалось, что у вас есть миллиарды колбочек с отдельными нейронами с тысячами симулированными связями между ними. А после этого вы решили по одному заменять нейроны на их электронные аналоги. И в конце концов пришли к состоянию, что у вас есть мозг из полностью искусственный нейронов. А затем вы одновременно повышаете тактовую частоту всего ансамбля, так как уже не надо поддерживать совместимость с устаревшим «железом» нейронов.

Все, что возможно в природе, в конце концов может сделать человек. Если есть какой-то процесс, то мы рано или поздно его повторим.
В реальности вы так сделать не сможете. Как-то только вы разделите мозг на две части, чтобы потом восстановить все соединения, он сразу умрёт. Мыслительный процесс в мозгу существует исключительно в динамике. Его нельзя поставить на паузу. Остановка означает смерть. Думать — это как ехать на велосипеде. Если остановиться, то сразу упадёшь. Но в отличие от езды на велосипеде мыслительный процесс нельзя возобновить после остановки.
Заменять связи по одной, прямо в процессе работы.
Если вы можете разъединить связь без того, чтобы нейросеть как-то адаптировалась к её отсутствию, то эта связь ни на что не влияет. Её можно даже не восстанавливать после разъединения.
Связь — это волна некоторого ионного процесса в мембране отростка нейрона (если очень грубо), который в конце концов приводит к электризации торца отростка (очень грубо), с некоторыми химическими процессами. Мы вводим в синаптическую щель некоторое устройство, которое считывает на одном конце нейромедиаторы и генерирует на другом конце точно такие же. А потом раздвигаем щель, при этом связь все время остается рабочей. И так шаг за шагом с каждой синаптической связью.

Я не говорю, что это легко. Я говорю, что это технически возможно, коль возможно такое в мире обычной биологии.
Перебираем, но это вне сознания… потенциал действия на совпадение маловат, а вот когда совпало тогда ок: инсайт…
тут скорее имеется в виду не прямое усиление интеллекта человека, а добавление к мозгу дополнительных функциональных устройств. Личный ПК в твоей голове с подключением к интернету и выводом визуальной информации прямо на кору — это чудесно. Потерял носок — запустил визуальный поиск и хоп — красный квадратик вокруг потерянного носка. И т.п. Аналогично и другое — увидел производную — сопроцессор взял ее и моментально передал ответ назад в сознание.
Как бы чудесно это ни было, этого не будет никогда. Просто забудьте. Даже не надейтесь. Тех, кто начнёт всерьёз продвигаться в этом направлении, тупо вырежут. Опасность появления киборгов человечеством уже полностью осознана и глубоко отрефлексирована. Любые попытки создания технологий киборгизации будут подавляться самым жестоким образом в порядке самозащиты.
Скорее, в некоторых странах это будет, в других — нет. Уж больно вкусная технология.
Понимаю, что многим будет хотеться. Но вряд ли кто-то рискнёт. Страны уничтожали целиком и за гораздо меньшее.
Бабло победит зло.

Киборгизация уже происходит, медленно и незаметно, оглянитесь вокруг.
Вы имеете в виду людей, которые срослись со своими смартфонами?
А также людей с водителем сердечного ритма, со слуховым аппаратом, а сейчас уже с искусственной сетчаткой и интеллектуальными протезами.
Это не считается. Они не приобретают никаких доп. возможностей. Лишь восстанавливают утраченные.
Сначала лечение, потом улучшение. Спортивный допинг тоже никто не принимает. И шахматистов не ловят с шахматными программами.
  1. Не надо делить шкуру не убитого медведя;
  2. Нельзя исключить влияние этих новых результатов в математике на сферу ИИ в том числе;
  3. Подобный прогресс воодушевляет и мотивирует не только математиков.
«все это сможет найти и доказать ИИ»

будет примерно как здесь «Баги в программном обеспечении для МРТ-сканеров ставят под сомнение 40 000 научных исследований https://geektimes.ru/post/278100/» — «Баги в программном обеспечении ИИ ставят под сомнение 40 000 математических теорем»
А баги в ДНК ничего под сомнения не ставят?
можно кинуть все силы на создание ИИ и тянуть лямку лет 400, а можно развивать другие области науки, открывать новое и используя полученные знания создать ИИ через лет 50. Тут какждому свое, т.с.
SkyNet, перелогинься, мы тебя узнали!
Причем тут искусственный интеллект? Мне лично очевидно, что это редкий случай появления сильнейшего _естественного интеллекта_, который вполне способен добиться больших успехов в общем деле построения здания фундаментальной науки.

Что можно и нужно сделать в его случае — обеспечить ему солидную зарплату, чтобы не нужно было думать, как прокормить себя и семью; комфортное рабочее место в любом университете или лаборатории мира, где бы он ни захотел работать; возможность выступать, обучать, сотрудничать с любыми учеными из любой точки мира.

Ну серьезно же, мы видим сильнейший математический талант, который уже достиг солидных результатов, причем в одиночку! Ему нужно оказывать любую возможную помощь и содействие. А вы про тут про искусственный интеллект рассуждаете, который вообще никакиим боком не относится.
Никто не знает, что такое ИИ пока он не будет создан. И есть вероятность отрицательного результата. Поэтому Ваш вопрос глуп.

Эту публикацию можно продолжить — чувствую, до последней точки на последней странице, здесь ещё ой как далеко.

После успеха Эндрю Уайлса мне встретилось было утверждение, что всю современную алгебру надо бы теперь переформулировать и переосмыслить. Чтобы студенты могли понять его доказательство.
Хорошо, что у этого дела появились реальные перспективы — ужать 288-страничное доказательство до 37 страниц — это просто прорыв.
Если так дело пойдет и дальше, то даже "средние умы" смогут понять доказательство Великой Теоремы Ферма.

UFO just landed and posted this here

Ну, если речь именно про меня, то всё не так безнадежно, как Вы думаете.
Если теперь эти 37 страниц разбавить комментариями до книги в 200 страниц, то осилю.
В идеале хотелось бы, чтобы кто-то повторил подвиг Дугласа Хофштадтера. Но это, понимаю, я уже слишком многого захотел.

UFO just landed and posted this here

А, понял Вас.
В своем первом комменте я написал "современная алгебра" в этом смысле:


Общая алгебра, иногда называемая современной алгеброй или абстрактной алгеброй, где алгебраические структуры, такие, как группы, кольца и поля аксиоматизируются и изучаются.

Т.е. речь не про обучение детей в школе, которых учат т.н. "элементарной алгебре", а про курс алгебры в вузе.


А "дерево технологий" действительно было бы многим полезно.

Цель школы не абстрактное мышление, а научить человека учится, с этой точки зрения «морковки» не проще теории групп, и истерическое отношение некоторых особ и особей к математике демонстрирует, что «морковный» путь не всегда достигает цели.
Индивидуальный подход в образовании — автоматически выполняется, просто в силу разной интенсивности развития, и разных потребностей, необходим инструмент с помощью которого можно было бы наверстывать упущенное или постигать внепрограммный материал (и почему в нем знания не должны быть описаны на языках теорий множеств?!). А риторика и логика — лишь обязательный элемент, который формирует эти потребности. Как и философия — желание мыслить.
С другой стороны программа Бурбаки — демонстрирует, что высочайший уровень абстракции и минимализма, не может служить ничем, кроме как справочником или энциклопедией. Необходима проблематизация, формирование навыков, осознание взаимосвязей в структуре знаний, что школа не дает, в полной мере, и формируется только к высшей школе или научной… или никогда, превращаясь в полное непонимание: на что, и зачем потрачены «школьные годы», если можно было удовлетворять «свои» желания.

«Дерево знаний»?! А смысл? Решение проблем — это не задача о применении шаблона №1, умение справляться с проблемами не сводится к заучиванию поддеревьев, скорее к формированию характера, к детской психологии.
Популяризация науки в детской литературе не сводится к энциклопедическим статьям, скорее ближе к героическим сказкам, «драконоборчеству» во имя науки, борьбе с заблуждениями… а Вы про «морковки»!
Под «проще» вы имеете в видку «имеет меньшее количество аксиом и правил вывода»? :) Наверное, «меньше», всё-таки, не обязательно «проще».
В этом смысле и лямбда-исчисление проще натуральных чисел, но когда я сталкиваюсь с числами Чёрча, приходится каждый раз заново понимать что там происходит.
Зачем? Упрощения доказательств всегда происходили. Со временем люди глубже понимают аппарат доказательства, вводят новую терминологию и мозг начинает оперировать проще, вычленяется более простой, коротки путь доказательства. Это нормально. Но зачем это доказательство «средним умам»?
UFO just landed and posted this here
Математика это область непротиворечивых исследований всего того о чем вообще можно подумать. Любая непротиворечивая система может развиваться без ограничений в любую сторону, создавая новые сущности. Это сейчас и делает математика. Это ее интерес и ее развитие. Математические построения, конечно, имеют некоторое отношение к реальному миру. Но математикам хорошо бы помнить, что заранее не известно, насколько любое конкретное исследование соотносится с реальностью и в каких местах. Полезность в реальной физической жизни реального мира новых математических построений (и место отрыва математических теорий от реального мира) не известна.
Но математикам хорошо бы помнить

А почему вы думаете, что они могут этого «не помнить»? Думаете, вы один, кто талдычит им эту мантру всякий раз, когда разговор зайдет о высоких математических материях?
Полезность в реальной физической жизни… не известна

В истории математики часто бывало так, что какие-то открытия лежали без дела, подвергаясь насмешкам «реалистов», пока для них неожиданно не находилось прямое применение в физике, технике или других более «приземленных» науках. Взять хотя бы открытие тензоров, которое предшествовало появлению теории относительности, которая ими широко пользовалась.

Кроме того, мотивацией к математическим исследованиям часто выступают задачи из реального мира, которые на этот момент не имеют решения. Например, полиномы Чебышева были изобретены при попытке оптимизировать некоторые механизмы; теория оптимального управления была разработана, когда потребовалось жестко экономить топливо при запуске ракет.
Просто вокруг меня много математиков уверенных, что математик решит любую проблему. На замечания, что в химии, в биологии, в психологии есть полно знания никак не связанного с математикой нет никакой реакции. А размер (знания) математики продолжает расти. И полезность отдельных частей математики внутри этого растущего размера все сильнее растворяется и теряется.
Я занимаюсь программированием достаточно долго, пробовал разные языки программирования, разные системы типов, парадигмы. Попутно еще пытаюсь изучать математику: абстрактную алгебру, топологию, теорию категорий и т.п.
Моё субъективное ощущение в том, что математика ГОРАЗДО сложнее любого языка программирования.
Без тега сарказм сложно да?
Зато мы как то справляемся с тысячами слов естественного языка и имеем проблемы с искусственными языками (https://habrahabr.ru/post/126189/), в том числе с математикой. Представил язык С++ разросшийся до «полноценных» 8000 ключевых слов, — чуть под лавку не упал от ужаса…
Ключевые слова в языках программирования — это аналог букв алфавита в естественных языках. Минимальная единица информационного кода в С++ — ключевое слово. Нельзя написать «whil» вместо «while»… или «retu» вместо «return». Аналогом же слов в языках программирования являются целые выражения, составленные из ключевых слов и имеющие некий определённый смысл лишь тогда, когда они употребляются вместе в каком-то конкретном сочетании. Не думаю, что кто-то подсчитывал количество существующих удачных и широко используемых выражений для С++, но не удивлюсь, если их будет намного больше 8000…

Если считать что выражения определятся перестановками — число перестановок, тогда n=64!.. Но скорее всего их все таки меньше будет, так как не все слова в программировании на С++ можно будет переставлять произвольно.
А в естественном языке число перестановок будет несколько менее n=8000!, так как он допускает гораздо более свободную перестановку без сильной потери информации, например, мы сможем опознать и понять смысл, пусть даже и неверный, во фразе подвергнутой перестановке: "фазан желает знать где сидит каждый охотник".
Я все правильно понял?

Смысл — это информационная избыточность. Он присутствует в информации только тогда, когда в ней много лишнего. Например, в данной фразе некий смысл угадывается лишь потому, что мы уже знаем другую фразу, в которой порядок слов правильный. Эта другая фраза неявно присутствует в том контексте, который ассоциирован у нас с этими словами. Если бы мы не знали заранее правильный порядок слов в оригинальной фразе, то фраза с переставленными словами выглядела бы для нас бессмысленным набором слов. Собственно говоря, именно так она и выглядит для любого, кто не знает оригинальную фразу. Например, для человека, говорящего на другом языке. Можно перевести все слова на его язык, но это ничем ему не поможет.
Он [смысл] присутствует в информации только тогда, когда в ней много лишнего.

«Много лишнего» — это субъект, интерпретирующий информацию в ареале своих заморочек (в каком-то фантастическом романе оно обобщалось-определялось как «проекция воли на область деятельности» :)) или подразумевается нечто платоническое, одинаково независимое как от внутреннего (виртуального?) мира мыслящих субъектов, так и от «объективной реальности»?
Разумеется, речь о субъективно интерпретируемой информации. Без интерпретации никакого смысла не существует в принципе. Сама по себе информация абсолютно лишена смысла, если так можно выразиться. Суть в том, что смысл — это надстройка над информацией, появляющаяся в результате интерпретации.

А что насчет ужимания ABС-гипотезы? Ее сейчас и из математиков почти никто понять не может...

Технологии кибернитизации
считаются только механические аналоги частей тела?
или биологические тоже?
Я вот к биологическим питаю больше недоверия.
Что там наколдовали генетики кудесники )
и мне кажеться биологические импланты появяться раньше.
В киберпанк литературе существует и то, и другое. Причём это два конкурирующих вида, враждующие друг с другом. Сторонники механических частей тела называются «механисты», а сторонники генетических модификаций — «шейперы». Так что неважно, кто появится раньше. Рано или поздно появятся и другие. И начнётся жесть…
image

О да… Есть за что полюбить математику )
Sign up to leave a comment.

Articles

Change theme settings