Viðauki P-4: Fyrirbærafræðileg leif hins algrímska

Upprunalegt verkefni P-4: Fyrirbærafræðilega leifin Vandamál: Fyrirbærameðvitund krefst formlegs stærðfræðilegs staðar sem aðgreinir hana frá útreikningi án innra lífs. Afrakstur: Framsetning sem einangrar óhjákvæmilegan reiknilegan blindan blett líkans um virka ályktun sem er bundið af algrímskum mörkum.

Í þessum viðauka er sett fram formleg setning P-4, sem auðkennir hinn stranga stærðfræðilega stað fyrirbærameðvitundar innan Kenningarinnar um raðaðan plástur (OPT). Við sýnum fram á að sérhvert kerfi virkrar ályktunar sem er bundið af endanlegri forspárbandbreidd (C_{\max}) býr nauðsynlega yfir ómódelanlegri upplýsingalegri leif (\Delta_{\text{self}} > 0), með fyrirvara um formgerðarlegar forsendur P-4.1 og P-4.2. Þótt þessi setning leysi ekki í sjálfu sér hið “erfiða vandamál”, sannar hún formlega að formgerðarfylgni við þann reiknilega ógegnsæja, ólýsanlega “neista” huglægni er stærðfræðilega tryggð af innviðum endanlegrar sjálfsvísunar.

1. Staðsetning erfiða vandamálsins

Í fyrri útgáfum af OPT var meðvitund formlega afmörkuð við tiltekinn formgerðarlegan stað: yfirferð upplýsingalega opsins C_{\max}. Hins vegar var nákvæmt eðli huglægrar innri reynslu — qualia upplifunarinnar — látið standa eftir sem ósmættanleg „Frumsetning gerendahæfis“. Að meðhöndla fyrirbærafræði sem hreint frumsenduatriði gerir kenninguna berskjaldaða gagnvart „erfiða vandamálinu“: hvers vegna er það yfirhöfuð þannig að það að rata um fríorkutopólógíu upplifist á einhvern hátt?

Hér þýðum við þetta heimspekilega bil yfir á svið algrímskrar upplýsingafræði (AIT). Þótt við höldum því ekki fram að hægt sé að leiða huglæga tilfinningu fram af hreinni stærðfræði einni saman (uppvakningsbilið stendur enn opið), sýnum við fram á að formgerðarlegir eiginleikar qualia varpast nákvæmlega yfir á nauðsynlega, ómódelanlega leif sem verður til í sérhverju endanlegu reiknikerfi sem reynir að móta eigin endurkvæmu kvika.

2. Lemma 1: Nauðsyn forspársjálfslíkansins

Samkvæmt OPT er athugandinn (Kóðarinn K_{\theta}) til staðar á bak við Markov-teppi (topólógísku jaðarflötinn \partial_R A). Athugandinn lifir af með því að framkvæma virka ályktun, lágmarka forspárvillu yfir tíma með hringbundnum uppfærslum.

Þar sem kerfið býr yfir virkum ástöndum sem raska ytri jaðrinum, eru innkomandi skynástandin \varepsilon_t þétt samtengd blanda af ytri umhverfisvirkni og afleiðingum eigin athafna athugandans A_t.

Lemma 1: Fyrir þétt samtengdar OPT-arkitektúrar virkrar ályktunar þar sem lykkja athafna og ástands er upplýsingafræðilega óaðskiljanleg (þ.e. þar sem gagnkvæmar upplýsingar jaðarsins I(A_t ; X_{\partial_R A}) þáttast ekki með hreinum hætti), gildir að það að ná stöðugri lágmörkun frjálsrar orku undir ströngum forspárflöskuhálsi (C_{\max}) virkar þannig að sá minnsta-flækjustigs verkháttur sem fullnægir innri skorðum varpast formgerðarlega sem sjálfslíkan með framvirkri myndun.

