Новий вид науки (англ. A New Kind of Science) — це суперечлива книга-бестселер Стівена Вольфрама, опублікована його власною компанією в 2002 році. Вона містить емпіричне і систематичне дослідження обчислювальних систем, таких як клітинні автомати. Вольфрам називає такі системи простими програмами і стверджує, що філософія науки і методи, які відповідають задачі вивченню простих програм, мають відношення до інших галузей науки.
Автор | Стівен Вольфрам |
---|---|
Мова | англійська |
Тема | складна система |
Жанр | нон-фікшн[d] |
Видавництво | Wolfram Research |
Видано | 2002 |
Цю статтю треба для відповідності Вікіпедії. (квітень 2019) |
Зміст
Обчислення та його наслідки
Теза «Нового виду науки» є двоякою: характер обчислень повинен досліджуватися експериментально, а результати цих експериментів мають велике значення для розуміння фізичного світу. Починаючи з 30-х років минулого століття, обчислення в основному мали два підходи: інженерія, яка прагне побудувати практичні системи з використанням обчислень; і математика, яка прагне довести теореми про обчислення. Однак, як і в 1970-х роках, обчислювальна техніка була описана як перехрестя математичних, інженерних та емпіричних підходів.
Вольфрам представляє третій підхід, який прагне емпірично досліджувати саму техніку обчислення: він стверджує, що для цього необхідний абсолютно новий метод, оскільки традиційна математика не в змозі осмислити складні системи, і що існує верхня межа складності у всіх системах.
Прості програми
Основним предметом за теорією Вольфрама є вивчення простих абстрактних правил — по суті, елементарних комп'ютерних програм. Практично в будь-якому класі обчислювальної системи можна зіткнутися зі складностями навіть у найпростіших випадках (після послідовного у часі ряду багаторазових ітераційних циклів, застосовуючи один і той самий простий набір правил сам до себе, подібно само-підсилюючому циклу, який використовує набір правил). Це здається істинним незалежно від компонентів системи та деталей її налаштування. Системи, які представлено у книзі, включають, серед іншого, клітинні автомати в одному, двох і трьох вимірах; мобільні автомати; машини Тюрінга в 1 і 2 вимірах; декілька різновидів замісної та мережевої систем; примітивні рекурсивні функції; вкладені рекурсивні функції; комбінатори; [en]; регістрові машини; [en]. Для того, щоб програма кваліфікувалася як проста, існує кілька вимог:
- Її роботу можна повністю пояснити простою графічною ілюстрацією.
- Її можна пояснити декількома реченнями людської мови.
- Вона може бути реалізована комп'ютерною мовою, використовуючи лише кілька рядків коду.
- Кількість її можливих варіацій є достатньо малою настільки, що всі вони можуть бути обчислені.
Як правило, прості програми мають дуже просту абстрактну структуру. Прості клітинні автомати, машини Тюрінга і комбінатори є прикладами таких структур (каркасів), тоді як більш складні клітинні автомати не обов'язково розглядаються як прості програми. Можливо також винайти нові структури, зокрема, щоб охопити роботу природних систем. Особливістю простих програм є те, що значна частина з них здатна виробляти велику складність. Перерахування всіх можливих варіантів практично будь-якого класу програм швидко призводить до несподіваних прикладів. Тоді виникає питання: якщо програма настільки проста, звідки виникає складність? У певній мірі, у визначенні програми не вистачає місця для безпосереднього кодування всіх дій програми. Тому прості програми можна розглядати як прояв емерджентності. Логічним висновком з цього явища є те, що якщо деталі правил програми не стосуються правил його поведінки, то дуже важко розробити просту програму для виконання безпосередньо конкретної поведінки. Альтернативний підхід полягає в тому, щоб спробувати спроектувати просту загальну обчислювальну основу, а потім виконати пошук за всіма можливими компонентами для найкращої відповідності.
Прості програми здатні на значний діапазон поведінки. Деякі з них виявилися універсальними комп'ютерами. Інші проявляють властивості, споріднені з традиційною наукою, такі як термодинамічна поведінка, континуальна поведінка, [en], перколяція, чутлива залежність від початкових умов та інші. Вони використовуються як моделі руху, руйнування матеріалів, [en], біологічного зростання, різноманітних соціологічних, геологічних та екологічних явищ. Інша особливість простих програм полягає в тому, що, за книгою, якщо їх ускладнити, то, здається, що це мало впливає на загальну складність. Новий вид науки свідчить про те, що простих програм достатньо, щоб охопити суть практично будь-якої складної системи.
Картування та видобуток обчислювального всесвіту
Для вивчення простих алгоритмів та їх часто непердбачуваного впливу Вольфрам стверджує, що є необхідність досліджування обчислювальні системи і її впливу за алгоритмом. Далі мова йде про те, що це дослідження повинно стати новою галуззю науки, як фізика або хімія. Основною метою цієї сфери діяльності є розуміння та характеристика обчислювального всесвіту з використанням експериментальних методів.
Запропонована нова галузь наукового дослідження допускає багато різних форм наукового виробництва. Наприклад, якісні класифікації часто є результатом початкових набігів у обчислювальні джунглі. З іншого боку, допустимі також видимі докази того, що деякі системи обчислюють певну функцію. Існують також деякі форми виробництва, які певною мірою є унікальними для цієї галузі дослідження. Наприклад, відкриття обчислювальних механізмів, що виникають у різних системах, але в суттєво різних формах.
Інший вид виробництва передбачає створення програм для аналізу обчислювальних систем. За теорією із книги вони самі повинні бути простими програмами, які мають спільну мету і методологію. Розширення цієї ідеї полягає в тому, що людський розум сам є обчислювальною системою, отже, надання їй необроблених даних настільки можливим ефективним способом має вирішальне значення для дослідження. Вольфрам вважає, що програми та їх аналіз мають бути візуалізовані якнайточніше — тисячами і більше. Оскільки ця нова сфера стосується абстрактних правил, вона може в принципі вирішувати питання, що стосуються інших галузей науки. Однак, загалом, ідея Вольфрама полягає в тому, що в комп'ютерному всесвіті можна відкрити нові ідеї і механізми, де вони можуть бути представлені в найпростіших формах, а потім науковці в інших сферах діяльності матимуть змогу вибирати ті які вони вважатимуть актуальними.
За Вольфрамом: «Фундаментальною темою Нового Виду Науки є те, що обчислювальний всесвіт має неймовірні багатства. Вирішальним підтвердженням цього виразу є існування неймовірних речей які можуть бути використані за власною потребою.»
Систематична абстрактна наука
Хоча Вольфрам виступає за прості програми як наукову дисципліну, він також стверджує, що його методологія стане проривом в інших галузях науки. В основі його аргументації лежить те, що вивчення простих програм є мінімально формою засвоєння науки, заснованим однаково як на абстракції, так і на емпіричних експериментах. Кожен аспект методології, що описано в книзі, підібраний для того, щоб зробити експерименти якомога більш прямими, легкими та значущими, одночасно максимізуючи шанси експерименту зробити щось несподіване. Подібно до того, як ця методологія дозволяє вивчати обчислювальні механізми у найпростіших формах, Вольфрам стверджує, що цей процес пов'язаний з математичною основою фізичного світу і тому може багато чого запропонувати науці.
Вольфрам стверджує, що обчислювальні реалії Всесвіту роблять науку жорсткою з фундаментальних причин. Але він також стверджує, що, розуміючи важливість цих реалій, ми можемо навчитися використовувати їх на свою користь. Наприклад, замість зворотного конструювання наших теорій від спостереження, ми у змозі [en] системи, а потім спробувати порівняти її з проявами які ми спостерігаємо. Основна тема книги полягає в дослідженні структури сфери можливостей. Вольфрам стверджує, що наука має вузький профіль, частково тому, через те, що моделі які використовується є невиправдано складними обмежених традиціях математики. Вольфрам виступає за використання моделей, варіації яких можна перелічити і чиї наслідки легко розрахувати і проаналізувати.
Філософське підґрунтя
Обчислювальна незвідність
Вольфрам стверджує, що одним з його досягнень є забезпечення цілісної системи ідей, що виправдовує обчислення як організаційний принцип науки. Наприклад, він стверджує, що концепція [en] (що деякі складні обчислення не можна спростити), зрештою, причиною того, що обчислювальні моделі природи повинні розглядатися на додаток до традиційних математичних моделей. Аналогічним чином, його уявлення про внутрішнє генерування випадковостей, стверджує що природні системи можуть породжувати свою власну випадковість, а не використовувати теорію хаосу або стохастичні обурення, маєтся на увазі, що обчислювальні моделі не повинні включати в себе явні випадковості.
Принцип обчислювальної еквівалентності
Виходячи з його експериментальних результатів, Вольфрам розробив принцип обчислювальної еквівалентності (ПОЕ): принцип допускає, що системи, знайдені в природному світі, можуть виконувати обчислення до максимального («універсального») рівня обчислювальної потужності. Більшість систем можуть досягти цього рівня. Системи, в принципі, обчислюють ті ж речі, що й комп'ютер. Тому обчислення — це просто питання перекладу (вводу і виводу) з однієї системи в іншу. Отже, більшість систем є обчислювально еквівалентними. Запропонованими прикладами таких систем є людські ідеї та еволюція погодних систем.
Принцип може бути пояснений таким чином: майже всі процеси, які не є очевидними, мають еквівалентну складність. З цього принципу Вольфрам малює цілий ряд конкретних висновків, які він доводить, підкріплюючи його теорію. Можливо, найважливішим з них є пояснення того, чому ми відчуваємо випадковість і складність: часто системи, які ми аналізуємо, є такими ж складними, як і ми. Таким чином, складність не є особливою якістю систем, як, наприклад, поняття «тепла», а просто етикеткою для всіх систем, які є складними. Вольфрам стверджує, що розуміння цього робить можливим «нормальну науку» парадигми цієї книги.
Вольфрам доводить, що — як і більшість найважливіших наукових ідей — принцип обчислювальної еквівалентності дозволяє науці бути доступною всім, вказавши нові способи, за якими люди не є «особливими»; тобто, стверджувалося, що складність людського інтелекту робить нас особливими, але Принцип стверджує інакше. У певному сенсі, багато ідей Вольфрама базуються на розумінні наукового процесу, включаючи людський розум, що діє в межах того самого всесвіту, який він вивчає, а не перебуває поза ним.
Програми та результати
У книзі існує низка конкретних результатів та ідей, і вони можуть бути перелічені за кількома темами. Одна загальна тема прикладів і додатків демонструє, наскільки мало складності потрібно для досягнення цікавої поведінки, і як правильна методологія може виявити таку поведінку.
По-перше, існує кілька випадків, коли книга вводить те, що було, під час складання книги, найпростішою відомою системою в якомусь класі, що має певну характеристику. Деякі приклади включають першу примітивну рекурсивну функцію, що приводить до складності в найменшій універсальній машині Тюрінга і найкоротшій аксіомі для пропорційного обчислення. Подібно до цього Вольфрам також демонструє багато простих програм, які зображують явища, такі як фазові переходи, [en], континуальне поведінка і термодинаміка, знайомі з традиційної науки. Прості [en] природних систем, таких як ріст оболонок, турбулентність рідини та філотаксис, є останньою категорією додатків, що потрапляють у цю тему.
Іншою загальною темою є наведення фактів про обчислювальний всесвіт в цілому та використання їх для обґрунтування цілей. Наприклад, Вольфрам обговорює, як факти про обчислювальний всесвіт підтверджують еволюційну теорію, SETI, вільну волю, теорію обчислювальної складності, і філософські області, такі як онтологія, гносеологія, і навіть постмодернізм.
Вольфрам припускає, що теорія обчислювальної незвідності може забезпечити дозвіл на існування вільної волі в номінально детермінованому всесвіті. Він стверджує, що обчислювальний процес у мозку істоти з вільною волею насправді є достатньо складним, для врахування у більш простому обчисленні через принцип обчислювальної незвідності. Таким чином, хоча цей процес дійсно детермінований, не існує кращого способу визначити волю істоти, ніж, по суті, запустити експеримент і дозволити його виконувати.
Книга також містить величезну кількість індивідуальних результатів — як експериментальних, так і аналітичних — про те, що обчислює конкретний автомат або які його характеристики, використовуючи деякі методи аналізу.
Книга містить новий технічний результат, що описує повноту стільникового автомата Тюрінга за Правилом 110. Дуже маленькі машини Тюрінга можуть імітувати Правило 110, яке Вольфрам демонструє, використовуючи 5-символьну універсальну машину Тюрінга з двома станами. Вольфрам припускає, що особлива 3-символьна машина Тюрінга з двома станами є універсальною. У 2007 році, в рамках святкування п'ятої річниці книги, компанія Вольфрам запропонувала премію в розмірі 25 000 доларів за доказ того, що ця машина Тюрінга є універсальною. Алекс Сміт, студент факульета комп'ютерних наук з Бірмінгема(Велика Британія) отримав приз в кінці цього року, довівши гіпотезу Вольфрама.
Літня наукова школа
Щороку Вольфрам і його група інструкторів організовують літню школу . З 2003 по 2006 рік ці заняття проходили в Університеті Брауна. У 2007 році літню школу розпочав університет штату Вермонт у Берлінгтоні, за винятком 2009 року, який відбувся в Інституті науки і техніки в Індії в Пізі, Італія. У 2012 році програма була проведена в Curry College в Мілтоні, штат Массачусетс. З 2013 року Літня школа «Вольфрам» проводиться щорічно в Університеті Бентлі в Уолтем, штат Массачусетс. У 15 літніх школах взяли участь більше 550 осіб, деякі з яких продовжували розвивати свої 3-тижневі дослідницькі проекти в якості магістерські або докторські дисертації. Деякі дослідження, проведені в літній школі, було опубліковані.
Прийом
Багато журналів публікували статті про «Новий вид науки», включаючи Нью-Йорк таймс, Newsweek, Wired, і The Economist. Деякі вчені називали книгу зарозумілою, і називали її фатальну ваду — прості системи, такі як стільникові автомати, не є достатньо складними, щоб описати ступінь складності існуючих систем, і зауважили, що Вольфрам ігнорував дослідження, що класифікували складність систем. Хоча критики сприймають дослідження Вольфрама, які демонструють універсальні обчислення, вони вважають їх незначним і заперечують твердження Вольфрама про зміну парадигми. Інші вважали, що робота містить цінну,нову ідею. Вольфрам звернувся до своїх критиків у серії повідомлень у блозі.
У статті, опублікованій 3 квітня 2018 року, «Новий вид науки» був включений до числа 190 книг, рекомендованих Біллом Гейтсом
Наукова філософія
Принцип книги полягає в тому, що чим простіше система, тим більше ймовірність того, що версія буде повторюватися в широкому діапазоні більш складних контекстів. Тому Вольфрам стверджує, що систематичне вивчення простору простих програм призведе до бази ґрунтовних знань. Однак багато вчених вважають, що з усіх можливих параметрів лише деякі дійсно відбуваються у Всесвіті. Наприклад, з усіх можливих перестановок символів, що складають рівняння, більшість буде суттєво безглуздим. В книзі також критикували за те, що стверджують, що поведінка простих систем якимось чином є репрезентативною для всіх систем.
Методологія
Загальною критикою є те, що вона не дотримується усталеної наукової методології. Наприклад, книга не встановлює жорстких математичних визначень, і не намагається довести теореми; і більшість формул і рівнянь записані на Mathematica, і не стандартними позначеннями. Через надмірну наочність, велику кількістю інформації, що передається зображеннями, які не мають формального значення книгу також критикували. Вольфрам також критикувався за те, що не використовує сучасних досліджень у сфері складності, особливо роботи, які вивчали складність з суворої математичної точки зору. І це розкритикували за неправдиву теорію хаосу: «У всій книзі він ототожнює теорію хаосу з явищем чутливої залежності від початкових умов.»
Утиліта
Книгу критикували через те, що не надає конкретних результатів, які могли б негайно бути застосованими до поточних наукових досліджень . Існує також критика, неявна і явна, що вивчення простих програм мало пов'язане з фізичним всесвітом, і тому має обмежену цінність. Стівен Вайнберг відзначив, що жодна реальна система світу не була пояснена за допомогою методів Вольфрама.
Принцип обчислювальної еквівалентності
Принцип обчислювальної еквівалентності критикують за розпливчастість, нематематичність та відсутність прямої перевірки прогнозів. Він також критикувався за те, що суперечить духу досліджень в галузі математичної логіки і теорії обчислювальної складності, які прагнуть зробити дрібнодисперсні відмінності між рівнями обчислювальної складності і неправильно поєднуючи різні види властивості універсальності. Крім того, такі критики, як Рей Курцвейл, стверджують, що він ігнорує відмінність між обладнанням та програмним забезпеченням; хоча два комп'ютери можуть бути еквівалентними за потужністю, не випливає, що будь-які дві програми, які вони можуть виконувати, також є еквівалентними. Інші вважають, що це всього лише повторне викладення тези Церкви — Тюрінга.
Фундаментальна теорія (Глава 9)
Роздуми Вольфрама про напрямок фундаментальної теорії фізики називали невизначеними і застарілими. [en], професор комп'ютерних наук в Університеті Техасу, Остін, також стверджує, що методи Вольфрама не можуть бути сумісними як із спеціальною теорією відносності, так і з порушеннями теореми Белла, отже, не може пояснити спостережувані результати [en]. . Однак аргументи Ааронсона є або правильними, і застосовуються до всієї наукової області квантової гравітації, яка прагне знайти теорії, що об'єднують теорію відносності та квантову механіку, або ж вони є фундаментальними недоліками (наприклад, під нелокальною прихованою теорією змінних супердетермінізму, визнаною самим Беллом.), і навіть вивчені, наприклад Фізика лауреата Нобелівської премії Жерарда Хоофта, див. також відповіді на критику цифрової фізики.
Едвард Фредкін і Конрад Цузе стали піонерами ідеї обчислювального Всесвіту, коли він написав рядок у своїй книзі про те, як світ може бути схожим на стільниковий автомат, а пізніше Фредкін розвинув її за допомогою іграшкової моделі, яка називається Salt. Казали, що у книзі є спроби прийняти ці ідеї як свою власні, але модель Всесвіту Вольфрама є мережею переписування, а не стільниковим автоматом, як сам Вольфрам запропонував, щоб клітинний автомат не міг врахувати відносні особливості, такі як абсолютний часовий проміжок. Юрген Шмідхубер також висунув звинувачення, що його робота над машинною обчислювальною фізикою Тюрінга була вкрадена, а саме його ідея про перерахування можливих обчислювальних всесвітів Тюрінга У огляді НКС у 2002 році, лауреат Нобелівської премії та фізик елементарних частинок Стівен Вайнберг написав: "Сам Вольфрам є фізиком з елементарних частинок, і я вважаю, що він не може протистояти спробам застосувати свій досвід з цифровими комп'ютерними програмами в закони природи. Це привело його до думки (також розглянуто в роботі 1981 року Річарда Фейнмана), що природа дискретна, а не безперервна. Він припускає, що простір складається з набору ізольованих точок, таких як клітини в клітинному автоматі, і що навіть час тече в дискретних кроках. Слідуючи ідеї Едварда Фредкіна, він робить висновок, що сам Всесвіт буде автоматом, як гігантський комп'ютер. Це можливо, але я не бачу ніякої мотивації для цих міркувань, за винятком того, що це така система, до якої Вольфрам та інші звикли в своїй роботі на комп'ютерах. Так що тесляр, дивлячись на місяць, може припустити, що він зроблений з дерева.
Нобелівський лауреат Жерар 'т Хоофт нещодавно також запропонував об'єднуючу теорію квантової гравітації на основі клітинного автомата, як інтерпретацію теорії суперструн, де еволюційні рівняння є класичними. Як теорія бозонних струн, так і теорія суперструн можуть бути переформульовані в термінах спеціальної бази станів, визначеної на просторово-часовій решітці з довжиною ґратки
Природний відбір
Ствердження Вольфрама про те, що природний відбір не є фундаментальною причиною складності в біології, змусило журналіста-вченого Кріса Лаверса стверджувати, що Вольфрам не розуміє теорію еволюції.
Оригінальність
Книга була розкритикована за те, що вона не є оригінальною або достатньо важливою, щоб виправдати свою назву та претензії.
Авторитетний спосіб, яким книга представляє величезну кількість прикладів і аргументів, критикували так, що це наводить читача на думку, що кожна з цих ідей є оригінальною для Вольфрама, зокрема, одним з найбільш суттєвих нових технічних результатів, представлених у Книзі, що правило 110 стільникового автомата Тюрінга повністю не було доведено Вольфремом, а скорішего його помічником-дослідником [en]. Проте, розділ приміток наприкінці книги визнає багато відкриттів, зроблених цими іншими вченими, посилаючись на їх імена разом з історичними фактами, хоча і не у формі традиційного бібліографічного розділу. Крім того, ідея про те, що дуже прості правила часто створюють велику складність, вже є усталеною ідеєю в науці, зокрема, в теорії хаосу і складних системах.
Див. також
- Цифрова фізика
- Редукціонізм
- [en]
- Алгоритм «Універсального штучного інтелекту» [en]
Примітки
- Rosen, Judith (2003). Weighing Wolfram's 'New Kind of Science'. Publishers Weekly. Архів оригіналу за 29 грудня 2012. Процитовано 1 квітня 2019.
- Wegner, Peter (1976). Research Paradigms in Computer Science. Proceedings of the 2nd International Conference on Software Engineering. San Francisco, CA, USA: IEEE Press. с. 322—330.
- Denning, Peter J. та ін. (1989). Computing as a Discipline. Communications of the ACM. 32 (1): 9—23. doi:10.1145/63238.63239.
- (PDF). Архів оригіналу (PDF) за 10 травня 2017. Процитовано 19 квітня 2019.
- . blog.stephenwolfram.com (англ.). Архів оригіналу за 19 квітня 2019. Процитовано 25 травня 2017.
- The Wolfram 2,3 Turing Machine Research Prize. оригіналу за 15 May 2011. Процитовано 31 березня 2011.
- The Wolfram 2,3 Turing Machine Is Universal!. оригіналу за 19 квітня 2019. Процитовано 24 жовтня 2007.
- Technical Commentary [on Wolfram 2,3 Turing machine universality proof]. оригіналу за 19 квітня 2019. Процитовано 24 жовтня 2007.
- . wolframscience.com. Архів оригіналу за 3 березня 2016. Процитовано 19 квітня 2019.
- . wolframscience.com. Архів оригіналу за 10 березня 2016. Процитовано 19 квітня 2019.
- . wolframscience.com. Архів оригіналу за 27 березня 2012. Процитовано 19 квітня 2019.
- Rowland (2008). A natural prime-generating recurrence. Journal of Integer Sequences. 11 (8): 28. arXiv:0710.3217. Bibcode:2008JIntS..11...28R.
- Bolognesi, Tommaso (10 вересня 2007). Planar Trivalent Network Computation. Т. 4664. с. 146—157. doi:10.1007/978-3-540-74593-8_13. ISBN .
{{}}
: Проігноровано|journal=
() - Palasek , S. (2013). (PDF). Complex Systems. 22 (2): 193—202. doi:10.25088/ComplexSystems.22.2.193. Архів оригіналу (PDF) за 30 квітня 2016. Процитовано 19 квітня 2019.
- Johnson, George (9 червня 2002). . The New York Times. Архів оригіналу за 24 квітня 2012. Процитовано 28 травня 2009.
- Levy, Stephen (27 травня 2002). . Newsweek. Архів оригіналу за 16 квітня 2009. Процитовано 28 травня 2009.
- Levy, Stephen (June 2002). The Man Who Cracked The Code to Everything ... Wired. оригіналу за 27 May 2009. Процитовано 28 травня 2009.
- . The Economist. 30 травня 2002. Архів оригіналу за 22 жовтня 2008. Процитовано 28 травня 2009.
- Kurzweil, Ray (13 травня 2002). . Kurzweil Accelerating Intelligence Blog. Архів оригіналу за 19 квітня 2019. Процитовано 19 квітня 2019.
- Shalizi, Cosma (21 жовтня 2005). . The Bactra Review. № 132. Архів оригіналу за 30 травня 2015. Процитовано 19 квітня 2019.
- Rucker, Rudy (November 2003). (PDF). American Mathematical Monthly. 110 (9): 851—61. doi:10.2307/3647819. JSTOR 3647819. Архів оригіналу (PDF) за 20 березня 2009. Процитовано 28 травня 2009.
- Berry, Michael; Ellis, John; Deutch, David (15 травня 2002). (PDF). The Daily Telegraph. Архів оригіналу (PDF) за 19 травня 2012. Процитовано 14 серпня 2012.
- Wolfram, Stephen (12 травня 2012). . Stephen Wolfram Blog. Архів оригіналу за 30 липня 2012. Процитовано 14 серпня 2012.
- Wolfram, Stephen (7 травня 2012). . Stephen Wolfram Blog. Архів оригіналу за 19 червня 2012. Процитовано 14 серпня 2012.
- Wolinsky, Jacob. 190 Books Recommended by Bill Gates. Процитовано 4 квітня 2018.
- Bailey, David (September 2002). (PDF). Computing in Science and Engineering: 79—81. Архів оригіналу (PDF) за 5 вересня 2008. Процитовано 28 травня 2009.
- Gray, Lawrence (2003). (PDF). Notices of the AMS. 50 (2): 200—211. Архів оригіналу (PDF) за 11 лютого 2019. Процитовано 19 квітня 2019.
- Drysdale, David. . Архів оригіналу за 20 травня 2019. Процитовано 19 квітня 2019.
- Weiss, Peter (2003). . Science News. Архів оригіналу за 19 квітня 2019. Процитовано 19 квітня 2019.
- Aaronson, Scott (2002). . Quantum Information and Computation. 2 (5): 410—423. Архів оригіналу за 14 лютого 2019. Процитовано 19 квітня 2019.
- Bell, J. S. (1981). Bertlmann's socks and the nature of reality. Journal de Physique. 42 (C2): 41—61.
- 't Hooft, G. (15 вересня 2012). Discreteness and Determinism in Superstrings. arXiv:1207.3612 [hep-th].
- , 1990, «Information, physics, quantum: The search for links» in W. Zurek (ed.) Complexity, Entropy, and the Physics of Information. Redwood City, CA: Addison-Wesley.
- Lee Smolin, «Matrix models as non-local hidden variables theories [ 19 квітня 2019 у Wayback Machine.]», 2002; also published in Quo Vadis Quantum Mechanics? The Frontiers Collection [ 1 березня 2019 у Wayback Machine.], , 2005, pp 121—152, .
- . usf.edu. Архів оригіналу за 5 вересня 2008. Процитовано 19 квітня 2019.
- . Архів оригіналу за 27 грудня 2016. Процитовано 19 квітня 2019.
- Schmidhuber, Jurgen. . CERN Courier. Архів оригіналу за 2 січня 2014. Процитовано 19 квітня 2019.
- Weinberg, S. (24 жовтня 2002). . The New York Review of Books. Архів оригіналу за 12 березня 2010. Процитовано 19 квітня 2019.
- Lavers, Chris (3 серпня 2002). How the cheetah got his spots. London: The Guardian. Процитовано 28 травня 2009.
Посилання
- Новий вид науки безкоштовної електронної книги
- Чуа, Леон О, Перспектива нелінійної динаміки нового виду науки Вольфрама (том V) [1]. Всесвітня наукова публікація, березень, 2012.
- WolframTones: Експеримент у новому виді музики Блог NKS
- InformationSpace. Причинно-наслідковий інструмент дослідження, який підтримує одновимірні причинно-наслідкові множини, такі як знайдені в книзі.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Novij vid nauki angl A New Kind of Science ce superechliva kniga bestseler Stivena Volframa opublikovana jogo vlasnoyu kompaniyeyu v 2002 roci Vona mistit empirichne i sistematichne doslidzhennya obchislyuvalnih sistem takih yak klitinni avtomati Volfram nazivaye taki sistemi prostimi programami i stverdzhuye sho filosofiya nauki i metodi yaki vidpovidayut zadachi vivchennyu prostih program mayut vidnoshennya do inshih galuzej nauki A New Kind of Science AvtorStiven VolframMovaanglijskaTemaskladna sistemaZhanrnon fikshn d VidavnictvoWolfram ResearchVidano2002 Cyu stattyu treba vikifikuvati dlya vidpovidnosti standartam yakosti Vikipediyi Bud laska dopomozhit dodavannyam dorechnih vnutrishnih posilan abo vdoskonalennyam rozmitki statti kviten 2019 ZmistObchislennya ta jogo naslidki Teza Novogo vidu nauki ye dvoyakoyu harakter obchislen povinen doslidzhuvatisya eksperimentalno a rezultati cih eksperimentiv mayut velike znachennya dlya rozuminnya fizichnogo svitu Pochinayuchi z 30 h rokiv minulogo stolittya obchislennya v osnovnomu mali dva pidhodi inzheneriya yaka pragne pobuduvati praktichni sistemi z vikoristannyam obchislen i matematika yaka pragne dovesti teoremi pro obchislennya Odnak yak i v 1970 h rokah obchislyuvalna tehnika bula opisana yak perehrestya matematichnih inzhenernih ta empirichnih pidhodiv Volfram predstavlyaye tretij pidhid yakij pragne empirichno doslidzhuvati samu tehniku obchislennya vin stverdzhuye sho dlya cogo neobhidnij absolyutno novij metod oskilki tradicijna matematika ne v zmozi osmisliti skladni sistemi i sho isnuye verhnya mezha skladnosti u vsih sistemah Prosti programi Osnovnim predmetom za teoriyeyu Volframa ye vivchennya prostih abstraktnih pravil po suti elementarnih komp yuternih program Praktichno v bud yakomu klasi obchislyuvalnoyi sistemi mozhna zitknutisya zi skladnostyami navit u najprostishih vipadkah pislya poslidovnogo u chasi ryadu bagatorazovih iteracijnih cikliv zastosovuyuchi odin i toj samij prostij nabir pravil sam do sebe podibno samo pidsilyuyuchomu ciklu yakij vikoristovuye nabir pravil Ce zdayetsya istinnim nezalezhno vid komponentiv sistemi ta detalej yiyi nalashtuvannya Sistemi yaki predstavleno u knizi vklyuchayut sered inshogo klitinni avtomati v odnomu dvoh i troh vimirah mobilni avtomati mashini Tyuringa v 1 i 2 vimirah dekilka riznovidiv zamisnoyi ta merezhevoyi sistem primitivni rekursivni funkciyi vkladeni rekursivni funkciyi kombinatori en registrovi mashini en Dlya togo shob programa kvalifikuvalasya yak prosta isnuye kilka vimog Yiyi robotu mozhna povnistyu poyasniti prostoyu grafichnoyu ilyustraciyeyu Yiyi mozhna poyasniti dekilkoma rechennyami lyudskoyi movi Vona mozhe buti realizovana komp yuternoyu movoyu vikoristovuyuchi lishe kilka ryadkiv kodu Kilkist yiyi mozhlivih variacij ye dostatno maloyu nastilki sho vsi voni mozhut buti obchisleni Yak pravilo prosti programi mayut duzhe prostu abstraktnu strukturu Prosti klitinni avtomati mashini Tyuringa i kombinatori ye prikladami takih struktur karkasiv todi yak bilsh skladni klitinni avtomati ne obov yazkovo rozglyadayutsya yak prosti programi Mozhlivo takozh vinajti novi strukturi zokrema shob ohopiti robotu prirodnih sistem Osoblivistyu prostih program ye te sho znachna chastina z nih zdatna viroblyati veliku skladnist Pererahuvannya vsih mozhlivih variantiv praktichno bud yakogo klasu program shvidko prizvodit do nespodivanih prikladiv Todi vinikaye pitannya yaksho programa nastilki prosta zvidki vinikaye skladnist U pevnij miri u viznachenni programi ne vistachaye miscya dlya bezposerednogo koduvannya vsih dij programi Tomu prosti programi mozhna rozglyadati yak proyav emerdzhentnosti Logichnim visnovkom z cogo yavisha ye te sho yaksho detali pravil programi ne stosuyutsya pravil jogo povedinki to duzhe vazhko rozrobiti prostu programu dlya vikonannya bezposeredno konkretnoyi povedinki Alternativnij pidhid polyagaye v tomu shob sprobuvati sproektuvati prostu zagalnu obchislyuvalnu osnovu a potim vikonati poshuk za vsima mozhlivimi komponentami dlya najkrashoyi vidpovidnosti Prosti programi zdatni na znachnij diapazon povedinki Deyaki z nih viyavilisya universalnimi komp yuterami Inshi proyavlyayut vlastivosti sporidneni z tradicijnoyu naukoyu taki yak termodinamichna povedinka kontinualna povedinka en perkolyaciya chutliva zalezhnist vid pochatkovih umov ta inshi Voni vikoristovuyutsya yak modeli ruhu rujnuvannya materialiv en biologichnogo zrostannya riznomanitnih sociologichnih geologichnih ta ekologichnih yavish Insha osoblivist prostih program polyagaye v tomu sho za knigoyu yaksho yih uskladniti to zdayetsya sho ce malo vplivaye na zagalnu skladnist Novij vid nauki svidchit pro te sho prostih program dostatno shob ohopiti sut praktichno bud yakoyi skladnoyi sistemi Kartuvannya ta vidobutok obchislyuvalnogo vsesvitu Dlya vivchennya prostih algoritmiv ta yih chasto neperdbachuvanogo vplivu Volfram stverdzhuye sho ye neobhidnist doslidzhuvannya obchislyuvalni sistemi i yiyi vplivu za algoritmom Dali mova jde pro te sho ce doslidzhennya povinno stati novoyu galuzzyu nauki yak fizika abo himiya Osnovnoyu metoyu ciyeyi sferi diyalnosti ye rozuminnya ta harakteristika obchislyuvalnogo vsesvitu z vikoristannyam eksperimentalnih metodiv Zaproponovana nova galuz naukovogo doslidzhennya dopuskaye bagato riznih form naukovogo virobnictva Napriklad yakisni klasifikaciyi chasto ye rezultatom pochatkovih nabigiv u obchislyuvalni dzhungli Z inshogo boku dopustimi takozh vidimi dokazi togo sho deyaki sistemi obchislyuyut pevnu funkciyu Isnuyut takozh deyaki formi virobnictva yaki pevnoyu miroyu ye unikalnimi dlya ciyeyi galuzi doslidzhennya Napriklad vidkrittya obchislyuvalnih mehanizmiv sho vinikayut u riznih sistemah ale v suttyevo riznih formah Inshij vid virobnictva peredbachaye stvorennya program dlya analizu obchislyuvalnih sistem Za teoriyeyu iz knigi voni sami povinni buti prostimi programami yaki mayut spilnu metu i metodologiyu Rozshirennya ciyeyi ideyi polyagaye v tomu sho lyudskij rozum sam ye obchislyuvalnoyu sistemoyu otzhe nadannya yij neobroblenih danih nastilki mozhlivim efektivnim sposobom maye virishalne znachennya dlya doslidzhennya Volfram vvazhaye sho programi ta yih analiz mayut buti vizualizovani yaknajtochnishe tisyachami i bilshe Oskilki cya nova sfera stosuyetsya abstraktnih pravil vona mozhe v principi virishuvati pitannya sho stosuyutsya inshih galuzej nauki Odnak zagalom ideya Volframa polyagaye v tomu sho v komp yuternomu vsesviti mozhna vidkriti novi ideyi i mehanizmi de voni mozhut buti predstavleni v najprostishih formah a potim naukovci v inshih sferah diyalnosti matimut zmogu vibirati ti yaki voni vvazhatimut aktualnimi Za Volframom Fundamentalnoyu temoyu Novogo Vidu Nauki ye te sho obchislyuvalnij vsesvit maye nejmovirni bagatstva Virishalnim pidtverdzhennyam cogo virazu ye isnuvannya nejmovirnih rechej yaki mozhut buti vikoristani za vlasnoyu potreboyu Sistematichna abstraktna nauka Hocha Volfram vistupaye za prosti programi yak naukovu disciplinu vin takozh stverdzhuye sho jogo metodologiya stane prorivom v inshih galuzyah nauki V osnovi jogo argumentaciyi lezhit te sho vivchennya prostih program ye minimalno formoyu zasvoyennya nauki zasnovanim odnakovo yak na abstrakciyi tak i na empirichnih eksperimentah Kozhen aspekt metodologiyi sho opisano v knizi pidibranij dlya togo shob zrobiti eksperimenti yakomoga bilsh pryamimi legkimi ta znachushimi odnochasno maksimizuyuchi shansi eksperimentu zrobiti shos nespodivane Podibno do togo yak cya metodologiya dozvolyaye vivchati obchislyuvalni mehanizmi u najprostishih formah Volfram stverdzhuye sho cej proces pov yazanij z matematichnoyu osnovoyu fizichnogo svitu i tomu mozhe bagato chogo zaproponuvati nauci Volfram stverdzhuye sho obchislyuvalni realiyi Vsesvitu roblyat nauku zhorstkoyu z fundamentalnih prichin Ale vin takozh stverdzhuye sho rozumiyuchi vazhlivist cih realij mi mozhemo navchitisya vikoristovuvati yih na svoyu korist Napriklad zamist zvorotnogo konstruyuvannya nashih teorij vid sposterezhennya mi u zmozi en sistemi a potim sprobuvati porivnyati yiyi z proyavami yaki mi sposterigayemo Osnovna tema knigi polyagaye v doslidzhenni strukturi sferi mozhlivostej Volfram stverdzhuye sho nauka maye vuzkij profil chastkovo tomu cherez te sho modeli yaki vikoristovuyetsya ye nevipravdano skladnimi obmezhenih tradiciyah matematiki Volfram vistupaye za vikoristannya modelej variaciyi yakih mozhna perelichiti i chiyi naslidki legko rozrahuvati i proanalizuvati Filosofske pidgruntya Obchislyuvalna nezvidnist Volfram stverdzhuye sho odnim z jogo dosyagnen ye zabezpechennya cilisnoyi sistemi idej sho vipravdovuye obchislennya yak organizacijnij princip nauki Napriklad vin stverdzhuye sho koncepciya en sho deyaki skladni obchislennya ne mozhna sprostiti zreshtoyu prichinoyu togo sho obchislyuvalni modeli prirodi povinni rozglyadatisya na dodatok do tradicijnih matematichnih modelej Analogichnim chinom jogo uyavlennya pro vnutrishnye generuvannya vipadkovostej stverdzhuye sho prirodni sistemi mozhut porodzhuvati svoyu vlasnu vipadkovist a ne vikoristovuvati teoriyu haosu abo stohastichni oburennya mayetsya na uvazi sho obchislyuvalni modeli ne povinni vklyuchati v sebe yavni vipadkovosti Princip obchislyuvalnoyi ekvivalentnosti Vihodyachi z jogo eksperimentalnih rezultativ Volfram rozrobiv princip obchislyuvalnoyi ekvivalentnosti POE princip dopuskaye sho sistemi znajdeni v prirodnomu sviti mozhut vikonuvati obchislennya do maksimalnogo universalnogo rivnya obchislyuvalnoyi potuzhnosti Bilshist sistem mozhut dosyagti cogo rivnya Sistemi v principi obchislyuyut ti zh rechi sho j komp yuter Tomu obchislennya ce prosto pitannya perekladu vvodu i vivodu z odniyeyi sistemi v inshu Otzhe bilshist sistem ye obchislyuvalno ekvivalentnimi Zaproponovanimi prikladami takih sistem ye lyudski ideyi ta evolyuciya pogodnih sistem Princip mozhe buti poyasnenij takim chinom majzhe vsi procesi yaki ne ye ochevidnimi mayut ekvivalentnu skladnist Z cogo principu Volfram malyuye cilij ryad konkretnih visnovkiv yaki vin dovodit pidkriplyuyuchi jogo teoriyu Mozhlivo najvazhlivishim z nih ye poyasnennya togo chomu mi vidchuvayemo vipadkovist i skladnist chasto sistemi yaki mi analizuyemo ye takimi zh skladnimi yak i mi Takim chinom skladnist ne ye osoblivoyu yakistyu sistem yak napriklad ponyattya tepla a prosto etiketkoyu dlya vsih sistem yaki ye skladnimi Volfram stverdzhuye sho rozuminnya cogo robit mozhlivim normalnu nauku paradigmi ciyeyi knigi Volfram dovodit sho yak i bilshist najvazhlivishih naukovih idej princip obchislyuvalnoyi ekvivalentnosti dozvolyaye nauci buti dostupnoyu vsim vkazavshi novi sposobi za yakimi lyudi ne ye osoblivimi tobto stverdzhuvalosya sho skladnist lyudskogo intelektu robit nas osoblivimi ale Princip stverdzhuye inakshe U pevnomu sensi bagato idej Volframa bazuyutsya na rozuminni naukovogo procesu vklyuchayuchi lyudskij rozum sho diye v mezhah togo samogo vsesvitu yakij vin vivchaye a ne perebuvaye poza nim Programi ta rezultati U knizi isnuye nizka konkretnih rezultativ ta idej i voni mozhut buti perelicheni za kilkoma temami Odna zagalna tema prikladiv i dodatkiv demonstruye naskilki malo skladnosti potribno dlya dosyagnennya cikavoyi povedinki i yak pravilna metodologiya mozhe viyaviti taku povedinku Po pershe isnuye kilka vipadkiv koli kniga vvodit te sho bulo pid chas skladannya knigi najprostishoyu vidomoyu sistemoyu v yakomus klasi sho maye pevnu harakteristiku Deyaki prikladi vklyuchayut pershu primitivnu rekursivnu funkciyu sho privodit do skladnosti v najmenshij universalnij mashini Tyuringa i najkorotshij aksiomi dlya proporcijnogo obchislennya Podibno do cogo Volfram takozh demonstruye bagato prostih program yaki zobrazhuyut yavisha taki yak fazovi perehodi en kontinualne povedinka i termodinamika znajomi z tradicijnoyi nauki Prosti en prirodnih sistem takih yak rist obolonok turbulentnist ridini ta filotaksis ye ostannoyu kategoriyeyu dodatkiv sho potraplyayut u cyu temu Inshoyu zagalnoyu temoyu ye navedennya faktiv pro obchislyuvalnij vsesvit v cilomu ta vikoristannya yih dlya obgruntuvannya cilej Napriklad Volfram obgovoryuye yak fakti pro obchislyuvalnij vsesvit pidtverdzhuyut evolyucijnu teoriyu SETI vilnu volyu teoriyu obchislyuvalnoyi skladnosti i filosofski oblasti taki yak ontologiya gnoseologiya i navit postmodernizm Volfram pripuskaye sho teoriya obchislyuvalnoyi nezvidnosti mozhe zabezpechiti dozvil na isnuvannya vilnoyi voli v nominalno determinovanomu vsesviti Vin stverdzhuye sho obchislyuvalnij proces u mozku istoti z vilnoyu voleyu naspravdi ye dostatno skladnim dlya vrahuvannya u bilsh prostomu obchislenni cherez princip obchislyuvalnoyi nezvidnosti Takim chinom hocha cej proces dijsno determinovanij ne isnuye krashogo sposobu viznachiti volyu istoti nizh po suti zapustiti eksperiment i dozvoliti jogo vikonuvati Kniga takozh mistit velicheznu kilkist individualnih rezultativ yak eksperimentalnih tak i analitichnih pro te sho obchislyuye konkretnij avtomat abo yaki jogo harakteristiki vikoristovuyuchi deyaki metodi analizu Kniga mistit novij tehnichnij rezultat sho opisuye povnotu stilnikovogo avtomata Tyuringa za Pravilom 110 Duzhe malenki mashini Tyuringa mozhut imituvati Pravilo 110 yake Volfram demonstruye vikoristovuyuchi 5 simvolnu universalnu mashinu Tyuringa z dvoma stanami Volfram pripuskaye sho osobliva 3 simvolna mashina Tyuringa z dvoma stanami ye universalnoyu U 2007 roci v ramkah svyatkuvannya p yatoyi richnici knigi kompaniya Volfram zaproponuvala premiyu v rozmiri 25 000 dolariv za dokaz togo sho cya mashina Tyuringa ye universalnoyu Aleks Smit student fakuleta komp yuternih nauk z Birmingema Velika Britaniya otrimav priz v kinci cogo roku dovivshi gipotezu Volframa Litnya naukova shkolaShoroku Volfram i jogo grupa instruktoriv organizovuyut litnyu shkolu Z 2003 po 2006 rik ci zanyattya prohodili v Universiteti Brauna U 2007 roci litnyu shkolu rozpochav universitet shtatu Vermont u Berlingtoni za vinyatkom 2009 roku yakij vidbuvsya v Instituti nauki i tehniki v Indiyi v Pizi Italiya U 2012 roci programa bula provedena v Curry College v Miltoni shtat Massachusets Z 2013 roku Litnya shkola Volfram provoditsya shorichno v Universiteti Bentli v Uoltem shtat Massachusets U 15 litnih shkolah vzyali uchast bilshe 550 osib deyaki z yakih prodovzhuvali rozvivati svoyi 3 tizhnevi doslidnicki proekti v yakosti magisterski abo doktorski disertaciyi Deyaki doslidzhennya provedeni v litnij shkoli bulo opublikovani PrijomBagato zhurnaliv publikuvali statti pro Novij vid nauki vklyuchayuchi Nyu Jork tajms Newsweek Wired i The Economist Deyaki vcheni nazivali knigu zarozumiloyu i nazivali yiyi fatalnu vadu prosti sistemi taki yak stilnikovi avtomati ne ye dostatno skladnimi shob opisati stupin skladnosti isnuyuchih sistem i zauvazhili sho Volfram ignoruvav doslidzhennya sho klasifikuvali skladnist sistem Hocha kritiki sprijmayut doslidzhennya Volframa yaki demonstruyut universalni obchislennya voni vvazhayut yih neznachnim i zaperechuyut tverdzhennya Volframa pro zminu paradigmi Inshi vvazhali sho robota mistit cinnu novu ideyu Volfram zvernuvsya do svoyih kritikiv u seriyi povidomlen u blozi U statti opublikovanij 3 kvitnya 2018 roku Novij vid nauki buv vklyuchenij do chisla 190 knig rekomendovanih Billom Gejtsom Naukova filosofiya Princip knigi polyagaye v tomu sho chim prostishe sistema tim bilshe jmovirnist togo sho versiya bude povtoryuvatisya v shirokomu diapazoni bilsh skladnih kontekstiv Tomu Volfram stverdzhuye sho sistematichne vivchennya prostoru prostih program prizvede do bazi gruntovnih znan Odnak bagato vchenih vvazhayut sho z usih mozhlivih parametriv lishe deyaki dijsno vidbuvayutsya u Vsesviti Napriklad z usih mozhlivih perestanovok simvoliv sho skladayut rivnyannya bilshist bude suttyevo bezgluzdim V knizi takozh kritikuvali za te sho stverdzhuyut sho povedinka prostih sistem yakimos chinom ye reprezentativnoyu dlya vsih sistem Metodologiya Zagalnoyu kritikoyu ye te sho vona ne dotrimuyetsya ustalenoyi naukovoyi metodologiyi Napriklad kniga ne vstanovlyuye zhorstkih matematichnih viznachen i ne namagayetsya dovesti teoremi i bilshist formul i rivnyan zapisani na Mathematica i ne standartnimi poznachennyami Cherez nadmirnu naochnist veliku kilkistyu informaciyi sho peredayetsya zobrazhennyami yaki ne mayut formalnogo znachennya knigu takozh kritikuvali Volfram takozh kritikuvavsya za te sho ne vikoristovuye suchasnih doslidzhen u sferi skladnosti osoblivo roboti yaki vivchali skladnist z suvoroyi matematichnoyi tochki zoru I ce rozkritikuvali za nepravdivu teoriyu haosu U vsij knizi vin ototozhnyuye teoriyu haosu z yavishem chutlivoyi zalezhnosti vid pochatkovih umov Utilita Knigu kritikuvali cherez te sho ne nadaye konkretnih rezultativ yaki mogli b negajno buti zastosovanimi do potochnih naukovih doslidzhen Isnuye takozh kritika neyavna i yavna sho vivchennya prostih program malo pov yazane z fizichnim vsesvitom i tomu maye obmezhenu cinnist Stiven Vajnberg vidznachiv sho zhodna realna sistema svitu ne bula poyasnena za dopomogoyu metodiv Volframa Princip obchislyuvalnoyi ekvivalentnosti Princip obchislyuvalnoyi ekvivalentnosti kritikuyut za rozplivchastist nematematichnist ta vidsutnist pryamoyi perevirki prognoziv Vin takozh kritikuvavsya za te sho superechit duhu doslidzhen v galuzi matematichnoyi logiki i teoriyi obchislyuvalnoyi skladnosti yaki pragnut zrobiti dribnodispersni vidminnosti mizh rivnyami obchislyuvalnoyi skladnosti i nepravilno poyednuyuchi rizni vidi vlastivosti universalnosti Krim togo taki kritiki yak Rej Kurcvejl stverdzhuyut sho vin ignoruye vidminnist mizh obladnannyam ta programnim zabezpechennyam hocha dva komp yuteri mozhut buti ekvivalentnimi za potuzhnistyu ne viplivaye sho bud yaki dvi programi yaki voni mozhut vikonuvati takozh ye ekvivalentnimi Inshi vvazhayut sho ce vsogo lishe povtorne vikladennya tezi Cerkvi Tyuringa Fundamentalna teoriya Glava 9 Rozdumi Volframa pro napryamok fundamentalnoyi teoriyi fiziki nazivali neviznachenimi i zastarilimi en profesor komp yuternih nauk v Universiteti Tehasu Ostin takozh stverdzhuye sho metodi Volframa ne mozhut buti sumisnimi yak iz specialnoyu teoriyeyu vidnosnosti tak i z porushennyami teoremi Bella otzhe ne mozhe poyasniti sposterezhuvani rezultati en Odnak argumenti Aaronsona ye abo pravilnimi i zastosovuyutsya do vsiyeyi naukovoyi oblasti kvantovoyi gravitaciyi yaka pragne znajti teoriyi sho ob yednuyut teoriyu vidnosnosti ta kvantovu mehaniku abo zh voni ye fundamentalnimi nedolikami napriklad pid nelokalnoyu prihovanoyu teoriyeyu zminnih superdeterminizmu viznanoyu samim Bellom i navit vivcheni napriklad Fizika laureata Nobelivskoyi premiyi Zherarda Hoofta div takozh vidpovidi na kritiku cifrovoyi fiziki Edvard Fredkin i Konrad Cuze stali pionerami ideyi obchislyuvalnogo Vsesvitu koli vin napisav ryadok u svoyij knizi pro te yak svit mozhe buti shozhim na stilnikovij avtomat a piznishe Fredkin rozvinuv yiyi za dopomogoyu igrashkovoyi modeli yaka nazivayetsya Salt Kazali sho u knizi ye sprobi prijnyati ci ideyi yak svoyu vlasni ale model Vsesvitu Volframa ye merezheyu perepisuvannya a ne stilnikovim avtomatom yak sam Volfram zaproponuvav shob klitinnij avtomat ne mig vrahuvati vidnosni osoblivosti taki yak absolyutnij chasovij promizhok Yurgen Shmidhuber takozh visunuv zvinuvachennya sho jogo robota nad mashinnoyu obchislyuvalnoyu fizikoyu Tyuringa bula vkradena a same jogo ideya pro pererahuvannya mozhlivih obchislyuvalnih vsesvitiv Tyuringa U oglyadi NKS u 2002 roci laureat Nobelivskoyi premiyi ta fizik elementarnih chastinok Stiven Vajnberg napisav Sam Volfram ye fizikom z elementarnih chastinok i ya vvazhayu sho vin ne mozhe protistoyati sprobam zastosuvati svij dosvid z cifrovimi komp yuternimi programami v zakoni prirodi Ce privelo jogo do dumki takozh rozglyanuto v roboti 1981 roku Richarda Fejnmana sho priroda diskretna a ne bezperervna Vin pripuskaye sho prostir skladayetsya z naboru izolovanih tochok takih yak klitini v klitinnomu avtomati i sho navit chas teche v diskretnih krokah Sliduyuchi ideyi Edvarda Fredkina vin robit visnovok sho sam Vsesvit bude avtomatom yak gigantskij komp yuter Ce mozhlivo ale ya ne bachu niyakoyi motivaciyi dlya cih mirkuvan za vinyatkom togo sho ce taka sistema do yakoyi Volfram ta inshi zvikli v svoyij roboti na komp yuterah Tak sho teslyar divlyachis na misyac mozhe pripustiti sho vin zroblenij z dereva Nobelivskij laureat Zherar t Hooft neshodavno takozh zaproponuvav ob yednuyuchu teoriyu kvantovoyi gravitaciyi na osnovi klitinnogo avtomata yak interpretaciyu teoriyi superstrun de evolyucijni rivnyannya ye klasichnimi Yak teoriya bozonnih strun tak i teoriya superstrun mozhut buti pereformulovani v terminah specialnoyi bazi staniv viznachenoyi na prostorovo chasovij reshitci z dovzhinoyu gratki 2 p a displaystyle 2 pi sqrt alpha Prirodnij vidbir Stverdzhennya Volframa pro te sho prirodnij vidbir ne ye fundamentalnoyu prichinoyu skladnosti v biologiyi zmusilo zhurnalista vchenogo Krisa Laversa stverdzhuvati sho Volfram ne rozumiye teoriyu evolyuciyi Originalnist Kniga bula rozkritikovana za te sho vona ne ye originalnoyu abo dostatno vazhlivoyu shob vipravdati svoyu nazvu ta pretenziyi Avtoritetnij sposib yakim kniga predstavlyaye velicheznu kilkist prikladiv i argumentiv kritikuvali tak sho ce navodit chitacha na dumku sho kozhna z cih idej ye originalnoyu dlya Volframa zokrema odnim z najbilsh suttyevih novih tehnichnih rezultativ predstavlenih u Knizi sho pravilo 110 stilnikovogo avtomata Tyuringa povnistyu ne bulo dovedeno Volfremom a skorishego jogo pomichnikom doslidnikom en Prote rozdil primitok naprikinci knigi viznaye bagato vidkrittiv zroblenih cimi inshimi vchenimi posilayuchis na yih imena razom z istorichnimi faktami hocha i ne u formi tradicijnogo bibliografichnogo rozdilu Krim togo ideya pro te sho duzhe prosti pravila chasto stvoryuyut veliku skladnist vzhe ye ustalenoyu ideyeyu v nauci zokrema v teoriyi haosu i skladnih sistemah Div takozhCifrova fizika Redukcionizm en Algoritm Universalnogo shtuchnogo intelektu en PrimitkiRosen Judith 2003 Weighing Wolfram s New Kind of Science Publishers Weekly Arhiv originalu za 29 grudnya 2012 Procitovano 1 kvitnya 2019 Wegner Peter 1976 Research Paradigms in Computer Science Proceedings of the 2nd International Conference on Software Engineering San Francisco CA USA IEEE Press s 322 330 Denning Peter J ta in 1989 Computing as a Discipline Communications of the ACM 32 1 9 23 doi 10 1145 63238 63239 PDF Arhiv originalu PDF za 10 travnya 2017 Procitovano 19 kvitnya 2019 blog stephenwolfram com angl Arhiv originalu za 19 kvitnya 2019 Procitovano 25 travnya 2017 The Wolfram 2 3 Turing Machine Research Prize originalu za 15 May 2011 Procitovano 31 bereznya 2011 The Wolfram 2 3 Turing Machine Is Universal originalu za 19 kvitnya 2019 Procitovano 24 zhovtnya 2007 Technical Commentary on Wolfram 2 3 Turing machine universality proof originalu za 19 kvitnya 2019 Procitovano 24 zhovtnya 2007 wolframscience com Arhiv originalu za 3 bereznya 2016 Procitovano 19 kvitnya 2019 wolframscience com Arhiv originalu za 10 bereznya 2016 Procitovano 19 kvitnya 2019 wolframscience com Arhiv originalu za 27 bereznya 2012 Procitovano 19 kvitnya 2019 Rowland 2008 A natural prime generating recurrence Journal of Integer Sequences 11 8 28 arXiv 0710 3217 Bibcode 2008JIntS 11 28R Bolognesi Tommaso 10 veresnya 2007 Planar Trivalent Network Computation T 4664 s 146 157 doi 10 1007 978 3 540 74593 8 13 ISBN 978 3 540 74592 1 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite book title Shablon Cite book cite book a Proignorovano journal dovidka Palasek S 2013 PDF Complex Systems 22 2 193 202 doi 10 25088 ComplexSystems 22 2 193 Arhiv originalu PDF za 30 kvitnya 2016 Procitovano 19 kvitnya 2019 Johnson George 9 chervnya 2002 The New York Times Arhiv originalu za 24 kvitnya 2012 Procitovano 28 travnya 2009 Levy Stephen 27 travnya 2002 Newsweek Arhiv originalu za 16 kvitnya 2009 Procitovano 28 travnya 2009 Levy Stephen June 2002 The Man Who Cracked The Code to Everything Wired originalu za 27 May 2009 Procitovano 28 travnya 2009 The Economist 30 travnya 2002 Arhiv originalu za 22 zhovtnya 2008 Procitovano 28 travnya 2009 Kurzweil Ray 13 travnya 2002 Kurzweil Accelerating Intelligence Blog Arhiv originalu za 19 kvitnya 2019 Procitovano 19 kvitnya 2019 Shalizi Cosma 21 zhovtnya 2005 The Bactra Review 132 Arhiv originalu za 30 travnya 2015 Procitovano 19 kvitnya 2019 Rucker Rudy November 2003 PDF American Mathematical Monthly 110 9 851 61 doi 10 2307 3647819 JSTOR 3647819 Arhiv originalu PDF za 20 bereznya 2009 Procitovano 28 travnya 2009 Berry Michael Ellis John Deutch David 15 travnya 2002 PDF The Daily Telegraph Arhiv originalu PDF za 19 travnya 2012 Procitovano 14 serpnya 2012 Wolfram Stephen 12 travnya 2012 Stephen Wolfram Blog Arhiv originalu za 30 lipnya 2012 Procitovano 14 serpnya 2012 Wolfram Stephen 7 travnya 2012 Stephen Wolfram Blog Arhiv originalu za 19 chervnya 2012 Procitovano 14 serpnya 2012 Wolinsky Jacob 190 Books Recommended by Bill Gates Procitovano 4 kvitnya 2018 Bailey David September 2002 PDF Computing in Science and Engineering 79 81 Arhiv originalu PDF za 5 veresnya 2008 Procitovano 28 travnya 2009 Gray Lawrence 2003 PDF Notices of the AMS 50 2 200 211 Arhiv originalu PDF za 11 lyutogo 2019 Procitovano 19 kvitnya 2019 Drysdale David Arhiv originalu za 20 travnya 2019 Procitovano 19 kvitnya 2019 Weiss Peter 2003 Science News Arhiv originalu za 19 kvitnya 2019 Procitovano 19 kvitnya 2019 Aaronson Scott 2002 Quantum Information and Computation 2 5 410 423 Arhiv originalu za 14 lyutogo 2019 Procitovano 19 kvitnya 2019 Bell J S 1981 Bertlmann s socks and the nature of reality Journal de Physique 42 C2 41 61 t Hooft G 15 veresnya 2012 Discreteness and Determinism in Superstrings arXiv 1207 3612 hep th 1990 Information physics quantum The search for links in W Zurek ed Complexity Entropy and the Physics of Information Redwood City CA Addison Wesley Lee Smolin Matrix models as non local hidden variables theories 19 kvitnya 2019 u Wayback Machine 2002 also published in Quo Vadis Quantum Mechanics The Frontiers Collection 1 bereznya 2019 u Wayback Machine Springer 2005 pp 121 152 ISBN 978 3 540 22188 3 usf edu Arhiv originalu za 5 veresnya 2008 Procitovano 19 kvitnya 2019 Arhiv originalu za 27 grudnya 2016 Procitovano 19 kvitnya 2019 Schmidhuber Jurgen CERN Courier Arhiv originalu za 2 sichnya 2014 Procitovano 19 kvitnya 2019 Weinberg S 24 zhovtnya 2002 The New York Review of Books Arhiv originalu za 12 bereznya 2010 Procitovano 19 kvitnya 2019 Lavers Chris 3 serpnya 2002 How the cheetah got his spots London The Guardian Procitovano 28 travnya 2009 PosilannyaNovij vid nauki bezkoshtovnoyi elektronnoyi knigi Chua Leon O Perspektiva nelinijnoyi dinamiki novogo vidu nauki Volframa tom V 1 Vsesvitnya naukova publikaciya berezen 2012 ISBN 978 981 4390 51 4 WolframTones Eksperiment u novomu vidi muziki Blog NKS InformationSpace Prichinno naslidkovij instrument doslidzhennya yakij pidtrimuye odnovimirni prichinno naslidkovi mnozhini taki yak znajdeni v knizi