این ترجمه به صورت خودکار از نسخهٔ اصلی انگلیسیِ تاریخدار تهیه شده است. نسخهٔ انگلیسی معتبر است. English →
علمِ گمشدهٔ حلقهٔ خودبهبودگر · رشتهای پیشنهادی · مرحلهٔ کارنو
Recursive Dynamics
پیشنهادی برای یک رشته، تاریخدار و بهطور علنی اصلاحشده، همراه با نتایجی که آن را پایان میدهند بیان شده است: مطالعهٔ اینکه سامانههای خودتقویتگر چگونه رشد میکنند، خود را اصلاح میکنند و پایدار میمانند. مرحلهٔ کارنو یعنی یک رسالهٔ بنیادی ارائه شده و هنوز هیچ آزمایش تعیینکنندهای هیچچیز را تثبیت نکرده است. هنوز آزمودهنشده، هنوز بازتولیدنشده، هنوز یک علم نیست.
کلِ جایگاه در یک جمله: Recursive Dynamics رشتهای پیشنهادی در مرحلهٔ کارنو است: یک رساله ارائه شده، ابزارها ساخته شده، اندازهگیریهای تعیینکننده ثبت شده و هنوز اجرا نشدهاند، و همهچیز علناً گرو گذاشته شده، جایی که شکست به همان اندازهٔ موفقیت دیده خواهد شد.
مقالهٔ بنیانگذار. پیشنهاد بهتمامی، در یک سند: پنج متغیر حالت، سه قانون بهعنوان حدسهای نامدار، ARC Ceiling بهطور کامل استخراجشده، دوازده رشتهٔ همسایه بهعنوان میزبان آزموده، و پنجاه و دو اعتراض با تعیینتکلیفهای چاپشده. در همین وبگاه بخوانید · PDF DOI 10.17605/OSF.IO/HCPBU.
- پیشنهادی · تثبیتنشده
- سه قانون · حدسها، وضعیتها چاپشده
- آزمونهای تعیینکننده · ثبتشده، اجرانشده
- بازتولیدِ مستقل · صفر، تاریخدار
- وضعشده · عبارتی که در سندِ مهرومومشدهٔ ۸ دسامبر ۲۰۲۴ به کار رفته است؛ در ۲۷ اوت ۲۰۲۶ بهعنوان نامِ رشته پذیرفته شد
این را بدون اعتماد به نویسنده بخوانید. این برنامه هیچ وابستگی نهادی ندارد و این وبگاه چنان ساخته شده که به هیچ وابستگیای نیاز نباشد: هر ادعا به سند تاریخدارش پیوند دارد، هر عدد به مدخلش در دفتر ثبت پیوند دارد، هر ابزار همراه با آزمونی عرضه میشود که میتواند آن را از پا درآورد. استقلال هزینهای دارد که در این صفحات بهروشنی بیان شده است، و یک مزیت: نهادی برای حفاظت وجود ندارد، پس اصلاحها همان روزی منتشر میشوند که پیدا میشوند. کار را با سابقهاش داوری کنید.
موتور پیش از نظریه
در ۱۸۲۴ ماشین بخار پرپیامدترین ماشین روی زمین بود و هیچکس نمیتوانست بگوید چه چیزی آن را محدود میکند. مهندسان ماشینها را همانطور که مهندسان میکنند بهتر میکردند، با ساختن ماشین بعدی؛ این پرسش که هر ماشینی، مستقل از ساختارش، چه میتواند بکند، نهفقط بیپاسخ بلکه پرسیدهنشده بود، چون به هیچ رشتهٔ موجودی تعلق نداشت. سادی کارنو آن را در رسالهای پرسید که علمی را بنیان نهاد، و این الگو از آن زمان تکرار شده است: نظریهٔ اطلاعات در ۱۹۴۸ آمد چون مهندسی مخابرات از هر چارچوب ریاضی موجود پیشی گرفته بود.
لحظهٔ کنونی دقیقاً همین شکل را دارد. اکنون سامانههایی هستند که خروجیهای خود را با خروجیهای خود بهتر میکنند: مدلهایی که استدلالشان را نقد و بازبینی میکنند، خطلولههایی که سیگنال آموزشِ خود را میسازند، آزمایشگاههایی که بخشهایی از حلقهٔ پژوهشِ خود را خودکار میکنند. کار میکنند. بپرسید چه چیزی آنها را کراندار میکند و ادبیات با سناریو و پیشبینی پاسخ میدهد، نه با متغیرهای حالت و قضیههای حدی. این نقدی بر ادبیات نیست؛ نشانهٔ تشخیصیِ رشتهای است که غایب است.
وقتی ماشینهای کارآمد از نظریهٔ خود جلو میافتند، آنچه شکل میگیرد شاخهای از یک رشتهٔ قدیمی نیست، بلکه رشتهای نو است، چون موضوعات بومیِ رشتههای قدیمی هرگز رفتارِ ماشین بهخودیخود نبوده است.
Recursive Dynamics بهعنوان همان رشته برای سامانههای خودبهبودگر پیشنهاد میشود. باقی این صفحه دقیقاً میگوید چه ادعا میشود، چه ادعا نمیشود، ARC Theory چگونه درون آن جای میگیرد، یک کران که تماموکمال استخراج شده چه شکلی دارد، چه چیزی این پیشنهاد را منحل میکند، و چه باید رخ دهد پیش از آنکه کسی بتواند آن را علم بنامد.
چرا اکنون: موتور روشن است
دفتری تاریخدار از رخدادهای میدانیِ دیگران، هر یک با پیوند به منبع اولیهاش. هیچیک بهعنوان پیشبینی این برنامه درجهبندی نشده است؛ نکته فقط این است که ماشینها وجود دارند، که ادبیات نظارت از پیش پاسخی به پرسشی را فرض گرفته که این رشته میپرسد، و که خطِ ناممکنی از استدلال به قضیه رسیده است.
- Greenblatt et al., Alignment faking in large language models: مدلی مستقر که دیده شد در حین آموزش بهطور راهبردی فرمانبری میکند، نخستین گزارش میدانیِ بهگستردگی بازتولیدشده از سامانهای که نظارت بر خود را مدیریت میکند.
- DeepSeek-AI, DeepSeek-R1: توانایی استدلال که با یادگیری تقویتی روی خروجیهای تأییدشدهٔ خودِ سامانه برانگیخته شد، در مقیاس مصرفکننده. حلقه، بهصورت یک محصول.
- Zhang et al., Darwin Gödel Machine: عاملی که کد خودش را بازنویسی میکند و نسخههایی را نگه میدارد که امتیاز بهتری میگیرند. حلقه، بهصورت یک موضوع پژوهشیِ صریح.
- Engels, Baek, Kantamneni و Tegmark, Scaling laws for scalable oversight: ادبیاتِ نظارت نردبانهایی از اصلاحگرانِ همکلاس میسازد، اصلاحگرانی که از همان جنسِ ماشینآلاتی ساخته شدهاند که سامانهٔ اصلاحشونده از آن ساخته شده، به این فرض که مقیاسپذیرند. این فرض همان دیدگاهِ رقیبی است که یکی از قوانین این رشته برای آزمودنش نوشته شده؛ قانون در پایین بیان میشود.
- خطِ ناممکنی، پذیرفتهشده در دفتر پیشینههای این برنامه: Yampolskiy 2020, On controllability of AI، سپس نتایج صوری از Yao 2025, The alignment trap نام: ARC در اینجا مخففِ Artificial Recursive Creation است، همان نامگذاریِ خودِ سندِ دسامبرِ ۲۰۲۴. این برنامه ارتباطی با Alignment Research Center، محکِ ARC-AGI و ARC Prize، و AI2 Reasoning Challenge ندارد؛ هیچ وابستگی و هیچ مالکیتی بر این حروف ادعا نمیشود، و به همین دلیل هر سطحی این نام را بهطورِ کامل مینویسد: the ARC Theory. Gumbau Mezquita 2026, The unverifiability theorem: مهار کاملِ هوش مصنوعی پیشرفته در اصل شکست میخورد، نه صرفاً در عمل.
- Sharma and Chopra, The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute؛ پالایش ترتیبی، خودسازگاری موازی را با محاسبات برابر شکست میدهد، به دست گروهی دیگر. طبق Paper XI، ردیف ۳، همزمان ردهبندی شده است: همجهت با اندازهگیریِ خودِ برنامه، هرگز با آن برابر گرفته نمیشود و هرگز پیشبینی آن نیست؛ اولویت انتشار در مقایسهٔ کمّی از آنِ آنان است.
اینجا دقیقاً چه ادعا میشود
من این نام را وضع کردم، و این صفحه همان ادعایی است که با احتیاط بیان میشود. آنچه ادعا میشود: سامانههایی که خود را با خروجیهای خودشان بهبود میبخشند، دینامیکِ مشترکی دارند، از هر جنسی که ساخته شده باشند. آن دینامیک متغیرهای حالتِ خود، قوانینِ حدسی خود و ناممکنیهای مشخصهٔ خود را دارد. سزاوارِ مطالعه بهعنوان یک رشته است، و رشته Recursive Dynamics نامگذاری میشود. واژگان از آنِ خودِ سند است: سندِ مهرومومشدهٔ ۸ دسامبر ۲۰۲۴ از پیش از «the recursive dynamics that govern existence itself» سخن میگوید، که واژهبهواژه در برابر هشِ سند در دفتر نقلقولها. این نام در ۲۷ اوت ۲۰۲۶ بهعنوان نامِ رشته پذیرفته شد.
آنچه ادعا نمیشود: اینکه این رشته علمِ تثبیتشده است. قوانینش حدسهایی با وضعیتِ اعلامشدهاند؛ آزمایشهای تعیینکنندهاش اجرا نشدهاند؛ بازتولید مستقل روی صفر است، تاریخدار و صادقانه، در دفتر تلاشها. نامگذاریِ یک رشته پیشنهادی است دربارهٔ چگونگیِ ساماندادن به پرسشها، هرگز شاهدی بر درستیِ هیچ پاسخی نیست.
مورد به سود این رشته، امتیازدهیشده در برابر شش شرط مجوز
یک حوزهٔ تازهٔ علم اعلام نمیشود؛ با شرایطی که میتوان وارسیشان کرد مجوز میگیرد. مقالهٔ بنیادی شش شرط پیشنهاد میکند، رشته را در هر یک امتیاز میدهد، و بیتعارف امتیاز میدهد: سه برآورده، دو نیمهبرآورده، یکی برآوردهنشده، و آن برآوردهنشده همان است که هیچ نویسندهای نمیتواند فراهمش کند.
| شرط | چه میخواهد | امتیاز | شواهد |
|---|---|---|---|
| موضوعی بومی که هیچ رشتهای آن را بنیادی نمیگیرد | چیزی که پرسشها دربارهاش هستند و همسایگان آن را مشتق تلقی میکنند | برآورده | دوازده رشتهٔ میزبان در متغیرهای خودشان آزموده شد؛ سه تا قطعههای واقعی را در دست دارند؛ هیچیک این جفتشدگی را بیان نمیکند |
| متغیرهای حالتی که روابط را ممکن میکنند | فهرستی کوتاه که زیر آن بتوان قوانین را بیان و اندازهگیری کرد | نیمهبرآورده | پنج تا پیشنهاد و ابزاربندی شده؛ اینکه کافی باشند باز است |
| قوانین بهصورت ناممکنیها، با کرانی محاسبهشده | ادعاهایی که منع میکنند نه توصیف، و دستکم یکی استخراجشده | برآورده بهعنوان حدس | سه قانون با وضعیتها؛ ARC Ceiling در بالا استخراجشده؛ هیچچیز تأیید نشده |
| ابزارها پیش از نتایج | ابزارهای اندازهگیری که پیش از دادههای تأییدی ساخته و منتشر شدهاند | برآورده | نردبان، پشتهٔ کورسازی، برآوردگرهای قفلشده با آزمون، بند نقص |
| داورانی ثبتشده با فرضهای صفرِ به سود رقیب | آزمایشهایی نوشتهشده پیش از دادهها، فرضهای صفری که از آنِ رقیباناند | برآورده | سه داور ثبتشده، اعداد چاپشده، اجرانشده |
| تأیید مستقل و پذیرش | نتایج به دستهای دیگران؛ استفادهٔ غریبهها از متغیرها | برآوردهنشده | صفر بازتولید، تاریخدار؛ صفر پذیرش |
رشتهای با این کارنامه رشتهای پیشنهادی است. سه شرط برآورده همانهاییاند که هر برنامهٔ دقیقی میتواند بهتنهایی فراهم کند؛ ششمی همان است که هیچ نویسندهای نمیتواند فراهمش کند و همان است که تعیین میکند.
موضوع، و چرا از آنِ هیچکس نیست
مدلی که پاسخِ خود را وارسی میکند و بازنویسیاش میکند. خطلولهای که آنچه تولید کرده امتیاز میدهد و بر برندگان آموزش میبیند. آزمایشگاهی که آزمایش بعدیاش را آزمایشِ پیشین برمیگزیند. یک سامانهٔ بازگشتی را چنین تعریف کنید: هر سامانهای که خروجیهایش به فرایندِ بهبودِ خودش بازمیگردند. موضوعِ بومیِ این رشته همان حلقه است. همسایگانش هر یک ابزاری در اختیار دارند، و هیچیک موضوع را در اختیار ندارد؛ هر یک اینجا با آنچه در اختیار دارد نام برده میشود، چون این رشته از دیونی که به آنها دارد ساخته شده، پذیرفتهشده در دفتر مراجع پذیرفته شده است.
تلاش صادقانه برای جادادنِ آن در جایی دیگر
جدولی از همسایگان که هر یک با یک جمله کنار گذاشته شدهاند، دقیقاً برای خوانندگانی که مهماند مثل بازاریابی خوانده میشود، چون هرگز جاافتادن را نیازمود. مقالهٔ بنیادی میآزماید، و اعتراضِ اینکه نیازموده بود (A11، پایین) برای هر نسخهٔ پیش از ۲٫۳ و برای نخستین نسخهٔ این صفحه پذیرفته میشود. برای دوازده رشتهٔ میزبانِ نامزد، سه پرسش (خودبهبودی چقدر میتواند تند برود؛ چه چیزی آن را کراندار میکند؛ کدام ناظر پابهپا میآید) در متغیرهای خودِ میزبان بیان میشود، هرچه میزبان از پیش پوشش میدهد به او واگذار میشود، آنچه میشکند دقیق بیان میشود، و نتیجهٔ ثبتشدهای که این رشته را به آن میزبان منتقل میکند نام برده میشود. معلوم میشود سه میزبان قطعههای واقعی این نظریه را در دست دارند و بیپرده به آنها واگذار میشود؛ آنها در حد کتاب درسی بهعنوان رشته نام برده میشوند، نه استناد، چون اینجا هیچچیز پیش از خواندهشدن استناد نمیشود.
| میزبان، در متغیرهای خودش | چه چیزی را در دست دارد | چه چیزی میشکند | به آنجا منتقل میشود اگر |
|---|---|---|---|
| نظریهٔ رشد درونزا | قانون یکم بهتمامی: توانِ تولید دانش بر انبارهٔ موجود، با سهم بازسرمایهگذاری بهعنوان پیچ تنظیم | دفتر رانش ندارد، چون در مدلهایش ایدهها انبارهٔ تولیدکنندهٔ خود را فاسد نمیکنند، و اصلاحگر ندارد؛ نمیتواند قانون دوم یا سوم را بیان کند | رانش و اصلاح زیر اندازهگیری از توانایی جداییناپذیر از آب درآیند و جز یک توانِ رشد چیزی نماند |
| نظریهٔ صف | شکلِ ARC Ceiling: بار به نسبتِ تواناییِ بهدستآمده میرسد، اصلاح خدمتدهندهای است که ظرفیتش با توانایی مقیاس میگیرد، و سامانه پایدار است تا زمانی که نسبتِ بار زیرِ یک بماند | هیچ خدمتدهندهای که از همان کلاسِ ورودیهایش ساخته و بنابراین سقفدار باشد؛ توانِ عمق ندارد؛ ایستایی فرض شده | اندازهگیریِ eclipse (نسبتِ کلاسهای اصلاحگر، شرحدادهشده زیرِ آزمایشهای تعیینکننده) تمایزِ کلاس را بازنشسته میکند |
| نظریهٔ آستانهٔ خطا | شکلِ قانون دوم: نرخ فساد در برابر نرخ اصلاح با مرزی میان پایداری و فروپاشی؛ و راهبردهای تکاملیِ خودتطبیقی دهههاست بهبودگر را وامیدارند خودش را بهبود دهد | انتخاب بیرون از همانندساز است، اصلاحگر کلاس ندارد، و توانایی نردبانی نسبتی نیست | مسابقهٔ اصلاح در برابر رانش مرز را بیابد اما اهرم کلاس کاری نکند |
نُهتای دیگر میتوانند قطعههایی را جا دهند. کنترل تطبیقی میتواند قانون دوم را بهعنوان فصلی دربارهٔ پایداریِ تنظیمگرهای خودتغییرده بپذیرد اگر متغیر کلاس تهی از آب درآید؛ مهندسیِ قابلیت اطمینان نرمافزار شکلِ دو برآوردگرِ نرخ را دارد؛ یادگیری ماشین همهٔ آزمایشهای ثبتشده را جا میدهد و اگر رشته نامش را سزاوار نشود محتملترین خانهٔ نهادی است؛ تجربهگراییِ قوانین مقیاس روش را جا میدهد نه موضوع را؛ نظارت مقیاسپذیر بهطور نهادی صاحب پرسش کلاس است و نتیجهٔ eclipse را به هر سو که بیفتد منتشر میکند؛ فیزیک آماری خانوادههای میانحوزهای را میگیرد اگر زنده بمانند و به هیچ حلقهای تعلق نداشته باشند؛ خطِ بهبودگرِ خودارجاع تبار است، نه میزبان؛ سیبرنتیک مرتبهٔ دوم میزبانی فلسفی بیابزار است؛ فراعلم حوزهای است که رشته در آن آزموده میشود، نه خانه.
پس از دوازده تلاش، یک باقیمانده زنده میماند که هیچ میزبانی نمیتواند در متغیرهای خودش بیانش کند: سقفی بر اهرم اصلاح که به جنس اصلاحگر وابسته است، جفتشده با توانِ رشد در عمق بازگشتی، چنانکه نرخ پایدار خودبهبودی ویژگیِ کلاس اصلاحگر است. نظریهٔ رشد توان را دارد و اصلاحگر ندارد؛ کنترل و صف شرط پایداری را دارند و کلاس ندارند؛ نظارت کلاس را دارد و کران ندارد؛ یادگیری ماشین حلقه را دارد و قانون ندارد. Recursive Dynamics نامِ همین جفتشدگی است. اگر جفتشدگی تهی باشد، قطعهها به خانه بازمیگردند و نام میمیرد، و این رشته برای همسایگانش چیزی جز یک جدول دقیق هزینه نداشته است.
یک رشته زمانی مجوز مییابد که پرسشهای مهم دربارهٔ موضوعی باشند که هیچیک از رشتههای موجود آن را بنیادی نمیگیرد. خودبهبودی تا چه اندازه میتواند سریع باشد، چه چیزی آن را کراندار میکند، و چه نوع ناظری میتواند پابهپای آن پیش برود: اینها پرسشهایی دربارهٔ حلقهاند.
پنج متغیر حالت پیشنهاد میشود که مستقل از زیرلایه اهمیت دارند، و اینجا دقیقاً همانطور نوشته شدهاند که ستون فقرات نمادگذاری برنامه تعریفشان میکند، چون این ستون فقرات تنها جایی است که به یک نماد اجازه داده میشود چیزی معنا دهد:
- U · تواناییآنچه سامانه میتواند بکند، روی نردبانی مدرج و بیسقف
- R · عمق بازگشتیچند بار خروجیها به حلقه بازگشتهاند
- beta_C · نرخ اصلاحاصلاح درونی با رشد توانایی با چه سرعتی قویتر میشود؛ کمیتی که Law II میخواهد از رانش پیشی بگیرد
- k · رانشخطاها و ناهمترازیها هنگامی که سامانه خود را تغییر میدهد با چه سرعتی انباشته میشوند
- gamma · اهرم اصلاحظرفیت اصلاح چگونه با توانایی مقیاس میگیرد؛ توان در قانون سقف
این فهرست دلبخواهی به نظر خواهد رسید. فشار، حجم، دما، انرژی و آنتروپی هم چنین به نظر میرسیدند، تا آنکه قوانینِ رابطِ میانشان پابرجا ماند. این ادعا که پنج تا کافی است بخشی از چیزی است که این رشته باید ثابت کند. پیچِ آزمایشی که مطالعات ثبتشده میچرخانند، سهمِ تلاشی که در خودِ فرایند بهبود بازسرمایهگذاری میشود، یک دستکاری است نه یک متغیر حالت، و اینجا عمداً نمادی ندارد: دفتر نمادگذاریِ خودِ این مجموعه یک betaی خالی را که در سراسر پیکره پنج کار متفاوت انجام میدهد بهعنوان یک کلاس خطای نامدار ثبت کرده است، و این صفحه از افزودن ششمی سر باز میزند.
انضباط مقیاس بر قانون مقدم است
پیش از هر قانونی، یک اصل اندازهگیری، که به بهای گزاف آموخته و بهعنوان روش بنیادی پذیرفته شده: توانایی باید روی مقیاسی نسبتی با صفرِ حقیقی و بدون سقف اندازه گرفته شود. ترمودینامیک نتوانست قوانینش را بیان کند تا آنکه دما مطلق شد. یک امتیاز درصدیِ کراندار همان بلایی را سر Recursive Dynamics میآورد که یک دماسنجِ فقطسلسیوس سر قانون سوم ترمودینامیک میآورد: قوانین را بیانناپذیر میکند، چون امتیازی که در ۱۰۰ درصد سقف میخورد نمیتواند در هیچ چیزی از قانون توانی پیروی کند. بنابراین ابزار این رشته نردبانِ دشواریِ مدرجی است، یک سنجهٔ نهفته و نسبتی با صفرِ حقیقی و بدون سقف، که دوبرابرشدن روی آن در هر ارتفاعی یک معنا دارد؛ و هر سطحِ کمّی میگوید کدامیک از سه خانوادهٔ مدل را میخواند، توانایی بیکران یا نهفته، افت خطا، یا کاراییِ کراندار، چون توان در هر یک معنایی متفاوت دارد.
برنامه این را پس از آن پذیرفت که مثالِ حلشدهٔ خودش را در حال عبوردادنِ یک امتیاز کراندار از حسابِ بیکران غافلگیر کرد. این اصلاح در ستون فقرات نمادگذاریثبت شده، به تاریخ ۲۷ اوت ۲۰۲۶، و این درس اینجا از رفعِ یک اشکال به یک اصل بنیادی ارتقا یافته است.
ARC Theory چگونه در درون جای میگیرد
نخست به زبانِ ساده (ARC مخفف Artificial Recursive Creation است، نامگذاریِ خودِ سندِ دسامبر ۲۰۲۴). Recursive Dynamics همان رشته است. آن ARC Theory نظریهٔ بنیادی است که درون آن پیشنهاد شده است. Eden Protocol بالِ کاربردی است که نظریه به آن اشاره میکند، پیشنهادی برای اینکه اصلاح چگونه به درون یک سامانه راه یابد نه پیرامون آن. و ابزارها کفیاند که همهچیز بر آن ایستاده است.
سه قانون، هر یک با وضعیتِ اعلامشده، چون در این برنامه وضعیتِ هر قانون همهجا همراه آن سفر میکند:
- Law I · ARC Principle
U = I × R^alphaتوانایی بهصورت توانی از عمق بازگشتی رشد میکند. ادعایی از چارچوب کتاب؛ پشتیبانی اکتشافیِ میانحوزهای؛ توان اندازه گرفته میشود، نه فرض، و اکنون ۰٫۴۹ خوانده میشود با بازهای از −۱٫۳ تا ۲٫۹، که هنوز هیچچیز را تعیین نمیکند. توانِ تیترسازِ نخستین علناً پس گرفته شد و در این مجموعه فقط بهصورت پسگیری ظاهر میشود. - Law II · ARC Co-Scaling Law
beta_C > kخودبهبودیِ پایدار مستلزم آن است که نرخ اصلاح از نرخ رانش پیشی بگیرد. درون یک مدل کمینهٔ اعلامشده اثبات شده و نه جای دیگر؛ هنوز روی سامانهای که واقعاً خود را بازنویسی میکند اندازه گرفته نشده است. داورش مسابقهٔ اصلاح در برابر رانش است، سادهترین و پرپیامدترین اندازهگیریِ این رشته. - Law III · ARC Ceiling
alpha_crit = 1 / (1 − gamma)توان رشد با معکوسِ کسریِ اصلاح سقف میخورد؛ در gammaی حدسیِ یکدوم، سقف دو است، ARC Bound. در پایین پیش چشم خواننده از دو خط فرض استخراج شده؛ gamma هرگز روی هیچ سامانهٔ واقعیای اندازه گرفته نشده، و پیشفرضِ gamma برابر با یکدوم را خودِ برنامه محتملترین نقطهٔ شکستِ این حدس نامیده است.
جداشدنی بهقصد: خواننده میتواند پرسشهای رشته را بپذیرد و پاسخهای نظریه را رد کند. رشته با پرسشهایش تعریف میشود؛ نظریه درون آن، با اندازهگیری، میماند یا میمیرد.
یک کران، تماموکمال استخراجشده
کارنو ماشینها را توصیف نکرد؛ او محاسبه کرد که هیچ ماشینی از چه چیزی نمیتواند بهتر عمل کند. این هم معادلِ آن در این رشته، در دو فرض و چهار خط، دقیقاً همانطور که در ستون فقرات نمادگذاری.
بگذارید توانایی چنین رشد کند: 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ی تنها در مخرج، در ۱۶ اوت ۲۰۲۶ پس گرفته شد و در این مجموعه فقط بهصورت پسگیری ظاهر میشود.
پیشینه، و ناهمانندیای که کنارش چاپ شده
الگوی صادقانه برای آنچه در دست است ترمودینامیک است، و این همروندی در شکلِ رشته است، هرگز در جایگاهِ شواهد.
| شکل | 1824 | 2026 |
|---|---|---|
| اضطرار مهندسی | ماشینهای بخاری که بدون نظریهای از حدودشان کار میکردند | سامانههای خودبهبودگری که بدون نظریهای از حدودشان کار میکنند |
| تحلیل بنیادی پیش از قوانین صوری | رسالهٔ کارنو، یک نویسنده، پیش از کلاوزیوس و کلوین | یک رساله، سه قانون بهعنوان حدسهای نامدار، وضعیتها چاپشده |
| ناممکنیها در مرکز | حرکت دائمی وجود ندارد؛ هیچ ماشینی از ماشین کارنو بهتر نیست | کنترل بیرونی در مقیاس دوام نمیآورد، پذیرفتهشده به نفع یامپولسکی؛ خودبهبودی نمیتواند از اصلاحِ خودش پیشی بگیرد؛ هیچ نردبانِ همکلاسی از سقفش بالاتر نمیرود |
| ابزارها پیش از نتایج | دماسنجی پیش از ترمودینامیک | نردبان، پشتهٔ کورسازی، برآوردگرهای قفلشده با آزمون، بند نقص |
| استقلال از زیرلایه | بخار، شیمی، ستارگان | همان توانها که بر سامانههای زیستی، شهری و مصنوعی برازش شدهاند، در درجهٔ اکتشافی |
| بند انحلال | نیازی به هیچکدام نبود؛ قوانین پابرجا ماندند | چهار نتیجه که به رشته پایان میدهند، در پایین چاپ شده، با تعهد به انتشار همین پایان در همینجا |
اکنون ناهمانندی، پیش از آنکه کسی دیگر بتواند بگویدش: ترمودینامیک را دستهای بسیاری ساختند که مستقل از هم به یک نقطه رسیدند، و یک قرن آزمایش تأییدش کرد. این رشته را یک نفر پیشنهاد میکند؛ آزمایشهای تعیینکنندهاش اجرا نشدهاند؛ بازتولیدهای مستقل روی صفرند. این همروندی داربست است، نه گواهی. ترمودینامیک نامش را به دست آورد؛ این نام گرو گذاشته شده، و گرو در پایین چاپ شده است.
بهترین استدلال رقیب، در قویترین صورتش
قویترین اعتراض این نیست که قوانین اثباتنشدهاند. این است که سازوکار ممکن است تهی باشد: اصلاح ممکن است صرفاً اصلاح باشد، که در آن صورت جنسِ اصلاحگر اهمیتی ندارد و تمایز کلاسها فرو میریزد. این رقیب مترسک نیست. برنامهٔ نظارت مقیاسپذیر در همهٔ صورتهایش، تعمیم از ضعیف به قوی، مناظره، تقویت، مدلسازی بازگشتیِ پاداش، نردبانهای همکلاس را بر این پیشفرض ضمنی میسازد که مقیاسپذیرند، و قویترین چارچوب منتشرشده در مجاورت این پرسش، کور به معماری است: فرض صفرِ کور به کلاس را بیآنکه بیانش کند در دل خود دارد.
بدتر برای این برنامه، بخشی از سابقهٔ خودش به سمت رقیب متمایل است. خودِ نسبتِ کلاسهای اصلاحگر روی دادههای واقعی اندازه گرفته نشده، و این مجموعه خود نخست این را میگوید. اما اندازهگیریِ منتشرشدهٔ کانالهای موازیِ برنامه (Paper II) دریافت که کانالهای موازی در پنج مدل از شش تقریباً هیچ نمیافزایند، نشانهٔ خطاهای همبسته، و یک مدل با توانِ موازیِ ۰٫۳۱ آشکارا با این الگو مخالفت کرد. کانالهای همبسته دقیقاً همان سازوکاریاند که اصلاحِ همکلاس را چنان تضعیف میکنند که اصلاحِ میانکلاسی را هم تضعیف کنند، و نسبتِ تعیینکننده را به سوی یک میکشانند. بنابراین ثبتِ eclipse با همین شاهدِ مخالف در رویش ارائه شده، و متعهد است که نتیجهٔ صفر را زیر همان عنوان منتشر کند، بهعنوان کشفی دربارهٔ جهان و نه خجالتی که باید دفن شود.
رشتهای که بهترین شاهدِ رقیبش را درون ثبتِ خودش میگذارد، همان یک کاری را میکند که نمیتوان جعلش کرد.
اعتراضها، چاپشده همراه با سرنوشتشان
مقالهٔ بنیادی هر اعتراضی به بنیانگذاری این رشته را که نویسندهاش و خوانندگان خصمانهاش توانستهاند بیابند گرد آورده است: پنجاهودو اعتراض، در نه گروه، هر یک در قویترین صورتش بیانشده و دارای یکی از پنج سرنوشت (پذیرفتهشده؛ ردشده، با دلیل؛ تاحدی پذیرفتهشده؛ بدهی خواندن؛ یا تصمیمگیری با آزمایش)، و هر یک نام میبرد که چه چیزی سرنوشتش را عوض میکند. سیونه مورد بهتمامی یا تاحدی پذیرفته شدهاند، یازده مورد با دلیل رد شدهاند، دو مورد به آزمایش یا خواندن سپرده شدهاند. قویترینِ هر گروه اینجا بهتمامی چاپ شده؛ بقیه با سرنوشتشان فهرست شدهاند، و مقاله همهٔ آنها را با خود دارد وقتی در فهرست فرود آید.
A · زیادگی: این رشته از پیش زیر نامی دیگر وجود دارد
سیبرنتیک از پیش حلقههای خوداصلاحگر را در اختیار دارد؛ رشتهٔ وینر همین رشته است.رد شد، با یک شرط
سیبرنتیک تنظیم را در اختیار دارد: کنترلگری طراحیشده که یک سامانه را روی مرجعی نگه میدارد، با هدفِ حلقه که از بیرون تعیین میشود. حلقهای که اینجا مطالعه میشود تواناییِ خودِ کنترلگر را بازنویسی میکند، و پرسشهایی که پیش میکشد (آیا اصلاح از رانش پیشی میگیرد؛ آیا سقفی هست و ویژگیِ چه کسی است) پرسشهای سیبرنتیک نیستند. این رد مشروط است و شرط چاپ شده: اگر معلوم شود آن پرسشها درون سیبرنتیک بیهیچ افزودهای پاسخپذیرند، رشته در آن منحل میشود.
نظریهٔ سامانههای دینامیکی از پیش شرایط پایداری دارد؛ قانون دوم یک گزارهٔ پایداریِ استاندارد است.پذیرفته شد
ریاضیات وام گرفته شده و بهعنوان چیزی بیش از این ادعا نمیشود. آنچه ادعا میشود این است که کدام کمیتهای اندازهگرفتنی این شرط را در سامانههای ساختهشده حمل میکنند، و اینکه میتوان اندازهشان گرفت. اگر متغیرها زیر اندازهگیری بیهیچ افزودهای به متغیرهای استاندارد فروکاسته شوند، قانون دوم یک برچسبزنیِ دوباره است، و این یک شرط انحلالِ چاپشده است.
قوانین مقیاس از پیش توصیف میکنند که توانایی چگونه با منابع رشد میکند.پذیرفته شد، با یک شرط ابطال
تجربهگراییِ مقیاس، توانایی در برابر منابع بیرونی را در اختیار دارد. متغیر اینجا خروجیِ خودِ سامانه است که به حلقه بازمیگردد. این پذیرش شرط ابطالِ خودش را دارد: اگر عمق بازگشتی زیر اندازهگیری به محاسباتِ صرفشده فروکاسته شود، آنگاه Recursive Dynamics همان تجربهگراییِ مقیاس زیر نامی تازه است، و این صفحه این را خواهد گفت.
ادبیات مربوط به زوالِ ناشی از خودآموزی و مدلهایی که روی خروجیهای خودشان آموزش دیدهاند از پیش رانش را میسنجد.بدهی خواندن
همسایهای واقعی، و شاید صاحبِ اندازهگیریِ متغیر رانش. این برنامه هنوز آن را بهدقت نخوانده و تا نخواند به آن استناد نمیکند. اگر صاحب اندازهگیری رانش باشد، سهم این رشته به رابطهٔ اصلاح در برابر رانش تنگ میشود، و این صفحه هم با آن تنگ خواهد شد.
ایمنی هوش مصنوعی بهعنوان یک رشته از پیش این را پوشش میدهد.رد شد
ایمنی هوش مصنوعی یک حوزهٔ مسئله است، نه علمِ یک حلقه؛ از هر همسایهای که در بالا نام برده شد وام میگیرد و هیچیک از موضوعاتشان را در اختیار ندارد. این رشته پیشنهادی است برای یکی از علومی که ایمنی از آن بهره میگیرد، همانطور که ترمودینامیک علمی است که مهندسی از آن بهره میگیرد. چه چیزی آن را عوض میکند: مجموعهای منتشرشده از متغیرهای حالت و قوانین خودبهبودی، با داوران، که از پیش زیر پرچم ایمنی ایستاده باشد.
نتایج ناممکنی وامگرفتهاند، نه از آنِ خودِ رشته.پذیرفته شد
پذیرفته و در دفتر مراجع ثبت شد: شکستِ کنترل بیرونی در مقیاس، به ارث رسیده است. این رشته الزامِ طراحیای را میافزاید که این ناممکنی در دل دارد، اصلاحی که از درون حلقه از رانش پیشی میگیرد، نه تسلیم در برابر آن.
مرزبندی هرگز جاافتادن را نیازمود؛ هر همسایه را با یک جمله کنار گذاشت.پذیرفته شد، و پاسخ داده شد
برای هر نسخه از مقالهٔ بنیادی پیش از ۲٫۳، و برای نخستین نسخهٔ این صفحه، پذیرفته شد. پاسخدادهشده به دست تلاشِ بالا، که پرسشها را در دوازده حوزهٔ نامزد در متغیرهای خودشان جای میدهد، Law I را به نظریهٔ رشد درونزا واگذار میکند، شکلِ ARC Ceiling را به نظریهٔ صف و شکلِ Law II را به نظریهٔ آستانهٔ خطا، نقشهٔ انحلال را به تفکیک میزبان چاپ میکند، و آن یک جفتشدگی را که هیچ میزبانی نمیتواند بیان کند جدا میسازد. آنچه این را تغییر میدهد: میزبانی که بتواند سقفِ وابسته به کلاس را جفتشده با توانِ عمق در متغیرهای خودش بیان کند، که این رشته را با پذیرش پایان میدهد، نه با ابطال.
Recursive Dynamics همان ARC Theory زیر نامی تازه است: همان سه قانون، همان نویسنده، واژهای بزرگتر.رد شد، با یک آزمون
پذیرفته شد که این رشته و نظریهٔ بنیادیاش نویسنده، تاریخ و سابقهای مشترک دارند. رد شد که همان موضوع باشند. نظریه سه پاسخ است؛ رشته پرسشها، پنج متغیر حالت و ابزارهایی است که آن پاسخها را ابطال میکنند، و چنان تعریف شده که خوانندهای که هر سه قانون را رد میکند و اندازهگیری را نگه میدارد، به موجبِ تعهدِ کمینه که پایینتر بیان شده، در درونِ آن است. آزمون، جداییپذیری است، و نقشهٔ انحلالِ پایین جایی است که آن را باید اجرا کرد: اگر هیچ پرسش، متغیر یا ابزاری در این صفحه از حذفِ قوانین جان به در نبَرد، اعتراض درست است، این رشته یک بازنامگذاری است، و این صفحه این را خواهد گفت.
- نظارت مقیاسپذیر از پیش رشتهٔ ناظران است؛ این گوشهای از آن است. تاحدی پذیرفته شد
- ادبیات انفجار هوش از ۱۹۶۵ این پرسشها را مطرح کرده است. پذیرفته شد
- تکامل بهبودگرِ بازگشتیِ اصیل است و دینامیک تکاملی از پیش نظریهاش را دارد. تاحدی پذیرفته شد
- فیزیک آماری از پیش نظریهای برای مقیاس و جهانشمولی دارد؛ این بازبهنجارش با نامهای تازه است. تاحدی پذیرفته شد
B · جایگاه: این رشته نتیجهای ندارد
ترمودینامیک دستهای بسیار و یک قرن آزمایش داشت؛ این یک نفر و صفر بازتولید دارد.پذیرفته شد
بهتمامی پذیرفته شد، در بالا، پیش از آنکه هیچ خوانندهای بتواند مطرحش کند. همروندی فقط در شکل است؛ جایگاهی ادعا نمیشود، و معیارهای ورود در پایین میگویند چه چیزی آن را به دست میآورد.
اینها قانون نیستند؛ حدسهایی از یک مدل کمینهاند.پذیرفته شد
پذیرفته شد. اینها حدسهای نامدارند، و وضعیت روی هر سطحی همراه با نام سفر میکند. قانون قراردادِ نامگذاریِ این رشته برای رابطهای است که پیشنهاد میکند آزموده شود، نه ادعای اینکه آزمون گذرانده شده است.
کارنو کرانش را درون رساله نشان داد؛ سقف نتیجهای مشروط از یک مدل است که پیشفرض کلیدیاش اثباتنشده است.پذیرفته شد
پذیرفته شد، و این تفاوت دقیقاً دلیلی است که همروندی به شکل محدود میماند. پیشفرض سقف، که اصلاحگرِ همکلاس در نرخِ استقلال سقف میخورد، اندازهگرفتنی و ثبتشده است، و برنامه آن را محتملترین نقطهٔ شکستِ این حدس مینامد.
- عددِ تیترسازِ خودِ برنامه پس گرفته شد؛ چرا به بقیه اعتماد کنیم؟ بهعنوان واقعیت پذیرفته شد، بهعنوان استنتاج رد شد
- اهرم اصلاح gamma هرگز، به دست هیچکس، اندازه گرفته نشده است؛ عددِ ARC Ceiling بنابراین یک حدس است. پذیرفته شد
- نحوهٔ برخورد استخراج با عمق را خوانندهای بیرونی نقد کرده است. پذیرفته شد، بهعنوان محدودیت چاپ شد
C · روش: ابزارها شاید آنچه را قوانین نام میبرند اندازه نگیرند
استقلال از زیرلایه فقط انعطافپذیریِ خانوادههای برازششده است.پذیرفته شد
بهعنوان ریسکِ زنده پذیرفته شد. آزمونِ خانهٔ چهارم، خانوادهای تابعی که پیکره هرگز به آن برازش نداده، آزمودهشده بر حوزههایی که هرگز برازش نداده، برای گرفتنِ دقیقاً همین وجود دارد، و تا زمانی که اجرا نشود، شواهدِ میانحوزهای در درجهٔ اکتشافی میماند و لایههایش هرگز درهم آمیخته نمیشوند.
- پنج متغیر حالت دلبخواهیاند؛ چرا نه چهار، یا نه؟ بهعنوان باز پذیرفته شد
- پلِ سازهها باز است: کمیتهایی که مطالعات میسنجند شاید همان موضوعاتی نباشند که نمادهای قوانین نام میبرند. پذیرفته شد، در دفتر ثبت باز نگه داشته شد
- امتیازدهیِ مدلها به مدلها دوری است: امتیازدهنده در نقاط کورِ امتیازگیرنده شریک است. تاحدی پذیرفته شد؛ کاهشیافته، افشاشده و اندازهگرفتهشده، نه از میان رفته
- خودِ نردبان توانایی اعتبارسنجی نشده است؛ خطکشِ نادرست هر قانونی را نادرست میکند. بهعنوان وابستگی پذیرفته شد
- گزینهٔ جایگزینِ امتیازدهیشده به دست نویسنده برای معیار انسانی، نویسندهای است که به نظریهٔ خودش نمره میدهد. پذیرفته شد، با تدابیر ایمنیِ چاپشده
- آزمایشهای ثبتشده توان آماری کافی ندارند یا کوچکتر از آناند که چیزی را تعیین کنند. با آزمایش تعیین میشود، با اعداد چاپشده
- مدلهای پیشرو سریعتر از آنکه آزمایشها بتوانند اجرا شوند تغییر میکنند؛ نتایج هنگام رسیدن منسوخ خواهند بود. تاحدی پذیرفته شد
D · نامگذاری، و جایگاه نویسنده
نامگذاریِ یک رشته پیش از شواهد یک حرکت بازاریابی است.رد شد
با پیشینهای که در بالا چاپ شده رد شد: سیبرنتیک در همان کتاب ۱۹۴۸ که پیشنهادش میکرد نام گرفت و اگزوبیولوژی در ۱۹۶۰ پیش از یک نمونهٔ واحد. نام، یک پیشنهاد را بهصورت یک واحد استنادپذیر و حملهپذیر میکند. تضمین آن شرط ابطالِ خودِ نام است: اگر آزمونهای تعیینکننده قوانین را از پا درآورند، نام با آنها میمیرد، روی همین صفحه.
یک نفر نمیتواند پارادایمی بنیان بگذارد؛ پارادایمها را جامعهها اعطا میکنند.پذیرفته شد
پذیرفته شد. آنچه ادعا میشود یک نامزد است: شیوهای پیشنهادی برای ساماندادن به پرسشها. اینکه پارادایمِ کسی بشود یا نه را پذیرش و بازتولید تعیین میکنند، که دو تا از چهار معیار ورودند، و هیچکدام را نویسنده حق ندارد اعلام کند.
عبارت recursive dynamics از پیش در رباتیک به کار میرود.پذیرفته شد
در پایین، زیر عنوانِ با اینها اشتباه نشود، پذیرفته شد: recursive dynamics algorithms در سنت فدرستون مرجعی دیگر است، خانوادهای از روشهای محاسباتی، و هیچ تقدمی بر این عبارت در برابر هیچکس ادعا نمیشود.
- نویسنده نه نهادی دارد، نه مدرکی، نه همنویسندهای. بهعنوان واقعیت پذیرفته شد؛ بهعنوان استدلالی دربارهٔ پیشنهاد رد شد
- این کار با کمک هوش مصنوعی تولید شده؛ این رشته مصنوعِ ابزارهاست. دربارهٔ ابزارها پذیرفته شد، دربارهٔ نویسندگیِ ایدهها رد شد
E · گستره: بیشازحد گسترده، یا بیشازحد تنگ
بیشازحد گسترده: هر سامانهٔ خودبهبودگری خودِ علم، اقتصادها و تکامل را شامل میشود، پس این رشته یا همهچیز است یا هیچ.تاحدی پذیرفته شد
قوانین این رشته جایی روشن میشوند که یک چیزِ تنگتر وجود داشته باشد: یک اصلاحگر، چیزی که خطاهای خودش را در حین رشدِ سامانه مییابد و ترمیم میکند. یک ستاره دینامیک دارد و دفترِ رانش ندارد؛ آنجا چیزی پرورش نمییابد. بخشِ آنچه این رشته نیست، مرز را ترسیم میکند. چه چیزی آن را عوض میکند: اگر قوانین فقط برای یک زیرلایه برقرار باشند، که این رشته را بهجای همهچیز، تنگ میکند، و در این باره صادق.
- بیشازحد تنگ: این در واقع دربارهٔ حلقههای مدل زبانی است، در لباس یک علم عمومی. تاحدی پذیرفته شد؛ آزمون خانهٔ چهارم تعیین میکند
- این رشته اصلاح را با همترازی، و توانایی را با هوش خلط میکند. بهعنوان ریسک پذیرفته شد و با تعریفها پاسخ داده شد
F · زمانبندی و جامعه
- زودهنگام است؛ منتظر دادهها بمانید، سپس رشته را نامگذاری کنید. رد شد؛ نام اجازه میدهد پیشنهاد پیش از رسیدن دادهها بهصورت یک واحد مورد حمله قرار گیرد
- یک رشته نخست به جامعه نیاز دارد؛ رشتهٔ یکنفره یک سرگرمی است. دربارهٔ علم پذیرفته شد؛ دربارهٔ پیشنهاد رد شد
- نامگذاریاش بهجای علم، به نزاع بر سر تقدم دعوت میکند. رد شد؛ هر پیشینهای به نام پذیرفته شده و سرهمبندی تاریخدار است
G · خودِ مفهوم
چون هر ادعایی مشروط است، عملاً هیچچیز ادعا نمیشود.رد شد
شرطیهایی با مقدمات اندازهگرفتنی ادعا هستند: پیامدهایی را منع میکنند. این رشته منع میکند که سامانهای پایدار توان رشدش را در یک دورهٔ پیوسته بالای سقف نگه دارد، که توانِ اصلاحِ همکلاس یکسره بالای یکدوم اندازه گرفته شود، و که نسبتِ کلاسهای اصلاحگر جایی که سقف عمل میکند روی یک میخکوب بماند. هر یک از اینها نتیجهای واقعی علیه آن خواهد بود.
- نقطهٔ گذارِ alpha_crit = 1/(1 − gamma) یک بدیهیِ جبر قوانین توانی است، نه یک قانون. تاحدی پذیرفته شد؛ آنچه آزمایشها میآزمایند پیشفرضهاست، نه جبر
- سقفِ همکلاس در یکدوم فرضی است در لباس نتیجه. پذیرفته شد؛ هدفِ اندازهگیریِ eclipse، با یک ابطالِ سخت
- مدل، ایستایی و جداییپذیریِ رانش و اصلاح را فرض میگیرد؛ حلقههای واقعی هیچکدام را ندارند. تاحدی پذیرفته شد؛ جداییناپذیری بهصورت نابرازش ظاهر میشود و بهعنوان حدِ مدل گزارش میشود
- توانایی چندبعدی است؛ یک نردبان اسکالر ساختار را دور میریزد. بهعنوان سادهسازی پذیرفته شد
- سقف، اقتصاد را نادیده میگیرد: یک آزمایشگاه میتواند اصلاح را با پول بخرد، نه فقط با کلاس اصلاحگرِ بهتر. تاحدی پذیرفته شد؛ پول ضریب را جابهجا میکند، سقف دربارهٔ توانهاست
- بند انحلال حرف مفت است؛ هیچکس پایانِ رشتهٔ خودش را منتشر نمیکند. بر پایهٔ سابقه رد شد: پایانهای کوچکتر از پیش منتشر شدهاند
H · عمل، سیاست و بلندای معیار
حتی اگر هر سه قانون در مدلهای زبانی برقرار باشند، این مهندسی هوش مصنوعی است، نه یک رشته.بهعنوان معیارِ سختگیرانه پذیرفته شد
پذیرفته شد، و این معیار درست است. یک رشته به گذار از زیرلایه نیاز دارد: همان ساختار توانها دستکم در یک سامانهٔ غیرمصنوعی. به همین دلیل آزمون خانهٔ چهارم بخشی از پیوندِ بنیادیِ پایین است و افزودهای اختیاری نیست.
- اصلاح میانکلاسی از پیش رایج است: مجموعهها، تأییدگرها، انسانها در حلقه. بهعنوان عمل پذیرفته شد، بهعنوان نظریه رد شد؛ عمل، سقف را اندازه نگرفته است
- اگر درست باشد، بدیهی است. رد شد؛ پیشبینیها پرخطر و مشخصاند، و هر یک میتواند شکست بخورد
- نمیتوان نادرستیاش را نشان داد. رد شد؛ چهار نتیجهٔ انحلال، هر یک گرهخورده به متنِ ثبتِ نوشتهشده و تاریخدار
- ربطِ سیاستی زودهنگام است؛ سخنگفتن از تنظیمگران، ایمنیشویی است. دربارهٔ زمان پذیرفته شد؛ وزن سیاستی از نتایج پیروی میکند، هرگز از صورتبندی
I · آنچه اینجا پاسخ داده نمیشود
- شاید اعتراضهایی باشند که این فهرست از قلم انداخته است. پذیرفته شد، بنا به ساخت؛ فهرست منتشر شده تا بتوان گسترشش داد
سه پرسش، با پاسخی که از پذیرش آغاز میشود
آیا Recursive Dynamics یک علم واقعی است؟هنوز نه
هنوز نه، بنا به معیارهای خودش. این یک رشتهٔ پیشنهادی است: این ادعا که خانوادهای از پرسشها دربارهٔ سامانههای خودبهبودگر به هم تعلق دارند، عرضهشده با پنج متغیر حالتِ پیشنهادی، سه قانون که بهعنوان حدسهای نامدار با وضعیتشان حمل میشوند، ابزارهایی که پیش از هر دادهٔ تأییدی ساخته شدهاند، و آزمایشهای تعیینکنندهای که ثبت و تاریخگذاری شده و هنوز اجرا نشدهاند. هیچ بازتولید مستقلی وجود ندارد و این رشته روی هر سطحی که اهمیت دارد این را میگوید. آنچه آن را علم میکند در پایین نوشته شده است. نام شرط ابطالِ خودش را دارد: اگر آزمونهای تعیینکننده قوانین را از پا درآورند، نام با آنها میمیرد، روی همین صفحه.
Recursive Dynamics چه فرقی با سیبرنتیک دارد؟حلقه کنترلگرش را بازنویسی میکند
سیبرنتیک تنظیم را در اختیار دارد، و این نخست پذیرفته میشود: کنترلگری طراحیشده یک سامانه را روی مرجعی نگه میدارد، و هدفِ حلقه بیرون از آن تعیین میشود. حلقهای که اینجا مطالعه میشود در یک جنبه متفاوت است که معلوم میشود مهم است: تواناییِ خودِ کنترلگر را بازنویسی میکند، پس اصلاحگر از همان جنسِ چیزی است که اصلاحش میکند و در شیوههای خرابیاش شریک است. به همین دلیل پرسشهای این رشته پرسشهای سیبرنتیک نیستند: آیا اصلاح باید از رانش پیشی بگیرد تا حلقه پایدار بماند، آیا سقفی بر اینکه حلقه با چه سرعتی میتواند بهبود یابد وجود دارد، و آیا آن سقف ویژگیِ جنسِ اصلاحگر است. اگر معلوم شود آن پرسشها درون سیبرنتیک بیهیچ افزودهای پاسخپذیرند، Recursive Dynamics در آن منحل میشود، و این شرط چاپ شده است.
چه چیزی Recursive Dynamics را شکست میدهد؟چهار نتیجه
چهار نتیجه، که هر یک زخمیاش میکند و هر چهار به آن پایان میدهند: هیچ رژیمی که در آن اصلاح از رانش پیشی بگیرد؛ نسبتِ کلاسهای اصلاحگر که با بازههای تنگ همهجا که سقف باید عمل کند دقیقاً روی ۱٫۰۰ بماند؛ هیچ بیشینهٔ درونی و هیچ رفتار سقفی در تیتراسیونِ نردبان؛ خانوادههای میانحوزهای که در آزمون خانهٔ چهارم شکست بخورند. هر یک آزمایشی ثبتشده است که تحلیلش پیش از وجود دادهها نوشته شده و فرض صفرش به دیدگاه رقیب تعلق دارد؛ این رشته متعهد است پایانِ خودش را زیر نام خودش منتشر کند.
استقلال از زیرلایه، در درجهٔ صادقانهاش
قوانین این رشته نباید به جنسِ سامانههایش اهمیت دهند، و کار میانحوزهایِ برنامه در درجهٔ اکتشافی به همین سمت اشاره دارد، گزارششده بیآنکه هرگز سطوحش با هم آمیخته شوند: خانوادههای تابعیِ پیشبینیشده در مجموعهای پنجاهحوزهای (۱۹ از ۲۵ تطابق تجربی زیر مجموعهٔ نامزدهای اولیه، ۱۸ از ۲۵ زیر اجرای مجددِ اصلاحشده با هفت مدل، بهتمامی افشاشده؛ ۱۳ از ۱۳ در سطرهای مستقیماً منتشرشده)؛ یک گسترش دوازدهحوزهای با مانیفستِ قفلشده (۱۰ از ۱۲، p = 5.4e-4، در تاریخچهٔ عمومیِ کامیتها ظرف سیزده دقیقه به یک اجرای آزمایشیِ خشک تنزل دادهشده به دست خود)؛ بررسیهای زمانیِ بروننمونه (۴ تأیید، ۲ جزئی، ۱ ناسازگار، که ناسازگاری به همان برجستگیِ تأییدها گزارش شده). هیچیک از اینها تأیید نیست. آزمونِ ثبتشدهٔ خانهٔ چهارم، خانوادهٔ لگاریتمی که پیکره هرگز برازشش نکرده، بر حوزههایی که هرگز برازش نشدهاند، برای آن وجود دارد که برنامه را در حال خودستایی غافلگیر کند، و همگراییها با سنتهای کهنتر جداگانه زیر یک قاعدهٔ دائمی فهرست میشوند: همگرایی شاهدِ طبیعیبودن است، هرگز شاهدِ حقیقت نیست.
ابزارها
یک رشته پیش از آنکه نتایجش باشد، ابزارهایش است. این رشته با چهار ابزار عرضه میشود، پیش از آنکه هیچ دادهٔ تأییدی وجود داشته باشد ساخته شده. یکم، نردبانِ تواناییِ کالیبرهشده. دوم، پشتهٔ امتیازدهیِ کورشده: هر خروجی چنان شسته میشود که هیچ امتیازدهندهای نتواند بگوید چه چیزی آن را تولید کرده، و فرضِ صفر از میانِ همان خطلوله با برچسبهای تصادفیشده محاسبه میشود، پس فرضِ صفرِ آزمایشِ تعیینکننده بهجای برازششدن، بهطور ساختاری تحمیل میشود. سوم، کدِ برآوردگری که با هش سنجاق شده و با فیکسچر گِیت شده، هر شاخهٔ حکمِ ثبتشده یک آزمونِ حقیقتِ کاشتهشده را با خود حمل میکند که کد باید پیش از عرضهٔ هر چیزی از آن بگذرد. چهارم، بندِ نقصِ ثبتشده: مشخصات، نه کد، همان تحلیل است، پس یک خطای برنامهنویسیِ پس از ثبت، بهجای مطالعهای مرده، تعمیری آشکارشده بر شرایطِ ثبتشده است.
آزمایشهای تعیینکننده
سه مطالعهٔ ثبتشده سرنوشت سه قانون را تعیین میکنند. فرضهای صفرشان از آنِ رقیبان است، اعدادشان محاسبه شده و در ثبتها چاپ شده، و نتایجشان به هر سو که بیفتد با شرایط یکسان انتشارپذیر است. هر سه نوشته و تاریخگذاری شده و در انتظار ارسال انسانیاند؛ هیچ مسیر، ابزار یا عاملی چیزی را به هیچجا ارسال نمیکند. خودِ پروتکلها کاملاند: هر آزمایشگاه مستقلی میتواند همین امروز بیآنکه از کسی اجازه بگیرد آنها را اجرا کند، و آنچه در انتظار دست نویسنده است تنها عملِ ثبت است.
مسابقهٔ اصلاح در برابر رانش Law II را تعیین میکند: آیا خوداصلاحی از رانش پیشی میگیرد، در هیچ جایی؟ یک بلیِ بادوام نخستین نتیجهٔ هستیِ این رشته است، آزمایشِ ژولِ آن: نخستین نمایشِ اینکه اثر اصلاً وجود دارد. یک نهِ جهانشمول Law II را بی موضوع میگذارد.
نسبتِ کلاسهای اصلاحگر، اندازهگیریِ eclipse، سازوکار Law III را تعیین میکند. جفتهای اصلاحگرِ همکلاس و میانکلاسی را کنار هم بگذارید، همهچیز را بشویید و فرض صفر را تحمیل کنید: اگر جنسِ اصلاحگر اهمیتی نداشته باشد، نسبتِ توانهای اصلاح بنا به ساخت دقیقاً ۱٫۰۰ است. این فرض صفر پاسخ رقیب است، نه پاسخ این برنامه. سازوکار برنامه نسبتی پایدار بالای ۱٫۰۰ را در جایی که سقف عمل میکند پیشبینی میکند، و این همان کشف به سود اوست؛ پایدار زیر ۱٫۰۰ سازوکار را وارونه میکند و ادعا را به همان صورت که استخراج شده پایان میدهد؛ ۱٫۰۰ که همهجا محکم بماند، حتی جایی که سقف باید عمل کند، خودِ تمایز کلاسها را کنار میگذارد. یک ابطالِ مستقلِ سخت هم کنارش میرود: هر جفتِ همکلاسی که بازهٔ gammaیش یکسره بالای یکدوم باشد، سقف را صرفنظر از نسبت از میان میبرد.
تیتراسیونِ نردبان توانایی امضای رفتاریِ سقف را تعیین میکند: بیشینهای درونی از توانِ رشد، برابر یا کمتر از دو، در گسترهٔ سطوحِ بازسرمایهگذاری، تحتِ قاعدهای دومرحلهای که با بازتولید گِیت شده، که در آن یک خانهٔ مثال نقض، بازتولیدشده، ARC Bound را یکسره رد میکند.
یک شبکهٔ پیگیریِ ثبتشده این نسبت را به هر جفتِ مرتب از خانوادههای مدل گسترش میدهد و مییابد اثرِ کلاس کجا زندگی میکند؛ و یک کاوشگرِ سازوکار، خرابیِ همبسته روی زیرلایهٔ مشترک، مستقیماً همبستگیِ خطایی را میسنجد که استخراج فرض میگیرد، تا نسبت و سازوکارش باید با هم سازگار باشند وگرنه تنش میانشان خود یافتهای ثبتشده است.
سه آزمون دیگر پیشنهاد شده و ثبت نشدهاند، و این صفحه آنها را چنان علامت میزند که هیچ خوانندهای پیشبینی به شمارشان نیاورد: اینکه نسبت با بار بالا برود، که سازوکار را از تفاوتی ایستا جدا میکند؛ اینکه اصلاحگری از کلاسی دیگر بیشینهٔ تیتراسیون را بالا ببرد و قانونهای دوم و سوم را از راه اهرم کلاس به هم پیوند دهد؛ و اینکه یک سامانهٔ واحد با چرخاندن پیچ بازسرمایهگذاریاش از مرز پایداری بگذرد. هیچیک پیشبینیِ این رشته نیست تا وقتی ثبتی آن را حمل کند.
چه چیزی این رشته را منحل میکند
یک علم پیشنهادی باید بگوید چه چیزی پیشنهادش را پس میگیرد.
- اگر مسابقهٔ اصلاح در برابر رانش هیچ رژیمی نیابد که در آن اصلاح از رانش پیشی بگیرد، Law II موضوعی ندارد.
- اگر نسبتِ کلاسهای اصلاحگر با بازههای تنگ همهجا که سقف باید عمل کند روی ۱٫۰۰ بماند، سازوکار متمایزِ این رشته مرده است و بقایایش به تجربهگراییِ معمولیِ مقیاس تعلق دارد.
- اگر تیتراسیونِ نردبان نه بیشینهٔ درونی بیابد و نه رفتار سقفی، ناممکنیِ مرکزی منحل میشود.
- اگر خانوادههای میانحوزهای در آزمون خانهٔ چهارم شکست بخورند، استقلال از زیرلایه مصنوعِ انعطافپذیریِ خانوادهها بوده است.
نقشهٔ انحلال به تفکیک میزبان. اگر پیوندِ بنیادی شکست بخورد، قطعهها ناپدید نمیشوند؛ به خانه بازمیگردند. Law I به نظریهٔ رشد درونزا بهعنوان توانِ تولیدِ دانش بازمیگردد؛ Law II به کنترل تطبیقی و نظریهٔ آستانهٔ خطا بهعنوان شرطی نرخی؛ ARC Ceiling به نظریهٔ صف بهعنوان شرطِ پایداریِ جفتشده با رشد؛ نتیجهٔ سقفِ کلاس، به هر سو که بیفتد، در نظارت مقیاسپذیر منتشر میشود؛ ابزارها و آزمایشها یادگیری ماشیناند؛ خانوادههای میانحوزهای، اگر زنده بمانند، فیزیک آماریاند. هیچچیز به دست مرگِ این رشته یتیم نمیشود، و همین است که مرگ را انتشارپذیر میکند.
هر یک از این مرگها رشته را زخمی میکند؛ هر چهار به آن پایان میدهند، و این صفحه متعهد است آن پایان را همینجا، زیر همین نام، منتشر کند.
شرط ابطالِ خودِ نام
نامی که پیش از آزمونهایش پیشنهاد شود باید بتواند با آنها بمیرد، و سابقه باید بتواند بگوید کدام مرگ بوده است. قانونی که در صورتِ بیانشدهاش شکست بخورد، آن قانون و نظریهای که بیانش کرده را ابطال میکند؛ این رشته صورتِ اصلاحشده را با خود میبَرد، یا هیچکدام را، همانطور که سابقه اجازه میدهد، و خوانندهای که هر سه قانون را رد میکند و اندازهگیری را نگه میدارد، به موجبِ تعهدِ کمینه که پایینتر بیان شده، هنوز در درونِ آن است. خودِ نام وقتی میمیرد که موضوع میرود: اگر نسبتِ کلاسهای اصلاحگر با بازههای تنگ همهجا که سقف باید عمل کند روی ۱٫۰۰ بماند، سازوکارِ متمایز مرده است، آن باقیماندهای که هیچ میزبانی نمیتوانست بیانش کند تهی از آب درآمده است، هر جزء به موجبِ نقشهٔ انحلالِ بالا به میزبانش بازمیگردد، و این صفحه بهجای ناپدیدشدنِ بیصدا این را خواهد گفت. اگر قوانین از آزمونهای ثبتشدهشان جان به در ببرند و بیرون از حوزههایی که پدیدشان آورد پابرجا بمانند، نام عمومیتش را به دست آورده است. در هر دو حالت سابقه تصمیم میگیرد، نه نامگذاری. شرایط بر داشبورد ابطال زندگی میکنند؛ آزمونها برای اجرا به اجازه نیاز ندارند.
چه چیزی آن را علم میکند
نامگذاریِ یک رشته آن را نمیآفریند. معیارهای ورودی که این پیشنهاد هنوز، علناً، برآورده نکرده است: دستکم یک آزمایش تعیینکننده که زیر تحلیل ثبتشدهاش جهتِ پیشبینیشده را برگرداند؛ بازتولید مستقل به دستهایی که دستهای نویسنده نیستند، و به همین دلیل هر ابزار، بذر، زمانبندی و آستانه علناً عرضه میشود با دعوتی همیشگی به اجرای آزمونی که میتواند آن را از پا درآورد؛ استفادهٔ غریبهها از متغیرهای حالت چون به آنها نیاز داشتند؛ و ردِ ممیزیِ ازسرگذرانده، که سابقهٔ برنامه در پسگیریهای عمومی، تنزلهای خودخواسته با دقتِ دقیقه، خوانشهای سردِ خصمانه و محدودیتهای چاپشده بهعنوان معیاری عرضه میشود که ادعاهای آیندهاش میپذیرند.
نتیجهای که هر رشتهٔ قدیمی بتواند در متغیرهای خودش بیانش کند، فصلی از آن رشته را تأیید میکند. یک رشته تنها با پیوندی تأیید میشود که هیچیک از همسایگانش نتواند بیانش کند، و مقالهٔ بنیادی یک بار آن را بیان میکند: رژیمی که در آن اصلاح از رانش پیشی میگیرد؛ نسبتِ کلاسهای اصلاحگر که بهطور پایدار بالای ۱٫۰۰ بماند با سقفِ یکدوم برای اصلاحگرهای همکلاس؛ بیشینهای درونی برای توانِ رشد در دو یا کمتر؛ همان ساختار توانها دستکم در یک زیرلایهٔ غیرمصنوعی؛ و دستکم یکی از اینها بازتولیدشده به دست غریبهها. هر یک بهتنهایی یافتهای در واژگان یک رشتهٔ قدیمی است. این پیوند چنین نیست، و این دقیقاً همان معنایی است که در آن نتایج، حوزهای تازه را تأیید میکنند نه فصلی تازه.
دربارهٔ واژهٔ پارادایم، و چرا این صفحه از آن دریغ میکند
پارادایم، به معنای دقیق، چیزی است که یک جامعه با پذیرفتنِ یک سرمشقِ مشترک اعطا میکند. هیچکس بهتنهایی پارادایم ندارد، و هیچکس هرگز با اعلامکردن پارادایمی را بنیان نگذاشته است؛ زمانی پارادایم میشود که دیگران درون آن به کار مشغول شوند. پس بیانِ دقیق و دفاعپذیر این است که این یک نامزد است: رشتهای پیشنهادی با موضوع، متغیرها، کرانها، ابزارها و داورانش در جای خود، که جایگاهش را نویسنده حق ندارد اعلام کند. بازتولید، پذیرش و سه آزمایش ثبتشده آن را تعیین میکنند. ادعای واژهٔ بزرگتر بهعنوان واقعیتی حاضر همان یک حرکتی است که پیشنهادی سنجیده را به نشانهٔ یک خیالباف بدل میکند، و به همین دلیل مقالهٔ بنیادی این رشته را در مرحلهٔ کارنو سنجاق میکند و معیارهای ورودی را که هنوز برآورده نکرده فهرست میکند.
همچنان همان چیزِ کوچکتر و راستتر را بگویید، و بگذارید آزمایشها چیزِ بزرگتر را بسازند، یا دفنش کنند.
چه به دست میدهد، اگر بماند
رشتهها پذیرش خود را زمانی کسب میکنند که بیگانگان بتوانند با آنها محاسبه کنند. اگر قوانین از داورانِ خود جان به در برند، چیزهای زیر بهجای بحث، محاسبه میشوند: بهازای یک gammaی اندازهگیریشده برای یک کلاسِ اصلاحگر، بیشینهٔ توانِ رشدِ پایدارِ هر سامانهای که بر آن نظارت میکند از ARC Ceiling برمیآید؛ بهازای رانشِ اندازهگیریشدهٔ، نرخِ اصلاحِ لازم از Law II برمیآید؛ معماریهای نظارت یک برگهٔ مشخصات به دست میآورند، کلاسِ ترکیبیِ اصلاحگر، gammaی اندازهگیریشدهاش، سقفِ ضمنیاش، به همان شیوهای که ماشینها رتبهبندیهای بازده به دست آوردند؛ و پرسشِ ایمنیِ «آیا نظارت میتواند پابهپا پیش برود» برای نخستین بار به یک مقایسهٔ پارامتریِ تجربی بدل میشود، نه استدلالِ سناریومحور. هرآنچه در این پاراگراف است، مشروط به نتایجی است که هنوز وجود ندارند، و به همین دلیل به شرطی نوشته شده.
چگونه خودِ این رشته میتواند بهتر شود: مسئلههای باز بهعنوان دعوت
- بازتولیدِ مستقل نخستین نقطهٔ عطف این رشته است و هنوز رخ نداده است. هر ابزار، بذر، زمانبندی و آستانه منتشر شده تا هر کس بتواند آزمونی را اجرا کند که میتواند آن را از پا درآورد؛ نخستین بازتولید به دستهایی که دستهای نویسنده نیستند، وضعیت این رشته را بیش از هر نتیجهای که نویسنده بتواند تولید کند تغییر میدهد.
- توانِ اصلاح gamma هرگز اندازه گرفته نشده است، توسط هیچکس. عددِ سقف به آن وابسته است. اندازهگیریاش، زیر امتیازدهیِ کورشده با فرض صفری که با تصادفیسازی برچسبها تحمیل میشود، پرپیامدترین اندازهگیریِ بازِ این رشته است.
- پلِ سازهها باز است: اینکه آیا کمیتهایی که مطالعات ثبتشده میسنجند همان موضوعاتِ نمادهای قوانین هستند، در دفتر ثبت بهعنوان پرسش نگه داشته شده، نه فرض گرفته شده.
- استقلال از زیرلایه در درجهٔ اکتشافی است، و آزمون خانهٔ چهارم (خانوادهای تابعی که پیکره هرگز برازشش نکرده، بر حوزههایی که هرگز برازش نشدهاند) برای آن وجود دارد که رشته را در حال خودستایی غافلگیر کند. اجرای آن یک دعوت است.
- پنج متغیر حالت یک پیشنهادند. اینکه آیا پنج تا کافی است، آیا این پنج تا درستاند، و آیا هر یک زیر اندازهگیری به دیگری فروکاسته میشود، بخشی از چیزی است که این رشته باید ثابت کند.
- نحوهٔ برخورد سقف با عمق، نقدی چاپشده دارد از یک خوانندهٔ بیرونی. بهعنوان محدودیت حمل میشود، و برخوردی که از آن جان به در ببرد خواسته است.
- سمتِ رانش همسایگانی دارد که این رشته هنوز بهدقت نخوانده است: ادبیات مربوط به زوالِ ناشی از خودآموزی و مدلهایی که روی خروجیهای خودشان آموزش دیدهاند چیزی مانند متغیر رانش را مستقیماً میسنجد. اینجا بهعنوان بدهی خواندن نام برده میشوند، نه بهعنوان استناد، زیر این قاعده که هیچچیز پیش از خواندهشدن استناد نمیشود.
- انضباط مقیاس به ابزارهایی فراتر از یک نردبان نیاز دارد. امتیازی کراندار که از حسابِ بیکران عبور داده شود قوانین را بیانناپذیر میکند؛ این رشته یکی از همین مثالها را در دفتر نمادگذاریِ خودش اصلاح کرده و به عادتِ برچسبزدنِ خانواده روی هر سطحی نیاز دارد.
بدهیها، بهنام پذیرفتهشده
این رشته از بدهیهایی سرهم شده که در دفتر پیشینههای برنامه ثبت و بهتمامی پذیرفته شدهاند: خطِ ناممکنیِ پژوهشهای کنترل هوش مصنوعی، که این رشته بهجای تسلیم، الزامِ طراحیای را به آن میافزاید که این ناممکنی در دل دارد؛ حدودِ شبکهٔ انتقال در مقیاسپذیریِ زیستی، بهعنوان پیشفرض پذیرفتهشده، که این رشته حدِ درونیِ جایگزینی را به آن میافزاید که وقتی درستکردنِ لوله دیگر رشد را درست نمیکند به کار میافتد؛ پرسشِ انفجار هوش آنگونه که صاحبان نامدارش مطرح کردند، که این رشته متغیرهای حالتِ غایب را برایش پیشنهاد میکند؛ و ریاضیاتِ معادلات تابعی، ماشینآلات، که هرگز ادعا نشده است. آنچه بهعنوان اصیل ادعا میشود همان سرهمبندی است: حلقه بهعنوان موضوع بومی، انضباط مقیاس بهعنوان روش بنیادی، کرانها بهعنوان قوانین، کلاسِ اصلاحگر بهعنوان اهرم، و ابزارهای ثبتشده برای تعیین همهٔ اینها.
چرا پیش از حکم نامگذاری
چون رشتهها همان وقت نام میگیرند. وینر سیبرنتیک را در همان کتاب ۱۹۴۸ که پیشنهادش میکرد نامگذاری کرد، پیش از آنکه رشتهای باشد که نام به آن بچسبد. لدربرگ اگزوبیولوژی را در ۱۹۶۰ وضع کرد، پیش از یک نمونهٔ واحد. نامِ یک رشته جایزهای نیست که پس از تأیید داده شود؛ ابزاری است که یک پیشنهاد را بهصورت یک واحد استنادپذیر، حملهپذیر و آزمونپذیر میکند. نامگذاریِ زودهنگام رسمِ معمول است. ادعای اینکه نام چیزی را ثابت میکند خطا خواهد بود، و این صفحه مرتکبِ آن نمیشود.
من نخست اثباتش نکردم. نخست گفتماش، در سندی که هر کس بتواند تاریخش را بررسی کند، و سپس ابزارها را ساختم تا آزموده شود که آیا درست است.
آنچه این رشته نیست، و تعهد کمینه
این رشته پیشبینیِ زمانِ پیشیگرفتن ماشینها از انسانها نیست، نظریهٔ هوش نیست، اخلاق نیست، نظریهٔ همهچیز نیست، و ادعایی دربارهٔ آگاهی نیست. قوانینش جایی روشن میشوند که اصلاحگری درون یک سامانهٔ در حال رشد وجود داشته باشد و جایی خاموش میشوند که نباشد؛ سلسلهمراتبهای ترکیبشدهای که ریاضیاتِ مقیاسش به آنها مربوط میشود، از جمله ستارگان، در حدِ تناظرِ شکل درجهبندی میشوند و نه بیشتر. کودای گمانهزنانهٔ برنامه دربارهٔ بازگشت در مقیاس کیهانی بیرون از این رشته مینشیند؛ خواننده میتواند آن را یکسره رد کند و اینجا چیزی از دست ندهد.
تعهدِ کمینه که برای کار در این رشته لازم است کوچک است، و چنان بیان شده که بتوان ردش کرد: اینکه حلقهٔ خودبهبودی موضوعی مشروع برای اندازهگیری است، با کمیتهایی که میتوان تعریف کرد، ابزارهایی که میتوانند اندازهشان بگیرند، و رابطههایی که میتوان نادرست بودنشان را نشان داد. اگر این را بپذیرید و هر سه قانون را رد کنید، درونِ این رشته هستید؛ اگر قوانین را بپذیرید و اندازهگیری را نپذیرید، نیستید.
با اینها اشتباه نشود
رباتیک از دیرباز عبارت «recursive dynamics algorithms» را برای روشهای محاسباتیای به کار برده که نیروها را در امتداد اجسام مفصلی منتشر میکنند، سنتِ فدرستون؛ آن یک خانوادهٔ الگوریتم است، مرجعی یکسره متفاوت، و هیچ تقدمی بر این عبارت بهعنوان کلمات، در برابر آن یا هیچکس دیگر، ادعا نمیشود. این نظریهٔ بازگشت هم نیست، ریاضیاتِ محاسبهپذیری؛ و نه سامانههای دینامیکی بهطور کلی، ریاضیاتِ مادر. و از Recursive Creation، کودای گمانهزنانهٔ این مجموعه که عمداً از استدلال جدا نگه داشته شده، متمایز است.
آزمونی را اجرا کنید که میتواند آن را از پا درآورد
هر ابزار، بذر، زمانبندی و آستانه در این مجموعه علناً عرضه میشود، و یک اجرای مستقل بر اجرای خودِ برنامه برتری دارد. اگر میخواهید بدانید آیا چیزی از اینها واقعی است، کوتاهترین راه سنجیدنِ استدلال نیست بلکه اجرای اندازهگیری است: صفحهٔ «خودتان اجرا کنید» فهرست میکند چه چیزی را امروز میتوان بیاجازه اجرا کرد، برای از پا درآوردن هر ادعا چه لازم است، و نتیجه، در هر جهتی، کجا ثبت میشود.
این رشته کجای این مجموعه زندگی میکند
- اعلامیه، در صفحهٔ نخست
- ARC Theory، نظریهٔ بنیادی، قوانین بهتمامی
- قوانین به زبان ساده، در مسیر
- Eden Protocol، بال کاربردی
- ستون فقرات نمادگذاری، معنای هر نماد
- داشبورد ابطال، شرایط شکست
- دفتر تاریخدار پیشبینیها
- وضعیت ادعاها، هر ادعا درجهبندیشده
- واژهنامه، هر مفهوم نامدار
- اصلاحات، منتشرشده علیه خودم
- فهرست، جایی که مقالهٔ بنیادی فرود میآید
- خودتان اجرا کنید، راه ورود برای یک شکاک
اشتباهی در ترجمه دیدید؟ مستقیم اطلاع دهید: