Блоґ одного кібера

Історія хвороби контуженого інформаційним вибухом

Автореференція (з випадкового блукання книжками, парами і вікіпедією)

with 4 comments

Взагалі, то це мало бути опубліковане ще в жовтні. Не пам’ятаю чому я тоді не натиснув кнопку. Видно часу не стало. Чи не міг назву придумати. Бо якось дивно, стало часу це все сформулювати, а часу натиснути кнопку не стало. Ну, тим не менш, краще пізно ніж ніколи…

Є така цікава нерівність:

{1\over 2} < \left\lfloor \mathrm{mod}\left(\left\lfloor {y \over 17} \right\rfloor 2^{-17 \lfloor x \rfloor - \mathrm{mod}(\lfloor y\rfloor, 17)},2\right)\right\rfloor

Здавалось – ну нерівність собі, то й що. А цікава вона тим, що точки для яких вона виконується утворюють множину на площині. І в одному місці ця множина виглядає ось так:

Графік цієї нерівності виглядає як сама нерівність! Ця нерівність називається нерівністю Тапера.

І як ви думаєте, де тут магія? А виявляється магії немає, просто фокус. Малюється цей для значень х що лежать від 0 до 106, і для значень y, що лежать від k до k+17.

Де

k = 96093937991895888497167296212785275471500433966012930665150551927
170280239526642468964284217435071812126715378277062335599323728087414
430789132596394133772348785773574982392662971551717371699516523289053
822161240323885586618401323558513604882869333790249145422928866708109
618449609170518345406782773155170540538162738096760256562501698148208
341878316384911559022561000365235137034387446184837873723819822484986
346503315941005497470059313833922649724946175154572836670236974546101
4655997933798537483143786841806593422227898388722980000748404719

І тут можна почати здогадуватись, що насправді формула може видати нам будь-яке монохромне зображення, яке тільки нам захочеться. Основне підібрати k, яке з одного боку звичайне число, а з іншого – бітовий растр потрібної картинки. Мені щоправда лінь генерувати номер для якоїсь іншої картинки.

Якщо трохи покумекати, то починає здаватись ніби ти розумієш як воно працює, і що це все просто, і “як я до цього сам не додумався?”.

Цікаво як я взагалі це знайшов. Все через нашу викладачку філософії.

Я ще точно не знаю що таке філософія, але точно знаю що вона розриває межі свідомості. Колись я вірив в три закони Ньютона. Тепер я не вірю ні в що, і вірю у все що завгодно. Агностицизм, від того що те з чим я стикнувся все ще не поміщається в моїй голові. Здається філософія для того й існує, щоб не тільки Сократ знав що він нічого не знає. А то час від часу з’являються математики, чи фізики, які думають що знають все, і тоді приходять філософи, і доводять їм протилежне. Я вже казав що Сократа вбили за те що він всіх довів?

Перше що не помістилось в моїй голові – це Кант. Правда я й до того багато чого не розумів, але якісь уривки хоч залишались. Я трошки підзабив на Рассела, погрався з пітоном і черепахою, дойшов до фракталів, повікіпедив, і якось випадково наткнувся на таку комбінацію літер: Gödel, Escher, Bach. Ну, і згадав, що це друга книжка яку рекомендувала філософічка кібернетикам, і яку я теж збирався прочитати.

Книжка товста, MIT навіть має 8 – тиждневий курс присв’ячений саме цій книжці. тому перед тим як читати, я вирішив прочитати що вікіпедія пише. Виявилось:

Через ілюстрації та аналіз, в книзі обговорюється те, як автореференція та формальні правила дозволяють системам набувати розуму, незважаючи на те, що вони створені зі складових «без розуму». Також книжка описує значення спілкування, способи представлення та збереження знань, методи та обмеження символьного представлення та навіть фундаментальне поняття «значення».

А автореференція – це посилання на самого себе. Щось трохи схоже на рекурсію, чи на Уробороса:

Треба буде прочитати…

Advertisements

Written by bunyk

Грудень 29, 2010 at 13:50

Оприлюднено в Всяке

Tagged with , ,

Відповідей: 4

Subscribe to comments with RSS.

  1. клевый пост

    jtimv

    Грудень 29, 2010 at 18:49

  2. цікавий пост.
    але що означає той мод? Га? Якщо це звичайнісінький модуль, чому б не поставити просто |*| як всі нормальні люди пишуть? Якщо це остача від ділення, то чому не вказано, за яким числом?

    patlatus

    Січень 12, 2011 at 18:47

    • Ну там бачте написано mod(blabla,2), тобто mod – функція від двох змінних. Очевидно за модулем 2.

      bunyk

      Січень 12, 2011 at 21:22


Залишити відповідь

Заповніть поля нижче або авторизуйтесь клікнувши по іконці

Лого WordPress.com

Ви коментуєте, використовуючи свій обліковий запис WordPress.com. Log Out / Змінити )

Twitter picture

Ви коментуєте, використовуючи свій обліковий запис Twitter. Log Out / Змінити )

Facebook photo

Ви коментуєте, використовуючи свій обліковий запис Facebook. Log Out / Змінити )

Google+ photo

Ви коментуєте, використовуючи свій обліковий запис Google+. Log Out / Змінити )

З’єднання з %s

%d блогерам подобається це: