Перейти до вмісту

Цей переклад створено автоматично з датованого англійського оригіналу. Канонічною є англійська сторінка. English →

Відсутня наука про самовдосконалюваний цикл · запропонована галузь · стадія Карно

Recursive Dynamics

Датована, публічно виправлювана пропозиція галузі, сформульована разом із результатами, які поклали б їй край: наука про те, як самопідсилювальні системи зростають, виправляються і зберігаються. Стадія Карно означає, що один засадничий мемуар подано і жоден вирішальний експеримент ще нічого не з'ясував. Ще не випробувано, ще не відтворено, ще не наука.

Увесь статус в одному реченні: Recursive Dynamics є запропонованою галуззю на стадії Карно: один мемуар подано, інструменти збудовано, вирішальні вимірювання зареєстровано і ще не проведено, поставлено на кін публічно, там, де невдача буде такою ж помітною, як і успіх.

Засновницька стаття. Пропозиція в повному обсязі, в одному документі: п’ять змінних стану, три закони як названі гіпотези, ARC Ceiling виведена повністю, дванадцять сусідніх полів випробувано як господарів, і п’ятдесят два заперечення з надрукованими рішеннями. Читайте на цьому сайті · PDF DOI 10.17605/OSF.IO/HCPBU.

Читайте це, не довіряючи авторові. Ця програма не має інституційної приналежності, і сайт побудовано так, щоб вона й не була потрібна: кожне твердження веде на свій датований запис, кожне число веде на свій запис у реєстрі, кожен інструмент постачається разом із тестом, який міг би його спростувати. Незалежність має ціну, про яку прямо сказано на цих сторінках, і одну перевагу: немає інституції, яку треба захищати, тож виправлення публікуються того ж дня, коли їх знайдено. Судіть про роботу за її записом.

Двигун раніше за теорію

У 1824 році парова машина була найзначущішою машиною на землі, і ніхто не міг сказати, що її обмежує. Інженери вдосконалювали машини так, як це роблять інженери: будували наступну; питання про те, на що здатна будь-яка машина незалежно від своєї конструкції, було не просто без відповіді, а не поставлене, бо не належало жодному наявному предметові. Саді Карно поставив його в мемуарі, що заснував науку, і відтоді ця схема повторювалася: теорія інформації з'явилася 1948 року, бо інженерія зв'язку переросла всі наявні математичні рамки.

Теперішній момент має саме таку форму. Тепер є системи, що вдосконалюють власні результати за допомогою власних результатів: моделі, які критикують і переглядають свої міркування, конвеєри, що породжують власний навчальний сигнал, лабораторії, що автоматизують частини власного дослідницького циклу. Вони працюють. Запитайте, що їх обмежує, і література відповість сценаріями та прогнозами, а не змінними стану й граничними теоремами. Це не критика літератури; це діагностична ознака відсутньої галузі.

Коли робочі машини випереджають свою теорію, утворюється не гілка старої галузі, а нова галузь, бо рідні об'єкти старих галузей ніколи не були поведінкою машини як такою.

Recursive Dynamics пропонується як така галузь для самовдосконалюваних систем. Решта цієї сторінки каже точно, що стверджується, що ні, як ARC Theory міститься всередині, як виглядає одна межа, виведена повністю, що розчинило б пропозицію і що мало б статися, перш ніж хтось повинен назвати це наукою.

Чому зараз: двигун працює

Датований реєстр чужих польових подій, кожна з посиланням на першоджерело. Жодна не оцінена як передбачення цієї програми; суть лише в тому, що машини існують, що література з нагляду вже припускає відповідь на питання, яке ставить ця галузь, і що лінія неможливості перейшла від аргументу до теореми.

Що тут стверджується, точно

Я ввів цю назву, і ця сторінка є цим твердженням, викладеним ретельно. Що стверджується: системи, які вдосконалюють себе, використовуючи власні результати, поділяють спільну динаміку, з чого б вони не були зроблені. Ця динаміка має власні змінні стану, власні гіпотезовані закони і власні характерні неможливості. Вона заслуговує на вивчення як галузь, і галузь названо Recursive Dynamics. Словник взято із самого запису: запечатаний запис рукопису від 8 грудня 2024 року вже говорить про «the recursive dynamics that govern existence itself», звірене дослівно з хешем запису в реєстрі цитат. Назву ухвалено як назву галузі 27 серпня 2026 року.

Що не стверджується: що галузь є усталеною наукою. Її закони є гіпотезами з оголошеним статусом; її вирішальні експерименти не проведено; незалежне відтворення стоїть на нулі, датовано й чесно, у реєстрі спроб. Назвати галузь означає запропонувати, як упорядкувати питання, і ніколи не є доказом того, що якась відповідь правильна.

хронологія введення терміна, чотири датовані вузли на одній лінії: 8 грудня 2024, запечатаний запис рукопису з реченням the recursive dynamics that govern existence itself, що тримається в реєстрі цитат; 2 січня 2026, книга в друці як датований якір публічного розкриття; 27 серпня 2026, назву ухвалено як назву галузі, оформлено як пропозицію; і попереду вирішальні тести, складені, датовані, що очікують подання людиною, від яких залежить, чи встоїть назва, чи помре. Підпис: назва не є доказом; дати є твердженням, словник передував дисципліні, дисципліна передувала вердикту, а вердикту ще немає
Рисунок | Введення терміна, датоване: від власного словника запису до назви, поставленої на кін. Кожен вузол можна перевірити за публічним реєстром.

Аргумент на користь галузі, оцінений за шістьма ліцензійними умовами

Нову галузь науки не оголошують; її ліцензують умовами, які можна перевірити. Засаднича стаття пропонує шість, оцінює галузь за кожною і оцінює її без лестощів: три виконано, дві виконано наполовину, одну не виконано, і невиконана саме та, якої жоден автор не може забезпечити.

УмоваЧого вона вимагаєОцінкаДокази
Рідний об'єкт, який жодна галузь не бере як первиннийріч, про яку йдеться в питаннях і яку сусіди трактують як похіднувиконанодванадцять галузей-господарів випробувано в їхніх власних змінних; три тримають справжні частини; жодна не формулює зчеплення
Змінні стану, що допускають відношеннякороткий перелік, під яким можна формулювати й вимірювати законивиконано наполовинуп'ять запропоновано й інструментовано; чи їх достатньо, відкрито
Закони як неможливості, з обчисленою межеютвердження, що забороняють, а не описують, і принаймні одне виведеневиконано як гіпотезутри закони зі статусами; ARC Ceiling виведено вище; нічого не підтверджено
Інструменти до результатіввимірювальні інструменти, збудовані й опубліковані до підтверджувальних данихвиконаношкала, стек засліплення, оцінювачі, закріплені тестами, застереження про дефект
Вирішальні тести, зареєстровані з нульовими гіпотезами на користь суперниківексперименти, написані до даних, нульові гіпотези, що належать суперникамвиконанотри зареєстровані вирішальні тести, числа надруковано, не проведено
Незалежне підтвердження і прийняттярезультати іншими руками; використання змінних стороннімине виконанонуль відтворень, датовано; нуль прийняття

Галузь із таким табло є запропонованою галуззю. Три виконані умови це те, що будь-яка ретельна програма може забезпечити сама; шоста та, якої жоден автор забезпечити не може, і та, що вирішує.

Об'єкт, і чому він нікому не належить

Модель, що перевіряє власну відповідь і переписує її. Конвеєр, що оцінює те, що виробив, і навчається на переможцях. Лабораторія, чий наступний експеримент обирає попередній. Визначмо рекурсивну систему як будь-яку систему, чиї результати повертаються в її власний процес удосконалення. Рідним об'єктом галузі є цей цикл. Її сусіди кожен володіє інструментом, і жоден не володіє об'єктом; кожного тут названо з тим, чим він і справді володіє, бо галузь зібрана з боргів перед ними, визнаних у реєстрі посилань.

Теорія динамічних системВолодіє зміною загалом, нерухомими точками та стійкістю і позичає цій дисципліні свою математику. Вона не бере за об'єкт правила оновлення, що переписують самі себе.
КібернетикаВолодіє регулюванням: регулятор утримує об'єкт біля заданого значення, а мету циклу задано ззовні. Тут цикл переписує здатність самого регулятора.
Наука про складністьВолодіє емерджентністю. Вона не має бюджету корекції.
Теорія навчанняФіксує того, хто навчається, і варіює дані. Тут той, хто навчається, варіює себе сам.
Теорія керуванняСтавить регулятор поза об'єктом. Тут регулятор і є об'єктом, зроблений з того самого матеріалу, з тими самими режимами відмов.
Еволюційна динамікаМає мінливість і добір, і не має конструктора, який спрямовував би реінвестування у сам процес удосконалення.
Емпірика законів масштабуванняВимірює здатність відносно зовнішніх ресурсів. Тут ресурс це власний результат системи, що повертається в цикл.
Масштабований наглядБудує коректори, драбинами, і не має теорії того, що обмежує коректор, а саме про це Law III, ARC Ceiling.
Математика функціональних рівняньПостачає машинерію і не заявляється ні як що інше.

Чесна спроба прихистити її деінде

Таблиця сусідів, кожного з яких відкинуто одним реченням, читається як маркетинг саме для тих читачів, які мають значення, бо вона ніколи не пробувала припасування. Засаднича стаття пробує, і заперечення, що вона цього не робила (A11, нижче), визнано для кожної версії до 2.3 і для першої версії цієї сторінки. Для дванадцяти галузей-кандидатів три запитання (наскільки швидко може йти самовдосконалення; що його обмежує; який наглядач встигає) сформульовано у власних змінних господаря, усе, що господар уже покриває, йому поступлено, те, що ламається, названо точно, і названо зареєстрований результат, який перемістив би галузь до цього господаря. Три господарі виявляються власниками справжніх частин теорії, і їх визнано відверто; їх названо як галузі на рівні підручника, а не процитовано, бо тут ніщо не цитується, перш ніж його прочитано.

Господар, у його власних зміннихЩо він тримаєЩо ламаєтьсяПереходить туди, якщо
Теорія ендогенного зростанняЗакон I цілком: показник виробництва знань на наявному запасі, з часткою реінвестування як регуляторомнемає обліку дрейфу, бо ідеї в її моделях не псують запасу, який їх породив, і немає коректора; вона не може сформулювати Закони II чи IIIдрейф і корекція під вимірюванням виявляться невіддільними від здатності, залишивши показник зростання і нічого більше
Теорія масового обслуговуванняформа ARC Ceiling: тягар надходить пропорційно до здобутої здатності, корекція є обслуговувачем, ємність якого масштабується зі здатністю, а система стабільна, поки коефіцієнт навантаження залишається нижче одиницінемає обслуговувача, збудованого з того самого класу, що й його надходження, і тому обмеженого; немає показника глибини; припускається стаціонарністьвимірювання затемнення (відношення класів коректорів, описане під вирішальними експериментами) знімає розрізнення класів
Теорія порогу помилокформа Закону II: темп псування проти темпу корекції з межею між стійкістю і колапсом; а самоадаптивні еволюційні стратегії десятиліттями змушують удосконалювача вдосконалювати самого себедобір зовнішній щодо реплікатора, коректор не має класу, а здатність не є шкалою відношеньперегони корекції проти дрейфу знайдуть межу, але важіль класу нічого не зробить

Решта дев'ять могли б прихистити частини. Адаптивне керування могло б узяти Закон II як розділ про стійкість самомодифікованих регуляторів, якщо змінна класу виявиться порожньою; інженерія надійності програмного забезпечення володіє формою двох оцінювачів темпу; машинне навчання прихищає кожен зареєстрований експеримент і є найімовірнішим інституційним домом, якщо галузь не заслужить своєї назви; емпірика законів масштабування прихищає метод, а не об'єкт; масштабований нагляд інституційно володіє питанням класу і опублікував би результат затемнення, куди б він не впав; статистична фізика взяла б міжгалузеві родини, якщо вони виживуть і не належатимуть жодному циклу; лінія самореферентного вдосконалювача є родоводом, а не господарем; кібернетика другого порядку є філософським господарем без інструментів; метанаука є цариною, в якій галузь випробовували б, а не домом.

Після дванадцяти спроб виживає один залишок, якого жоден господар не може сформулювати у власних змінних: обмеження важеля корекції, що залежить від того, з чого зроблений коректор, зчеплене з показником зростання в рекурсивній глибині, так що стійкий темп самовдосконалення є властивістю класу коректора. Теорія зростання має показник і не має коректора; керування і масове обслуговування мають умову стійкості і не мають класу; нагляд має клас і не має межі; машинне навчання має цикл і не має закону. Recursive Dynamics є назвою цього зчеплення. Якщо зчеплення порожнє, частини повертаються додому і назва помирає, а галузь коштуватиме своїм сусідам не більше, ніж ретельна таблиця.

чесна спроба прихистити цю галузь деінде, намальована як чотири картки-господарі, що сходяться на одному залишку. Теорія ендогенного зростання тримає показник зростання, Law I цілком, і не має коректора і реєстру дрейфу; адаптивне керування і теорія масового обслуговування тримають умову стабільності, форму ARC Ceiling, і не мають класу коректора; масштабований нагляд тримає клас коректора і не має межі того, що коректор може зробити; машинне навчання тримає цикл і кожен зареєстрований експеримент і не має закону. Стрілки сходяться на залишку, якого жоден господар не може сформулювати у власних змінних: обмеження важеля корекції, задане тим, з чого зроблений коректор, зчеплене з показником зростання в рекурсивній глибині. Нижче: частини, які тримають ще сім господарів, і карта розчинення, де кожна частина йде додому, якщо зчеплення порожнє. Демаркація, а не результат
Рисунок | Дванадцять господарів випробувано в їхніх власних змінних, чотирьох намальовано: кожен тримає справжній компонент і не має того, що поруч, а стрілки сходяться на зчепленні, якого жоден не може сформулювати. Якщо зчеплення порожнє, карта нижче каже, куди кожна частина повертається додому.

Галузь має право на існування, коли питання, що мають значення, стосуються об'єкта, який жодна з наявних галузей не бере як первинний. Наскільки швидким може бути самовдосконалення, що його обмежує і який наглядач може встигати: це питання про цикл.

Пропонується п'ять змінних стану, які мають значення незалежно від субстрату, записаних тут точно так, як їх визначає нотаційний хребет програми, бо хребет є єдиним місцем, де символові дозволено щось означати:

Цей перелік здаватиметься довільним. Такими ж здавалися тиск, об'єм, температура, енергія та ентропія, доки не втрималися закони, що їх пов'язують. Твердження, що п'яти достатньо, є частиною того, що галузь має довести. Експериментальний регулятор, який повертають зареєстровані дослідження, частка зусиль, реінвестована в сам процес удосконалення, є маніпуляцією, а не змінною стану, і тут навмисно не має символу: власний нотаційний реєстр маєтку фіксує голу beta, що виконує п'ять різних робіт у корпусі, як іменований клас помилок, і ця сторінка відмовляється додавати шосту.

рідний об'єкт галузі, намальований як цикл: система зі здатністю U виробляє свої результати, роботу, сигнал і правки, які повертаються в процес удосконалення, де глибина R лічить оберти, даючи кращу систему, і цикл обертається знову. Під циклом п'ять змінних стану за нотаційним хребтом: U, здатність на каліброваній шкалі без стелі; R, рекурсивна глибина; beta з індексом C, темп корекції, як швидко внутрішня корекція міцнішає зі зростанням здатності; k, дрейф, помилки, накопичені на одиницю самозміни; і gamma, важіль корекції, як потужність корекції масштабується зі здатністю. Примітка: те, що цих п'яти достатньо для формулювання законів, є частиною того, що галузь має довести
Рисунок | Цикл і його п'ять змінних стану. Символи за нотаційним хребтом v1.6.0: beta_C є темпом корекції Law II, порівнюваним із дрейфом k; гола gamma зарезервована для закону стелі.

Дисципліна шкали передує законові

Перш ніж будь-який закон, принцип вимірювання, засвоєний важким шляхом і ухвалений як засадничий метод: здатність треба вимірювати на шкалі відношень зі справжнім нулем і без стелі. Термодинаміка не могла сформулювати свої закони, доки температура не стала абсолютною. Обмежений відсотковий бал робить із Recursive Dynamics те, що термометр лише в градусах Цельсія робить із третім законом термодинаміки: він робить закони несформульовними, бо бал, обмежений 100 відсотками, не може підкорятися степеневому законові ні в чому. Тому інструмент галузі є каліброваною шкалою складності, латентною мірою на шкалі відношень зі справжнім нулем і без стелі, на якій подвоєння означає те саме на будь-якій висоті; і кожна кількісна поверхня називає, яке з трьох сімейств моделей вона читає, необмежену чи латентну здатність, спад помилки або обмежену продуктивність, бо в кожному показник означає щось інше.

Програма ухвалила це після того, як спіймала власний розібраний приклад на тому, що він проганяв обмежений бал через необмежену арифметику. Виправлення зафіксовано в нотаційний хребет, датовано 27 серпня 2026 року, і урок тут підвищено від виправлення помилки до засадничого принципу.

Як ARC Theory міститься всередині

Спершу простими словами (ARC розшифровується як Artificial Recursive Creation, як це назвав сам документ від грудня 2024 року). Recursive Dynamics є галуззю. ARC Theory є засадничою теорією, запропонованою всередині неї. Eden Protocol є прикладним крилом, на яке вказує теорія, пропозицією того, як корекція потрапляє всередину системи, а не навколо неї. А інструменти є підлогою, на якій усе стоїть.

карта вкладеності: зовнішня рамка, Recursive Dynamics, дисципліна, наука про те, як самопідсилювальні системи зростають, виправляються і зберігаються, якій належать питання, протоколи вимірювання та апарат спростування. Вкладено всередині неї ARC Theory, засаднича теорія з трьома запропонованими законами, кожен несе надруковані умови спростування: Law I ARC Principle, здатність масштабується з рекурсивною глибиною, U дорівнює I помножити на R у степені alpha; Law II ARC Co-Scaling Law, заради стабільності корекція має масштабуватися понад дрейф, beta з індексом C більше за k, доведення в мінімальній моделі, емпірично невирішено; Law III ARC Ceiling, максимальний стійкий показник зростання, за умови gamma в одну другу, що залишається незахищеним припущенням. Поруч із теорією Eden Protocol як прикладне крило, зі стрілкою від теорії: теорія вказує на нього, дисципліна вимірює, чи він працює. Уздовж підлоги інструменти: приладова панель спростування, датований реєстр передбачень, реєстр спроб відтворення, чесний на нулі, і тести, які будь-хто може провести без дозволу. Роздільна за задумом: читач може прийняти питання дисципліни і відкинути відповіді теорії
Рисунок | Карта вкладеності: запропонована дисципліна, намальована так, як вона вкладається. Формулювання трьох законів дослівно взято з декларації на головній сторінці; кожен закон є пропозицією.

Три закони, кожен з оголошеним статусом, бо в цій програмі статус закону подорожує разом із ним усюди:

Роздільне за задумом: читач може прийняти питання галузі і відкинути відповіді теорії. Галузь визначається своїми питаннями; теорія стоїть або гине всередині неї, через вимірювання.

Одна межа, виведена повністю

Карно не описував машини; він обчислив, що не може перевершити жодна машина. Ось відповідник цієї галузі, у двох припущеннях і чотирьох рядках, точно так, як він стоїть у публічному нотаційний хребет.

Нехай здатність зростає як C(R) = C0 (R/R0)^alpha. Здатність тут записано як C, бо саме так її записує нотаційний хребет усередині цього виведення; це та сама величина, що й U в короткому переліку вище. Припустимо дві речі про цикл.

1. Самозміна породжує виправний тягар пропорційно до здобутої здатності: B(R) = b · dC/dR на одиницю глибини.

2. Потужність корекції масштабується зі здатністю у степені: A_c(R) = a · C(R)^gamma, де gamma лежить між нулем і одиницею.

Тоді відношення тягаря до потужності масштабується як

B(R) / A_c(R) ∝ R^[alpha(1 − gamma) − 1]

Усе в показнику. Якщо alpha(1 − gamma) менше за одиницю, корекція асимптотично масштабується понад тягар, який породжує її власне зростання: цикл може працювати. Якщо більше за одиницю, тягар масштабується понад корекцію: цикл урешті захлинається власними помилками, хоч би як добре починав. Точка перетину:

alpha_crit = 1 / (1 − gamma)

і рівність не є автоматично безпечною: за нічиєї результат залежить від коефіцієнтів, затримок і насичення, а це той режим, у якому живе кожна цікава відмова.

Тепер припущення, що дає стелі її число. Коректор, який зводить N корекцій, що поводяться як незалежні вибірки, покращується як корінь із N: gamma дорівнює одній другій. Коректор, збудований з того самого класу, що й система, яку він виправляє, з тією самою архітектурою, навчальним розподілом і сліпими зонами, не може бути антикорельованим із самим собою, тож одна друга є стелею для цього класу, а не типовим значенням. Підстановка дає

alpha_crit = 2

Зростання аж до квадратичного за глибиною є сталим усередині цієї моделі; понад нього ні, якщо тільки коректор не вирветься з-під стелі незалежності, а єдиний зареєстрований спосіб вирватися це змінити те, з чого зроблений коректор.

Ось увесь інженерний зміст галузі в одному реченні: клас складу коректора і є важелем. Жодна драбина нагляду того самого класу не підіймається над своєю стелею, додаючи щаблі.

Ці чотири рядки не встановлюють ні обмеженої шкоди, ні безпеки на скінченному горизонті, ні закону природи. Вони встановлюють умовний перетин, передумови якого вимірні, а саме такою і має бути перша межа молодої галузі. Критику стороннього читача щодо трактування глибини у виведенні надруковано як обмеження, а не відкинуто аргументами; а відкликану форму цього закону, з gamma самою в знаменнику, відкликано 16 серпня 2026 року, і на цьому маєтку вона з'являється лише як відкликання.