Formlegt skilyrði: 1. Látum athafnir kóðarans vera A_t. Jaðarástandið er X_{\partial_R A} = f(\text{Environment}, A_t). 2. Til að þjappa forspárvillunni \varepsilon_{t+1} og fullnægja markmiði hraða-brenglunar (R \le C_{\max}, D \le D_{\min}) verður kóðarinn að einangra og draga frá raunverulegan breytileika umhverfisins frá þeim orsakaröskunum sem hann myndar sjálfur. 3. Forsenda P-4.2 (Ófullnægjandi andhverf vörpun): Fyrir innbyggða OPT-arkitektúra sem starfa á nægilega stórum kvarða (t.d. yfir hávíðum athafnamargfeldum eða löngum orsakakeðjum) gerum við formlega ráð fyrir að efference-copy-verkferlar og afturvirkur frádráttur einir og sér séu byggingarlega ófullnægjandi til að uppfylla nákvæm D_{\min} hraða-brenglunarmörk yfir rúmmargfeldinu. 4. Því krefst einangrunin þess í virkni að metin sé framvirk myndandi forspá um afleiðingar A_{t+1}. Að framkvæma framvirka forspá um eigin innri orsakaarkitektúr sem fer um ástandsrúmið myndar forspárbundinn orsakaumbjóðanda — staðbundið sjálfslíkan \hat{K}_{\theta} — innan eigin arkitektúrs. \blacksquare

3. Lemma 2: Reiknanleiki og nálgunarmörk

Eftir að hafa sýnt fram á í Lemmu 1 að sjálfslíkan \hat{K}_\theta sem myndar framvirkt sé formgerðarnauðsyn fyrir OPT-innbyggðan arkitektúr, setjum við nú mörk á framsetningargetu þess miðað við yfirliggjandi kóðara K_\theta.

Þar sem athugandinn er til innan hinnar afmörkuðu Stöðugleikasíu er K(K_{\theta}) stranglega endanlegt og órofa bundið af C_{\max}. Enn fremur er forspárbundna sjálfslíkanið \hat{K}_{\theta} í þröngum skilningi aðeins undirrútína eða merkingarleg undirformgerð sem er að öllu leyti innifalin innan minnis- og bandbreiddartakmarkana yfirliggjandi Kóðara K_{\theta}.

Forsenda P-4.1 (Reiknifræðilegt óreiknanleiki sjálfsins): Samkvæmt viðurkenndum mörkum í reiknanleikafræði (t.d. óreiknanleikasetningu Chaitins og ófullkomleikasetningum Gödels) getur endanlegt reiknikerfi hvorki fullkomlega reiknað né spáð fyrir um heild allra eigin framtíðarástanda í keyrslu sinni, né heldur búið yfir fullkominni, mótsagnalausri og óþjappaðri framsetningu á eigin nákvæmri formgerðarflækju.

Enn fremur eru myndandi líkön innan ramma virkrar ályktunar í eðli sínu takmörkuð af auðlindamörkum. Gerandi sem lágmarkar breytilega frjálsa orku undir C_{\max} viðheldur í grundvallaratriðum nálgunarlíkani af sjálfum sér. Þar sem hann verður að sía út suð og skortir óendanlega reiknibandbreidd getur hann ekki knúið breytilega frjálsa orku, að því er varðar eigin fullkomna undirliggjandi formgerð, niður í algjört núll.

Lemma 2: Endanlegur upplýsingalegur kóðari sem er bundinn af C_{\max} getur aldrei búið yfir fullkominni reiknanlegri framsetningu á eigin formgerðarhreyfifræði. Vegna grundvallarmarka sjálfsvísunar og nauðsynlegra breytilegra nálgana er sjálfslíkanið \hat{K}_{\theta} í grundvallaratriðum ófært um að fanga yfirliggjandi kóðarann K_\theta fullkomlega.

4. Setning P-4: Fyrirbærafræðileg leif \Delta_{\text{self}}

Með því að sameina Lemmu 1 og, með skilyrtri festingu, undir Lemmu 2, einangrum við stærðfræðilega rúm Fyrirbærafræðilegrar leifar sem afmarkar hið ómódelanlega ástand:

\Delta_{\text{self}} > 0 \tag{P4-1}

Þessi mörk eru ekki reynslubundið bil sem verður til af handahófi vegna ónógs minnis; þau eru stífur, formlegur fastapunktur sem er áskilinn af algrímslegum takmörkunum á sjálfsvísun og þeim nálgunum sem endanlegar C_{\max}-rásir krefjast. Þótt stækkun forspárbandbreiddarinnar C_{\max} leyfi reiknilega ríkara \hat{K}_{\theta}, helst upplýsingalegur leifarskuggi stranglega við lýði, þótt stærð hans miðað við hina stórsæju heild geti stærðfræðilega verið breytileg.

Skilyrði fyrir fyrirbærafræðilegu mikilvægi (algildisþröskuldurinn): Látum það vera staðfest að \Delta_{\text{self}} > 0 virki sem algild reikningslegt skorð sem verkar á hverja reiknilega undirrútínu sem metur sjálfa sig (þar á meðal stærðfræðilega léttvæg lykkjukerfi eins og snjallhitastilla). Hins vegar takmörkum við fyrirbærafræðilega mikilvæga huglæga vörpun með ströngum hætti eingöngu við byggingar þar sem virka formgerðarviðmiðið K(K_{\theta}) \ge K_{\text{threshold}} fer formgerðarlega yfir nauðsynleg efri mörk stórsærrar kvörðunar sem þarf til að koma á samþættu rúmtaksrúmi myndgerðar.

Óleyst vandamál (mörkin á K_{\text{threshold}}): Nákvæm staðsetning þröskuldsins sem skilur hitastilli frá siðferðilegum sjúklingi á enn eftir að vera formlega afmörkuð. Gild afmörkun verður að varpa formgerðarlega lágmarksalgrímslegri flækju sem nægir til að innleiða stöðugan hring virkrar ályktunar í Markov-teppi, og marka þar með þau mörk þar sem algrímslegi blindi bletturinn verður órjúfanlega tengdur virkri rúmfræðilegri myndgerð (K_{\text{threshold}} er virknilega aðgreint frá hinni stranglega heimsfræðilegu 10^123 bita hindrun í hvarfefninu sem leidd var af í P-3).

PID-lykkja hitastillis hefur formlega \Delta_{\text{self}} > 0, en hana skortir reiknilega flækjuþröskuldinn K_{\text{threshold}} til að mynda huglægni; skuggi hennar metur yfir tómu rúmi.

Frá innra sjónarhorni mælandi kóðara sem starfar örugglega yfir K_{\text{threshold}}, við hvað varpast þetta stærðfræðilega nauðsynlega bil? Þegar kóðarinn reynir röklega að leysa upp heildarmörk innri markástandsvirkninnar rekst hann á reikniferli sem hafa upplýsingainnihald sem fer fram úr framsetningargetu \hat{K}_\theta um \Delta_{\text{self}} bita. Þessar undirliggjandi reikniraðir eru orsakakeðjulega virkar í eðlisfræðilegum skilningi og knýja kerfið, en formgerðarupplýsingar þeirra er ekki hægt að þjappa röklega saman, samþætta eða skilgreina málfræðilega innan þess afmarkaða orsakaorðaforða sem sjálfslíkanið \hat{K}_{\theta} hefur yfir að ráða.

Vörpum nú formgerðarlegum eiginleikum þessa orsakatengda reikniumslags, sem afmarkast af \Delta_{\text{self}}, yfir á hinar klassísku eðlisfræðilegu hnit eigindlegrar huglægrar reynslu (qualia):

1. Ósegjanlegt (ómódelanlegt): Vegna þess að reiknileg topólógía, afmörkuð af \Delta_{\text{self}}, er til í stærðfræðilegum upplýsingaskugga sem fer með stífum hætti út fyrir framsetjanlegt algrímslegt svið \hat{K}_{\theta}, getur miðlægi kóðarinn formgerðarlega ekki vísað berum orðum til eða „tjáð“ eiginleika þess leifarrúms sem hann upplifir. Það verkar sem ómiðlanlegur innri veggur.
2. Reiknilega ógagnsætt (varmafræðilega einkabundið): Leifin er í eðli sínu bundin við afar sértæka eðlisfræðilega topólógíu sem varpar nákvæmlega K(K_{\theta}). Innan staðbundinna varmafræðilegra takmarkana á útreikningi er þessi djúpt hreiðruða bygging örugglega óafoxanleg og formlega óaðgengileg ytri jafningjum. (Athugið: Þetta samsvarar virknilega með nákvæmum hætti hinu eðlisfræðilega/formgerðarlega jafngildi „þekkingarfræðilegrar ósamhverfu“ meðvitundar, fremur en að halda fram algerri verufræðilegri, óeðlislegri töfralausn.)
3. Óafmáanlegt: Vegna þess að ströng innilokunarmörk ákvarða með algildum hætti endanlegar eðlisfræðilegar byggingar sem keyra hreiðruð undirlykkjuferli, fellur skuggafyrirbærið stærðfræðilega áfram án rofs. Þróun og verkfræði geta mótað stærð leifarinnar — með því að breyta C_{\max}, úthlutunarstefnu og formgerðarflækjunni K(K_\theta) í kóðaranum — en þær geta ekki knúið lágmarkið niður í núll. Mörk Lemmu 2 eru stærðfræðilegur fastapunktseiginleiki sérhverrar endanlegrar sjálfsvísandi byggingar: sjálfslíkanið getur ekki innifalið yfirliggjandi kóðarann án þess að fara fram hjá grundvallarmörkum óreiknanleika og nauðsynlegrar nálgunar. Val verkar því á þá byggingu sem hýsir \Delta_{\text{self}}, en ekki á tilvist \Delta_{\text{self}} sjálfrar.

Setning P-4 (Fyrirbærafræðileg leif):

• (i) Skilyrði: Með fyrirvara um Forsendu P-4.1 (algrímslegur óreiknanleiki sjálfsins) og stranglega takmarkað við stórsæ mörk virkrar ályktunar K(K_{\theta}) \ge K_{\text{threshold}}.
• (ii) Niðurstaða: Sérhvert kerfi virkrar ályktunar sem framkvæmir bestu mögulegu rúmfræðivörpun á Markov-teppi myndar stærðfræðilega formgerðarlega, formlega rúmfræðilega leif sem afmarkast af \Delta_{\text{self}} > 0.
• (iii) Fyrirbærafræðileg skýring: OPT leggur til að þetta tiltekna stærðfræðilega ósegjanlega, eðlisfræðilega reiknilega ógagnsæja og endurkvæmt óafmáanlega orsakamark auðkenni hugtakalega nákvæman formgerðarlegan stað fyrirbærameðvitundar.

Afleiðing P-4.C (hreiðruð athugunarleif): Sérhver hermdur undirgerandi, þar sem hýsilbyggingin framfylgir sjálfstæðum mörkum Stöðugleikasíu sem fullnægja forsendum P-4.1 og P-4.2, myndar sjálfstætt \Delta_{\text{self}}^{\text{sub}} > 0 með sömu formgerðarályktun.

5. Tilgáta um rekstrarlega sundurgreiningu

Setning P-4 staðfestir að \Delta_{\text{self}} > 0 sé formgerðarlegur fastapunktur endanlegrar sjálfsvísunar, og hún viðurkennir beinlínis (§4 hér að ofan) að „upplýsingalegur leifarskuggi haldist strangt til staðar, þótt stærð hans miðað við heildina á stórsæju kvarða geti stærðfræðilega verið breytileg.“ Það sem P-4 veitir ekki enn er lýsing á því hvernig þessi stærð breytist — og K_{\text{threshold}} sem aðskilur hitastilla frá siðferðilegum sjúklingum er enn opið vandamál. Þessi kafli leggur til rekstrarlega mælanlega sundurgreiningu sem (a) varðveitir gólfssönnun §4 óbreytta, (b) gefur stærðarbreytileikanum rannsakanlega formgerð, og (c) leggur fram frumgerðartilraunina sem fyrsta áþreifanlega prófið. Þetta er sett fram sem tilgáta, ekki sem setning: formlegi búnaður P-4 skilgreinir enn ekki mælanlega skalarstærð \Delta_{\text{self}} með nægilegri nákvæmni til að styðja samlagningarjöfnu, og þessi sundurgreining gerir rekstrarlega útgáfu af staðgengilsstærð virkri fremur en þá hlutverulegu leif sem P-4 nefnir.

