Форум "Сварга"
http://www.svar-ga.ru/forum/

Логика, математика, физика
http://www.svar-ga.ru/forum/viewtopic.php?f=4&t=1866
Страница 5 из 7

Автор:  Пересвет [ 12 дек 2012, 13:55 ]
Заголовок сообщения:  Re: Логика и математика

Коловрат писал(а):
Люблю советскую научную фантастику


В несоветской фантастике есть идентичные сюжеты - Генри Каттнер, Кэтрин Мур. "Все тенали бороговы..." В сети он есть. :)

Автор:  bozhday [ 13 дек 2012, 08:37 ]
Заголовок сообщения:  Re: Логика и математика

Коловрат писал(а):
По сути, математика начинается с абстракции. С понимания того, что [одна конфета и одна конфета - это две конфеты] могут быть преобразованы в абстракцию 1+1=2. В "ДОГОВОР С РЕАЛЬНОСТЬЮ".
Компьютеры - это по сути тоже "договор с Реальностью".
И когда я вижу, как пишутся программы, я полностью осознаю, что их суть - такая же абстракция, такой же "договор с Реальностью".


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

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

Автор:  Aetet [ 13 дек 2012, 09:41 ]
Заголовок сообщения:  Re: Логика и математика

Программирование образует угол, один луч которого состоит из Математики, а второй из реальности. Таким образом программирование пытается одновременно наложить Договор с реальностью на саму Реальность. Но как правило многие, и я в том числе, не умеют выхватывать правильных связей, которые бы отражали саму картину мира, которая бы позволяла относительно безболезненно вносить изменения в свою модель работающей системы.

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

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

Программирование становится само по себе новым договором. Таким образом каждый такой новый заключенный договор вбирает в себя предыдущие стадии договоров плюс добавляет свою частичку. (Тут-то и проявляется человеческое мышление во всей красе). С синтезом и анализом.

Автор:  bozhday [ 17 дек 2012, 16:52 ]
Заголовок сообщения:  Re: Логика и математика

К вопросу о соответствии математических формул и материального формообразования (кстати, не только в пределах видимой природы). Сделал небольшой ролик. Основная масса изображений - алгебраические фракталы (фазовые портреты нелинейных динамических систем).

http://bozhday.livejournal.com/156318.html

Автор:  Стравада [ 17 дек 2012, 19:15 ]
Заголовок сообщения:  Re: Логика и математика

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

Вот, звездное небо, снимки галактик, Земли, воздушных потоков (циклоны-антициклоны), вызывают иногда восхищение. Но, повторюсь, это может быть моё личное восприятие, "вопль" личного тоналя о необозримости ещё большего тоналя.

Изображение

Изображение

Автор:  bozhday [ 17 дек 2012, 19:41 ]
Заголовок сообщения:  Re: Логика и математика

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

Автор:  Стравада [ 17 дек 2012, 20:39 ]
Заголовок сообщения:  Re: Логика, математика, физика

Квантовая запутанность.

http://ru.wikipedia.org/wiki/Квантовая_запутанность

Одно из самых любопытных явлений мира, получившее название "квантовая запутанность, зацепленность, нелокальность, перепутанность, сцепленность". Если коротко – утверждается «дальнодействие» многократно (по некоторым данным в 100.000 раз) превышающее скорость света. Если две частицы сцеплены, то воздействие на одну частиц мгновенно передается на другую.

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

------
Изменил название темы, добавив физику.

Автор:  Стравада [ 17 дек 2012, 20:50 ]
Заголовок сообщения:  Re: Логика, математика, физика

Волна или частица?

Изображение

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

Автор:  Коловрат [ 18 дек 2012, 07:33 ]
Заголовок сообщения:  Re: Логика, математика, физика

Стравада, из двух приведённых тобой картинок (присутствующих в видеоряде Бождая) нижняя не вызывает отрицательных эмоций, скорее положительные. Просто узор. А верхняя - да, возникает некая оторопь. Она возникает потому, что в узоре начинает видеться какой-то насекомовидный образ. Даже не столько насекомовидный, сколько образ монстра, имеющего человекоподобие.

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

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

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

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

Автор:  bozhday [ 22 дек 2012, 19:54 ]
Заголовок сообщения:  Re: Логика, математика, физика

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

Математическое понятие функции вневременное. Это моментальная декларация соответствия одного объекта (из области определений) другому объекту (из области значений). То есть, концептуально, функциональная модель вычислений синтетична. Она лишена временной скованности и является математическим рецептом параллелизма. Но узкое место здесь - физическое вычислительное устройство. Поскольку оно физическое, то повязано временными узами.

Коловрат писал(а):
Что касается другого феномена, квантового феномена спутанности, спутанных состояний, то именно на нём основывается пока теоретическая возможность параллельных вычислений, возможность действия квантовых компьютеров. И именно на этих принципах, как считается, работает человеческий мозг.


Действительно, в этом смысле квантовые эффекты (если они, конечно, физичны) могут послужить способом преодоления времени. Если квантовые компьютеры будут созданы, то функциональный подход окажется для них естественным программным топливом.

И кстати, о топливе. Продолжая рассуждения, начатые выше по ветке, можно предложить такой, достаточно очевидный, аргумент объективности математических конструкций.
Для этого задумаемся, чем отличаются низкоэнтропийные физические (не информационные) состояния от высокоэнтропийных? Очевидно, прежде всего, расположением (и производными характеристиками) частиц во времени и пространстве. Для низкоэнтропийных форм это расположение упорядочено (регулярно) именно с математической точки зрения. Этот объективный факт - прямое следствие объективного существования и влияния математических структур. Они объективно приводят, например, к выделению энергии при сгорании топлива, цепным ядерным реакциям, возникновению органических форм жизни, мыслительным процессам, изобретению формальной логики и вычислительной машины Тьюринга и т.д. По всей видимости, именно такими объективными категориями математики (а не вторичными вычислительными) оперирует наш мозг.

Страница 5 из 7 Часовой пояс: UTC
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/