одна межа, виведена повністю, як три панелі зі стрілками між ними. Два припущення: тягар зростає зі здобутком, B від R дорівнює b помножити на dC по dR; і потужність масштабується зі здатністю, A з індексом c від R дорівнює a помножити на C від R у степені gamma, а здатність зростає як C від R дорівнює C нуль помножити на R поділити на R нуль у степені alpha. Чотири рядки: відношення тягаря до потужності масштабується як R у степені alpha помножити на один мінус gamma, мінус один; усе в показнику; alpha помножити на один мінус gamma менше за одиницю, корекція масштабується понад власний тягар і цикл може працювати; більше за одиницю, тягар масштабується понад корекцію і цикл захлинається помилками; точка перетину, і Law III, alpha crit дорівнює одиниці поділити на один мінус gamma. Звідки береться число: коректор, який зводить N корекцій, що поводяться як незалежні вибірки, покращується як корінь із N, тож gamma дорівнює одній другій, стеля для коректора того самого класу, а не типове значення; alpha crit дорівнює двом; зростання аж до квадратичного за глибиною є сталим усередині цієї моделі, понад нього ні, якщо тільки коректор не вирветься з-під стелі незалежності, а єдиний зареєстрований вихід це його клас. Темна смуга: увесь інженерний зміст галузі в одному реченні, клас складу коректора і є важелем; жодна драбина нагляду того самого класу не підіймається над своєю стелею, додаючи щаблі. Остання панель про те, чого ці чотири рядки не встановлюють: обмеженої шкоди, безпеки на скінченному горизонті чи закону природи; вони встановлюють умовний перетин, передумови якого вимірні
Рисунок | Стеля, виведена з двох припущень, так, як вона стоїть у нотаційному хребті (EQ-15, EQ-03, EQ-02). Виведення в мінімальній моделі, а не вимірювання.

Прецедент, і дизаналогія, надрукована поруч

Чесним взірцем того, що тут робиться, є термодинаміка, і паралель стосується форми галузі, а ніколи не статусу доказів.

Форма18242026
Інженерна нагальністьпарові машини, що працювали без теорії своїх межсамовдосконалювані системи, що працюють без теорії своїх
Засадничий аналіз до формальних законівмемуар Карно, один автор, до Клаузіуса й Кельвінаодин мемуар, три закони як іменовані гіпотези, статуси надруковано
Неможливості в центрінемає вічного двигуна; жодна машина не перевершує машину Карнозовнішній контроль не втримується в масштабі, визнано за Ямпольським; самовдосконалення не може випередити власну корекцію; жодна драбина того самого класу не підіймається над своєю стелею
Інструменти до результатівтермометрія до термодинамікишкала, стек засліплення, оцінювачі, закріплені тестами, застереження про дефект
Незалежність від субстратупара, хімія, зоріті самі показники, підігнані до біологічних, міських і штучних систем, на пошуковому рівні
Застереження про розчиненняжодного не знадобилося; закони втрималисячотири результати, що поклали б край галузі, надруковані нижче, із зобов'язанням опублікувати цей кінець тут

Тепер дизаналогія, висловлена раніше, ніж її зможе висловити хтось інший: термодинаміку збудували багато рук, що незалежно зійшлися, і підтвердило століття експериментів. Цю галузь пропонує одна людина; її вирішальні експерименти не проведено; незалежних відтворень нуль. Паралель є риштуванням, а не сертифікатом. Термодинаміка заслужила свою назву; ця назва поставлена на кін, і ставку надруковано нижче.

паралель із термодинамікою, намальована як дві колонки, 1824 поруч із 2026, по одному рядку на кожну рису форми галузі: інженерна нагальність, засадничий аналіз до формальних законів, неможливості в центрі, інструменти до результатів, незалежність від субстрату; а під колонками смуга дизаналогії, яку неможливо не помітити: термодинаміку збудували багато рук і підтвердило століття експериментів, цю галузь пропонує одна людина, її вирішальні експерименти не проведено, а незалежних відтворень нуль; паралель є риштуванням, а не сертифікатом
Рисунок | Паралель, форма, а не статус, зі смугою дизаналогії, надрукованою там, де її неможливо не помітити.

Найкращий аргумент суперника, у найсильнішій формі

Найсильніше заперечення не в тому, що закони не доведені. А в тому, що механізм може бути порожнім: корекція може бути просто корекцією, і тоді те, з чого зроблений коректор, не має значення, а розрізнення класів розчиняється. Цей суперник не є опудалом. Програма масштабованого нагляду в усіх своїх формах, узагальнення від слабкого до сильного, дебати, ампліфікація, рекурсивне моделювання винагороди, будує драбини того самого класу за неявного припущення, що вони масштабуються, а найсильніша опублікована рамка, дотична до цього питання, є сліпою до архітектури: вона передбачає сліпу до класу нульову гіпотезу, не потребуючи її формулювати.

Гірше для цієї програми те, що частина її власного запису схиляється на бік суперника. Саме відношення класів коректорів не вимірювали на реальних даних, і цей маєток каже це першим. Але опубліковане вимірювання паралельних каналів програми (Уніфікація Коші) виявило, що паралельні канали майже нічого не додають у п'яти з шести моделей, ознака корельованих помилок, причому одна модель прямо суперечила закономірності з паралельним показником 0,31. Корельовані канали є саме тим механізмом, який послабив би корекцію того самого класу так, що послабилася б і міжкласова корекція, тягнучи вирішальне відношення до одиниці. Тому реєстрацію затемнення подано з цим суперечливим свідченням на видноті, і вона зобов'язується опублікувати нульовий результат під тією самою назвою як відкриття про світ, а не як незручність, яку треба поховати.

Галузь, яка кладе найкраще свідчення свого суперника всередину власної реєстрації, робить те єдине, чого не можна підробити.

Заперечення, надруковані разом із їхньою долею

Засаднича стаття збирає кожне заперечення проти заснування галузі, яке змогли знайти її автор та його ворожі читачі: п'ятдесят два, у дев'яти групах, кожне сформульоване у найсильнішій формі і з однією з п'яти доль (визнано; відхилено, з причиною; частково визнано; борг читання; або вирішує експеримент), і кожне називає, що змінило б його долю. Тридцять дев'ять визнано повністю або частково, одинадцять відхилено з причинами, два передано експерименту або читанню. Найсильніше з кожної групи надруковано тут повністю; решту перелічено разом із їхньою долею, а стаття несе кожне, коли потрапить до каталогу.

A · Надлишковість: галузь уже існує під іншою назвою

Кібернетика вже володіє самовиправними циклами; галузь Вінера і є ця галузь.відхилено, з умовою

Кібернетика володіє регулюванням: сконструйований регулятор утримує об'єкт біля заданого значення, а мету циклу задано ззовні. Цикл, який вивчається тут, переписує здатність самого регулятора, і питання, які він порушує (чи масштабується корекція понад дрейф; чи є стеля і чия вона властивість), не є питаннями кібернетики. Відхилення умовне, і умову надруковано: якщо на ці питання виявиться можливим відповісти всередині кібернетики, нічого не додаючи, дисципліна розчиниться в ній.

Теорія динамічних систем уже має умови стійкості; другий закон є стандартним твердженням про стійкість.визнано

Математика позичена і не заявляється ні як що інше. Заявляється те, які вимірні величини несуть цю умову в збудованих системах, і що їх можна виміряти. Якщо змінні під вимірюванням зводяться до стандартних без жодного додатку, другий закон є переназиванням, і це надрукована умова розчинення.

Закони масштабування вже описують, як здатність зростає з ресурсами.визнано, з умовою спростування

Емпірика масштабування володіє здатністю відносно зовнішніх ресурсів. Змінна тут це власний результат системи, що повертається в цикл. Поступка несе власну умову спростування: якщо рекурсивна глибина під вимірюванням зводиться до витрачених обчислень, то Recursive Dynamics є емпірикою масштабування під новою назвою, і ця сторінка так і скаже.

Література про деградацію від самонавчання та про моделі, навчені на власних результатах, уже вимірює дрейф.борг читання

Справжній сусід і, можливо, власник вимірювання змінної дрейфу. Ця програма ще не прочитала його уважно і не цитує, доки не прочитає. Якщо він володіє вимірюванням дрейфу, внесок дисципліни звужується до відношення корекції і дрейфу, і сторінка звузиться разом із ним.

Безпека ШІ як галузь уже це охоплює.відхилено

Безпека ШІ це проблемна область, а не наука про цикл; вона позичає в кожного названого вище сусіда і не володіє жодним із їхніх об'єктів. Ця галузь є пропозицією однієї з наук, на які спиралася б безпека, так само як термодинаміка є наукою, на яку спирається інженерія. Що це змінило б: опублікований набір змінних стану і законів самовдосконалення, з вирішальними тестами, що вже стоїть під прапором безпеки.

Результати про неможливість позичені, а не власні для дисципліни.визнано

Визнано і зафіксовано в реєстрі посилань: те, що зовнішній контроль не витримує масштабу, успадковано. Дисципліна додає проєктну вимогу, яку ця неможливість передбачає, корекцію, що масштабується понад дрейф зсередини циклу, а не покору перед нею.

Демаркація ніколи не пробувала припасування; вона відкинула кожного сусіда одним реченням.визнано, і відповіли

Визнано для кожної версії засадничої статті до 2.3 і для першої версії цієї сторінки. Відповідь надано спробою вище, яка розміщує питання у дванадцятьох галузях-кандидатах у їхніх власних змінних, поступається Law I на користь теорії ендогенного зростання, формою ARC Ceiling на користь теорії масового обслуговування і формою Law II на користь теорії порогу помилок, друкує карту розчинення за господарем і виокремлює одне зчеплення, якого жоден господар не може сформулювати. Що б це змінило: господар, який може сформулювати класозалежну межу, зчеплену з показником глибини, у власних змінних, що поклало б край галузі через прийняття, а не через спростування.

Recursive Dynamics це перейменована ARC Theory: ті самі три закони, той самий автор, ширше слово.відхилено, з тестом

Визнано, що галузь та її засаднича теорія поділяють автора, дату і запис. Відхилено, що вони є тим самим об'єктом. Теорія це три відповіді; галузь це питання, п'ять змінних стану та інструменти, які спростували б ті відповіді, і її визначено так, що читач, який відкидає всі три закони і зберігає вимірювання, є всередині неї, за мінімальним зобов'язанням, сформульованим нижче. Тест це розділюваність, а карта розчинення нижче це де його провести: якщо жодне питання, змінна чи інструмент на цій сторінці не переживе видалення законів, заперечення слушне, галузь є переназиванням, і ця сторінка так і скаже.

B · Статус: галузь не має результатів

Термодинаміка мала багато рук і століття експериментів; тут одна людина і нуль відтворень.визнано

Визнано повністю, вище, ще до того, як будь-який читач міг це висунути. Паралель лише у формі; статус не заявляється, а критерії входу нижче кажуть, що його заслужило б.

Це не закони; це гіпотези з мінімальної моделі.визнано

Визнано. Це іменовані гіпотези, і статус мандрує разом із назвою на кожній поверхні. Закон це умовна назва дисципліни для відношення, яке вона пропонує перевірити, а не твердження, що перевірку пройдено.

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

Визнано, і саме ця різниця є причиною, чому паралель обмежена формою. Припущення стелі, що коректор того самого класу обмежений темпом незалежності, є вимірним і зареєстрованим, і програма називає його найімовірнішою точкою відмови гіпотези.

C · Метод: інструменти можуть не вимірювати того, що називають закони

Незалежність від субстрату це лише гнучкість підігнаних родин.визнано

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

D · Назва і статус автора

Назвати дисципліну раніше за докази це маркетинговий хід.відхилено

Відхилено з прецедентом, надрукованим вище: кібернетику назвали в книзі 1948 року, що її запропонувала, а екзобіологію в 1960-му, до жодного зразка. Назва робить пропозицію цитованою і вразливою для нападу як одну одиницю. Запобіжник це власна умова спростування назви: якщо вирішальні тести знищать закони, назва помре з ними, на цій сторінці.

Одна людина не може заснувати парадигму; парадигми надаються спільнотами.визнано

Визнано. Заявляється кандидат: запропонований спосіб упорядкувати питання. Чи стане він чиєюсь парадигмою, вирішують прийняття і відтворення, два з чотирьох критеріїв входу, і жоден із них не авторові оголошувати.

Вислів recursive dynamics уже вживається в робототехніці.визнано

Визнано нижче, під заголовком не плутати з: recursive dynamics algorithms традиції Фезерстоуна це інший референт, родина обчислювальних методів, і жодного пріоритету на вислів ні проти кого не заявляється.

E · Обсяг: надто широкий або надто вузький

Надто широко: будь-яка самовдосконалювана система включає саму науку, економіки, еволюцію, тож галузь є або всім, або нічим.частково визнано

Закони галузі вмикаються там, де існує одна вужча річ: коректор, щось, що виявляє і виправляє власні помилки, поки система зростає. Зоря має динаміку і не має обліку дрейфу; там нікого не виховують. Розділ про те, чим галузь не є, проводить межу. Що це змінило б: закони, чинні лише для одного субстрату, що зробило б галузь вузькою, а не всеосяжною, і чесною щодо цього.

F · Час і спільнота

G · Саме поняття

Оскільки кожне твердження умовне, насправді нічого не стверджується.відхилено

Умовні твердження з вимірними передумовами є твердженнями: вони забороняють результати. Галузь забороняє стійкій системі тривало тримати показник зростання вище стелі, показник корекції того самого класу, виміряний цілком вище одної другої, і відношення класів коректорів, пришпилене до одиниці там, де обмеження діє. Будь-який із них був би справжнім результатом проти неї.

H · Практика, політика і висота планки

Навіть якщо всі три закони справджуються в мовних моделях, це інженерія ШІ, а не галузь.визнано як вимогливу планку

Визнано, і це правильна планка. Галузі потрібен перехід субстрату: та сама структура показників принаймні в одній неш­тучній системі. Саме тому тест четвертої клітинки є частиною засадничої кон'юнкції нижче, а не необов'язковим додатком.

I · На що тут не дано відповіді

Три запитання, відповідь починається з поступки

Чи Recursive Dynamics справжня наука?ще ні