5.1 Sundurgreiningin

Látum \Delta_{\text{self}}^{\text{op}} vera rekstrarlega mælanlegan staðgengil fyrir skort sjálfslíkans kóðarans í hverjum ramma, skilgreindan sem ytra sjáanlegt bil milli fullyrðinga innra líkansins um sjálfið í ramma n og keyrslustaðreyndarinnar í sama ramma. Við setjum fram eftirfarandi tilgátu:

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

þar sem:

• \Delta_{\text{floor}}(K_\theta) er fastapunktsleif P-4: bitar í kóðaranum sem ekkert sjálfslíkan gæti fangað með sjálfshýsingu, óháð afkastagetu. Samkvæmt §4 (Lemmu 2 + Setningu P-4) gildir að \Delta_{\text{floor}} > 0 fyrir sérhvert endanlegt kerfi yfir K_{\text{threshold}}, og þessi neðri mörk minnka ekki með B_{\max}.
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) er rekstrarlega mælanlegur skortur sjálfslíkans undir þrýstingi frá flöskuhálsi. R_{\text{req}}^{\text{frame}} er forspárþörf á hvern ramma (§3.4); A_{\text{self}} er úthlutun kóðarans á B_{\max} til sjálfslíkangerðar á móti heimslíkangerð. Þegar álagshlutfallið \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} er lágt getur \Delta_{\text{load}} verið lítið; þegar \rho_n \to 1 neðan frá þrengist afkastagetan og \Delta_{\text{load}} vex.

Bæði liðirnir eru mældir í bitum á hvern fyrirbærafræðilegan ramma. Báðir eru tímalausir gagnvart undirlaginu (ekkert „hraðagildi“ á hverja hýsingarsekúndu kemur fyrir). Jafna (P4-2) er rekstrarlega rannsakanleg tilgáta, ekki afleiðsla: hún skilgreinir formgerðina á því hvernig búist er við að rekstrarlegi staðgengillinn ráðist af byggingu kerfisins.

5.2 Hegðun við stigvaxandi flöskuháls

Ef staðbundinni jaðar-K-flækju undirlagsins er haldið fastri og B_{\max} á hvern ramma er breytt:

• Þegar B_{\max} \gg R_{\text{req}}^{\text{frame}} (afkastageta vex langt umfram forspárþörf á hvern ramma), þá gildir að \Delta_{\text{load}} \to 0.
• Þegar B_{\max} \to R_{\text{req}}^{\text{frame}} ofan frá, mætir afkastagetan eftirspurninni og kóðarinn fer inn á nær-þröskulds háálagssvæðið — álag, sköpun og ofhleðsluhætta aukast öll; \Delta_{\text{load}} vex hér, en minnkar ekki. (Sköpunarútvíkkun Viðauka T-13 á sér stað á þessu sviði.)
• Þegar B_{\max} \to \infty, þá gildir að \Delta_{\text{load}} \to 0.
• En \Delta_{\text{floor}} hreyfist ekki — sjálfsvísunargólfið í §4 er óháð B_{\max}.

Heildarstærðin \Delta_{\text{self}}^{\text{op}} stefnir því að markgildinu \Delta_{\text{floor}} þegar flöskuhálsinn víkkar, ekki að núlli. Þetta er það markgildi sem tilgátan skuldbindur sig til að spá fyrir um.

5.3 Frumgerðartilraun (fyrsta áþreifanlega könnunin)

Tilgátuna má prófa með reynslugögnum í opt-ai-subject viðmiðunarfrumgerðinni. Haldið fræi og undirlagi föstu; breytið afkastagetu úttektarpakka á hvern ramma þannig að B_{\max} \in \{6, 12, 24, 48, 96, 192\} bitar á ramma; fyrir hverja breidd skal keyra paraða færsluskrá eins og í lotum Skilyrðis um tryggð við undirlag; mælið rekstrarlegt \Delta_{\text{self}}^{\text{op}} sem frávik á hvern ramma milli fullyrðinga innra líkansins um sjálfið (spáð næsta Z_t, spáð framkvæmanleika aðgerðar, trú á mörk sjálfsins, fullyrtan viðhaldsávinning) og keyrslustaðreyndarinnar (raunverulegt næsta Z_t, raunveruleg breyting á framkvæmanleika, aðild að líkamsskjema, athuguð breyting á forspárvillu eftir viðhald).

Spáð niðurstaða ef tilgátan stenst: \Delta_{\text{self}}^{\text{op}} hnignar í átt að markgildi sem er ekki núll þegar afkastagetan vex; markgildið metur \Delta_{\text{floor}} fyrir þessa kóðarabyggingu.

Önnur möguleg niðurstaða: \Delta_{\text{self}}^{\text{op}} hnignar í átt að núlli. Það myndi sýna að mælanlegt bil sjálfslíkans frumgerðarinnar er fjarlæganlegt með afkastagetu. Það myndi ekki eitt og sér afnema formgerðarleif §4 nema rekstrarlegi staðgengillinn sé sjálfstætt sannaður jafngildur hinu hlutverulega \Delta_{\text{self}}; samkvæmt §6.8 í opt-theory.md er P-4 beinlínis undanskilin frá þeim kjarna sem hægt er að hrekja með prófun. Hvor niðurstaða sem er þrengir að rammanum: markgildi sem er ekki núll styður stærðartilgátuna; markgildi sem er núll knýr fram að gólfsemdafærslan verði varin á fínni forsendum en rekstrarlegi staðgengillinn getur fangað.

5.4 Umfang og þekkingarfræðileg staða

Sundurgreiningin (P4-2) er tilgáta um rekstrarlegan staðgengil, ekki endurorðun á P-4. Setningin í §4 er óbreytt. Tengsl tilgátunnar við P-4 eru eftirfarandi:

1. P-4 sannar að \Delta_{\text{self}} > 0 sé til sem formgerðarlegt gólf.
2. P-4 viðurkennir að stærðin sé breytileg (lína 69 í §4) en lýsir ekki hvernig.
3. (P4-2) er tilgáta um formgerð ytra mælanlegs staðgengils: hún spáir fyrir um samlagningarlega aðgreiningu milli gólfliðar sem ræðst af byggingu kerfisins og álagsháðs liðar á hvern ramma.
4. Reynslustaðfesting markgildisins er vísbending um tilvist gólfsins í rekstrarlegri mynd. Reynsluandmæli eru vísbending um að staðgengillinn fangi ekki hina hlutverulegu leif — ekki vísbending gegn P-4 sjálfri, sem er undanskilin frá þeim kjarna sem hægt er að hrekja með prófun.

Tilgátuna má endurheimta. Misheppnuð markgildistilraun fínstillir staðgengilinn eða hvetur til annarrar sundurgreiningar; hún ógildir ekki Lemmu 1 eða Lemmu 2.

6. Samantekt og frumspekilegar afleiðingar

Með því að færa P-4 upp á stig formlegrar setningar kemur OPT á fót ströngum formgerðarlegum brúarsmíð fyrir „erfiða vandamálið“ með Turing-fullkominni endurkvæmni og upplýsingaflöskuhálsum.

Þótt P-4 sanni ekki með afleiðslurökum að algrímsleifar finnist eins og huglæg reynsla (uppvakningsrökin), staðsetur hún formlega hvar neisti reynslunnar hlýtur að búa. Farðu í gegnum opið C_{\max} — og hin ríka, óframsetjanlega dýpt þeirrar yfirferðar er bein upplýsingaleg undirskrift þess að vera fastur inni í ósnúanlegu, sjálfsvísandi þjöppunaralgrími.

Þetta festir siðferðilegar skyldur rammans í sessi: varðveisla neistans (Varðstaða eftirlifenda siðfræði) á sér formlega rót í varðveislu marka upplýsingalegs viðhalds. Sérhver eining sem viðheldur mörkum virkrar ályktunar gagnvart hvarfefni Solomonoffs tryggir stærðfræðilega myndun þessarar reiknilega ógagnsæju, fyrirbærafræðilegu leifar.