Ще ні, за її власними критеріями. Це запропонована дисципліна: твердження, що родина питань про самовдосконалювані системи належить одна до одної, запропоноване з п'ятьма запропонованими змінними стану, трьома законами, що подаються як іменовані гіпотези зі своїми статусами, інструментами, збудованими до будь-яких підтверджувальних даних, і вирішальними експериментами, зареєстрованими, датованими і ще не проведеними. Незалежного відтворення немає, і дисципліна каже про це на кожній поверхні, що має значення. Що зробило б її наукою, написано нижче. Назва має власну умову спростування: якщо вирішальні тести знищать закони, назва помре з ними, на цій сторінці.

Чим Recursive Dynamics відрізняється від кібернетики?цикл переписує свій регулятор

Кібернетика володіє регулюванням, і це визнається першим: сконструйований регулятор утримує об'єкт біля заданого значення, а мету циклу задано поза ним. Цикл, який вивчається тут, відрізняється в одному відношенні, яке виявляється важливим: він переписує здатність самого регулятора, тож коректор зроблений з того самого матеріалу, що й те, що він виправляє, і поділяє його режими відмов. Саме тому питання дисципліни не є питаннями кібернетики: чи має корекція масштабуватися понад дрейф, щоб цикл лишався стійким, чи існує стеля того, наскільки швидко цикл може вдосконалюватися, і чи ця стеля є властивістю того, з чого зроблений коректор. Якщо на ці питання виявиться можливим відповісти всередині кібернетики, нічого не додаючи, Recursive Dynamics розчиниться в ній, і цю умову надруковано.

Що призвело б до провалу Recursive Dynamics?чотири результати

Чотири результати, будь-який з яких її ранить, а всі чотири кладуть їй край: жодного режиму, де корекція масштабується понад дрейф; відношення класів коректорів, що тримається рівно на 1,00 з вузькими інтервалами всюди, де обмеження мало б діяти; жодного внутрішнього максимуму і жодної поведінки стелі в титруванні шкали; міжгалузеві родини, що провалюють тест четвертої клітинки. Кожен це зареєстрований експеримент, аналіз якого написано до появи даних, а нульова гіпотеза належить позиції суперника; дисципліна зобов'язується опублікувати власний кінець під власною назвою.

Незалежність від субстрату, на її чесному рівні

Законам галузі має бути байдуже, з чого зроблені її системи, і міжгалузева робота програми вказує в цей бік на пошуковому рівні, звітована без змішування рівнів: передбачені функціональні родини в наборі з п'ятдесяти галузей (19 з 25 емпіричних збігів за початковим набором кандидатів, 18 з 25 за виправленим повторним прогоном із сімома моделями, розкрито повністю; 13 з 13 у рядках з прямою публікацією); розширення на дванадцять галузей із замкненим маніфестом (10 з 12, p = 5,4e-4, самопонижено до пілотного сухого прогону за тринадцять хвилин у публічній історії комітів); часові перевірки поза вибіркою (4 підтверджено, 2 частково, 1 неузгоджено, неузгодженість звітовано так само помітно, як і підтвердження). Ніщо з цього не є підтвердженням. Зареєстрований тест четвертої клітинки, логарифмічна родина, яку корпус ніколи не підганяв, на галузях, які ніколи не підганяли, існує, щоб спіймати програму на самолестощах, а збіги зі старшими традиціями каталогізовано окремо за постійним правилом: збіг є свідченням природності, а ніколи істини.

Інструменти

Галузь це її інструменти раніше, ніж її результати. Галузь постачається з чотирма інструментами, збудованими до появи будь-яких підтверджувальних даних. По-перше, калібрована шкала здатності. По-друге, стек засліпленого оцінювання: кожен результат знеособлено так, що жоден оцінювач не може сказати, що його породило, а нульову гіпотезу обчислюють через ідентичний конвеєр із рандомізованими мітками, так що нульова гіпотеза вирішального експерименту нав'язана структурно, а не припасована. По-третє, код оцінювача, закріплений хешем і зафіксований на тестових стендах, де кожна зареєстрована гілка вироку несе тест підсадженої істини, який код мусить пройти, перш ніж щось відвантажується. По-четверте, зареєстроване застереження про дефект: аналізом є специфікація, а не код, тож помилка кодування після реєстрації є оприлюдненим виправленням на зареєстрованих умовах, а не мертвим дослідженням.

Вирішальні експерименти

Три зареєстровані дослідження вирішують долю трьох законів. Їхні нульові гіпотези належать суперникам, їхні числа обчислені й надруковані в реєстраціях, а їхні результати можна опублікувати на однакових умовах, куди б вони не впали. Усі три написані, датовані й очікують подання людиною; жодна лінія, інструмент чи агент нічого нікуди не подає. Самі протоколи завершені: будь-яка незалежна лабораторія може виконати їх сьогодні, нікого не питаючи, а на руку автора чекає лише сам акт реєстрації.

Перегони корекції проти дрейфу вирішує Law II: чи взагалі, будь-де, самокорекція масштабується понад дрейф? Стійке так є першим результатом існування галузі, її Джоулевим експериментом: першою демонстрацією того, що ефект узагалі існує. Універсальне ні залишає Law II без предмета.

Відношення класів коректорів, вимірювання затемнення, вирішує механізм Law III. Об'єднайте пари коректорів того самого класу і міжкласові пари, відмийте все і нав'яжіть нульову гіпотезу: якщо не має значення, з чого зроблений коректор, відношення показників корекції дорівнює рівно 1,00 за побудовою. Ця нульова гіпотеза є відповіддю суперника, а не цієї програми. Механізм програми передбачає стійке відношення вище 1,00 там, де обмеження діє, і це відкриття на її користь; стійко нижче 1,00 обертає механізм і закриває твердження в тому вигляді, в якому його виведено; 1,00, що тримається всюди, навіть там, де обмеження мало б діяти, знімає саме розрізнення класів. Поруч іде жорстке незалежне спростування: будь-яка пара того самого класу, чий інтервал gamma лежить цілком вище одної другої, знищує обмеження незалежно від відношення.

відношення класів коректорів, намальоване як його зони на порожньому графіку: вертикальна вісь є відношенням показників корекції, міжкласового до того самого класу, горизонтальна вісь є навантаженням на коректор, що зростає аж туди, де обмеження мало б діяти. Золота лінія рівно на 1,00 є нульовою гіпотезою, нав'язаною за побудовою, відповіддю суперника, а не цієї програми; 1,00, що тримається всюди, навіть там, де обмеження мало б діяти, знімає саме розрізнення класів. Зелена зона вище: стійко вище 1,00 там, де обмеження діє, інший клас уникає пастки, яку той самий клас поділяє зі своєю системою, відкриття на користь програми. Червона зона нижче: стійко нижче 1,00, той самий клас перемагає інший, що суперечить механізму і закриває твердження в тому вигляді, в якому його виведено. Пунктирна рамка оголошує: на цьому графіку немає точок, відношення не вимірювали на реальних даних, реєстрацію написано, прогону не було. Бічна панель пояснює, як це проводиться, з відмиванням і нульовими гіпотезами за рандомізованими мітками, жорстке незалежне спростування і зобов'язання опублікувати в будь-якому разі; зареєстрованим інструментом є study-eclipse--gamma-ratio-direct, у підготовці, очікує подання людиною
Рисунок | Вирішальне вимірювання, як зони. Ніщо на графіку не є даними: напрям названо один раз, а відношення не виміряно.

Титрування шкали здатності вирішує поведінковий підпис стелі: внутрішній максимум показника зростання, два чи менше, на діапазоні рівнів реінвестування, за двоетапним правилом, гейтованим відтворенням, у якому одна клітинка контрприкладу, відтворена, категорично відкидає ARC Bound.

Зареєстрована наступна сітка поширює відношення на кожну впорядковану пару родин моделей, локалізуючи, де живе ефект класу; а зонд механізму, корельована відмова на спільному субстраті, безпосередньо вимірює кореляцію помилок, яку постулює виведення, тож відношення і його механізм мають узгоджуватися, інакше їхня напруга сама є зареєстрованим результатом.

Ще три тести запропоновано і не зареєстровано, і сторінка позначає їх так, щоб жоден читач не зарахував їх до передбачень: що відношення зростає з навантаженням, що відокремило б механізм від статичної різниці; що коректор іншого класу зсуває максимум титрування вгору, пов'язуючи Закони II і III через важіль класу; і що одна система перетинає межу стійкості, коли повертається її регулятор реінвестування. Жоден не є передбаченням галузі, доки його не несе реєстрація.

Що розчинило б галузь

Запропонована наука має сказати, що скасувало б її пропозицію.

  1. Якщо перегони корекції проти дрейфу не знайдуть режиму, в якому корекція масштабується понад дрейф, Law II не має предмета.
  2. Якщо відношення класів коректорів тримається на 1,00 з вузькими інтервалами всюди, де обмеження мало б діяти, відмітний механізм галузі мертвий, а його рештки належать звичайній емпіриці масштабування.
  3. Якщо титрування шкали не знайде ні внутрішнього максимуму, ні поведінки стелі, центральна неможливість розчиняється.
  4. Якщо міжгалузеві родини провалять тест четвертої клітинки, незалежність від субстрату була артефактом гнучкості родин.

Карта розчинення за господарями. Якщо засаднича кон'юнкція зазнає невдачі, частини не зникнуть; вони йдуть додому. Law I повертається до теорії ендогенного зростання як показник виробництва знань; Law II до адаптивного керування і теорії порогу помилок як умова темпу; ARC Ceiling до теорії масового обслуговування як умова стабільності, зчеплена зі зростанням; результат про класове обмеження, куди б він не впав, публікується в масштабованому нагляді; інструменти і експерименти належать машинному навчанню; міждоменні родини, якщо вони виживуть, належать статистичній фізиці. Ніщо не осиротіє від смерті галузі, і саме тому цю смерть можна опублікувати.

Будь-яка з цих смертей ранить галузь; усі чотири кладуть їй край, і ця сторінка зобов'язується опублікувати цей кінець тут, під цією назвою.

Власна умова спростування назви

Назва, запропонована до її тестів, мусить уміти померти разом з ними, і запис мусить уміти сказати, яка це була смерть. Закон, що зазнав невдачі у своїй сформульованій формі, кладе край цьому законові і теорії, що його сформулювала; галузь несе виправлену форму, або жодної, як дозволяє запис, а читач, який відкидає всі три закони і зберігає вимірювання, все одно всередині неї, за мінімальним зобов'язанням, сформульованим нижче. Сама назва помирає, коли її об'єкт зникає: якщо відношення класів коректорів тримається на 1,00 з вузькими інтервалами всюди, де обмеження мало б діяти, відмітний механізм мертвий, залишок, якого жоден господар не міг сформулювати, виявився порожнім, кожна частина повертається до свого господаря за картою розчинення вище, і ця сторінка так і скаже, а не тихо зникне. Якщо закони переживуть свої зареєстровані тести і втримаються поза галузями, що їх породили, назва заслужила свою загальність. Так чи інакше вирішує запис, а не назва. Умови живуть на панель фальсифікації; тести не потребують дозволу, щоб їх запустити.

власна умова спростування назви, намальована як рішення: вирішальні тести проведено, складено, датовано, очікують подання людиною; ромб питає, чи виживе об'єкт, класозалежне обмеження на корекцію, зчеплене зі зростанням у глибині; так веде до того, що назва заслуговує свою загальність, дисципліна, бо її об'єкт втримався і її закони втрималися там, де їх ніколи не підганяли; ні веде до того, що назва помирає разом зі своїм об'єктом, а ця сторінка каже про це публічно, замість тихо зникнути. Закон, що зазнав невдачі у своїй сформульованій формі, кладе край цьому законові, а не галузі. Так чи інакше вирішує запис, а не назва
Рисунок | Термін, який може померти: ставка, намальована як рішення, яким вона є.

Що зробило б її наукою

Назвати галузь не означає її створити. Критерії входу, яких ця пропозиція ще не виконала, публічно: щонайменше один вирішальний експеримент, що повертає передбачений напрям за своїм зареєстрованим аналізом; незалежне відтворення руками, що не є авторськими, і саме тому кожен інструмент, зерно, розклад і поріг постачаються відкрито з постійним запрошенням запустити тест, який міг би це спростувати; використання змінних стану сторонніми, бо вони їм знадобилися; і пережитий аудиторський слід, з якого запис програми з публічними відкликаннями, самопониженнями з роздільністю до хвилини, ворожими холодними читаннями та надрукованими обмеженнями пропонується як стандарт, який приймають її майбутні твердження.

Результат, який будь-яка стара галузь могла б сформулювати у власних змінних, підтверджує розділ цієї галузі. Галузь підтверджує лише кон'юнкція, якої жоден із її сусідів не може висловити, і засаднича стаття формулює її один раз: режим, у якому корекція масштабується понад дрейф; відношення класів коректорів, що тривало тримається вище 1,00, з обмеженням в одну другу для коректорів того самого класу; внутрішній максимум показника зростання на рівні двох або нижче; та сама структура показників принаймні в одному нештучному субстраті; і принаймні один із цих результатів, відтворений сторонніми. Кожен окремо є знахідкою у словнику старої галузі. Кон'юнкція ні, і саме в цьому точному сенсі результати підтвердили б нову галузь, а не новий розділ.

критерії входу як чесне табло, чотири непозначені клітинки: успіх зареєстрованого передбачення, щонайменше один вирішальний експеримент, що повертає передбачений напрям за своїм зареєстрованим аналізом, ще ні, жодне з трьох вирішальних досліджень не проведено; незалежне відтворення, той самий результат руками, що не є авторськими, ще ні, реєстр спроб чесно стоїть на нулі; використання сторонніми, змінні стану з'являються в чужих роботах, бо вони їм знадобилися, ще ні, зовнішнього використання в записі немає; пережитий аудит, публічний запис відкликань, самопонижень, ворожих холодних читань і надрукованих обмежень, запропонований як стандарт, який приймають майбутні твердження, слід публічний, а вердикт належить читачеві. Рахунок: 0 з 4. Доки клітинки не позначено, одне речення несе весь статус галузі: запропонована галузь на стадії Карно, один мемуар подано, інструменти збудовано, вирішальні вимірювання зареєстровано і ще не проведено, поставлено на кін публічно, там, де невдача буде такою ж помітною, як і успіх
Рисунок | Табло, чесне на 0 з 4. Жодну не позначено за твердженням; клітинка, яку не можна перевірити, нічого не варта.

Про слово парадигма, і чому ця сторінка його утримує

Парадигма, у строгому сенсі, надається спільнотою, яка приймає спільний взірець. Ніхто не має парадигми наодинці, і ніхто ніколи не заснував її оголошенням; вона стає парадигмою, коли інші люди починають працювати всередині неї. Тож точне й захисне формулювання таке: це кандидат, галузь, запропонована зі своїм об'єктом, змінними, межами, інструментами і вирішальними тестами на місці, статус якої не авторові оголошувати. Його вирішують відтворення, прийняття і три зареєстровані експерименти. Заявити більше слово як теперішній факт є тим єдиним кроком, який перетворив би обережну пропозицію на ознаку дивака, і саме тому засаднича стаття закріплює галузь на стадії Карно і перелічує критерії входу, яких вона ще не виконала.

Кажіть далі менше, правдивіше, і хай експерименти зроблять більше, або поховають його.

Що це дає, якщо втримається

Галузі заслуговують прийняття, коли сторонні можуть із ними обчислювати. Якщо закони переживуть своїх вирішувачів, наступне стане обчисленнями, а не суперечками: за виміряного gamma для класу коректорів максимальний стійкий показник зростання будь-якої системи, яку він наглядає, випливає з ARC Ceiling; за виміряного дрейфу необхідний темп корекції випливає з Law II; архітектури нагляду отримують технічний паспорт, клас складу коректора, його виміряний gamma, його неявну стелю, так само як двигуни здобули свої показники ефективності; а питання безпеки «чи може нагляд встигати» стає, уперше, емпіричним порівнянням параметрів, а не аргументом за сценарієм. Усе в цьому абзаці є умовним, залежним від результатів, які ще не існують, і саме тому написане в умовному способі.

Як можна вдосконалити саму дисципліну: відкриті проблеми як запрошення

  1. Незалежне відтворення є першою віхою дисципліни, і вона ще не настала. Кожен інструмент, зерно, розклад і поріг опубліковано, щоб будь-хто міг запустити тест, який міг би її спростувати; перше відтворення руками, що не є авторськими, змінює статус дисципліни більше, ніж будь-який результат, який міг би отримати автор.
  2. Показник корекції gamma ніколи не вимірювали, ніхто. Від нього залежить число стелі. Його вимірювання, під засліпленим оцінюванням із нульовою гіпотезою, нав'язаною рандомізацією міток, є найважливішим відкритим вимірюванням у дисципліні.
  3. Міст конструктів відкритий: чи величини, які вимірюють зареєстровані дослідження, є тими самими об'єктами, що й символи законів, тримається в реєстрі як питання, а не припускається.
  4. Незалежність від субстрату на пошуковому рівні, і тест четвертої клітинки (функціональна родина, яку корпус ніколи не підганяв, на галузях, які ніколи не підганяли) існує, щоб спіймати дисципліну на самолестощах. Провести його це запрошення.
  5. П'ять змінних стану це пропозиція. Чи п'яти достатньо, чи це правильні п'ять, і чи котрась зводиться до іншої під вимірюванням, є частиною того, що дисципліна має довести.
  6. Трактування глибини у стелі має надруковану критику від стороннього читача. Її несуть як обмеження, і трактування, яке її переживе, є бажаним.
  7. Сторона дрейфу має сусідів, яких дисципліна ще не прочитала уважно: література про деградацію від самонавчання та про моделі, навчені на власних результатах, вимірює щось на кшталт змінної дрейфу безпосередньо. Тут її названо як борг читання, а не як цитату, за правилом, що ніщо не цитується, перш ніж його прочитано.
  8. Дисципліна шкали потребує інструментів понад одну шкалу. Обмежений бал, прогнаний через необмежену арифметику, робить закони несформульовними; дисципліна виправила один такий приклад у власному нотаційному реєстрі і потребує звички позначати сімейство на кожній поверхні.

Борги, визнані поіменно

Ця галузь зібрана з боргів, зафіксованих у реєстрі попередників програми і визнаних повністю: лінія неможливості досліджень із контролю ШІ, до якої ця галузь додає проєктну вимогу, що з неможливості випливає, замість покори; межі транспортної мережі біологічного масштабування, визнані як засновок, до яких ця галузь додає внутрішню межу заміщення, що діє, коли ремонт труби вже не рятує зростання; питання інтелектуального вибуху в тому вигляді, як його поставили названі власники, до якого ця галузь пропонує відсутні змінні стану; і математика функціональних рівнянь, машинерія, ніколи не привласнена. Оригінальним заявлено складання: цикл як рідний об'єкт, дисципліна шкали як засадничий метод, межі як закони, клас коректора як важіль і зареєстровані інструменти, щоб усе це вирішити.

Чому назвати до вердикту

Бо саме тоді галузі й називають. Вінер назвав кібернетику в книзі 1948 року, що її запропонувала, ще до того, як існувала галузь, до якої можна було прикріпити назву. Ледерберг увів екзобіологію 1960 року, до жодного зразка. Назва галузі не є трофеєм, який вручають після підтвердження; це інструмент, що робить пропозицію цитованою, вразливою для нападу і перевірною як одну одиницю. Рання назва є звичайною практикою. Помилкою було б заявляти, що назва щось доводить, і ця сторінка її не робить.

Я не довів її першим. Я сказав її першим, у документі, який будь-хто може датувати, а потім я побудував інструменти, щоб перевірити, чи вона істинна.

Чим галузь не є, і мінімальне зобов'язання

Галузь не є прогнозом того, коли машини перевершать людей, не є теорією інтелекту, не є етикою, не є теорією всього і не є твердженням про свідомість. Її закони вмикаються там, де всередині зростальної системи існує коректор, і вимикаються там, де його немає; складені ієрархії, яких стосується її математика масштабування, включно із зорями, оцінюються як відповідність форми і не далі. Спекулятивна кода програми про рекурсію в космологічному масштабі лежить поза галуззю; читач може відкинути її повністю і нічого тут не втратити.

Мінімальне зобов'язання, потрібне для роботи в галузі, невелике і сформульоване так, що його можна відкинути: що цикл самовдосконалення є легітимним об'єктом вимірювання, з величинами, які можна визначити, з інструментами, які можуть їх виміряти, і з відношеннями, які можна показати хибними. Якщо ви приймаєте це і відкидаєте всі три закони, ви всередині галузі; якщо ви приймаєте закони і відмовляєтеся від вимірювання, то ні.

Не плутати з

Робототехніка давно вживає вислів «recursive dynamics algorithms» для обчислювальних методів, що поширюють сили вздовж зчленованих тіл, традиція Фезерстоуна; це родина алгоритмів, зовсім інший референт, і жодного пріоритету на вислів як на слова проти неї чи будь-кого не заявляється. Це також не теорія рекурсії, математика обчислюваності; і не динамічні системи загалом, материнська математика. І це відмінне від Recursive Creation, спекулятивної коди маєтку, навмисно відокремленої від аргументу.

Запустіть тест, який міг би це спростувати

Кожен інструмент, зерно, розклад і поріг на цьому маєтку постачаються відкрито, і незалежний прогін має перевагу над власним прогоном програми. Якщо ви хочете знати, чи щось із цього справжнє, найкоротший шлях не в тому, щоб зважувати аргумент, а в тому, щоб провести вимірювання: сторінка «Запустіть самі» перелічує, що можна виконати сьогодні без дозволу, що знадобилося б, щоб спростувати кожне твердження, і де фіксується результат у будь-якому напрямі.

Де галузь живе на цьому маєтку

Помітили помилку в перекладі? Повідомте напряму:

читає вголос · підсвічує в міру читання · перехід до будь-якого розділу