Spadl do méně špatné králičí nory po opětovném přečtení knihy Paula Christiana "Jak vypadá selhání" (přišlo to na Curve a já se snažím pochopit scénáře "ztráty kontroly") a člověče, všechny ty věci týkající se teorie rozhodování prostě okamžitě narazí na problém zastavení

Určení, zda daný program vypíše určitý symbol pro konkrétní vstupy, je částečně rozhodnutelné a proto ekvivalentní problému zastavení. Jakákoli rozhodovací teorie založená na "čtení zdrojového kódu druhého agenta" se kvůli tomuto faktu rozpadá.

Ve skutečnosti se kvůli tomuto faktu rozpadá každá "reflektivní" teorie rozhodování. TDT ET. al. pracují pouze v situacích, kdy agenti nejsou turing kompletní. to není příliš užitečné.

Ta logická nejistota se ale drží docela dobře

@azsantosk ve skutečnosti je zde divoký a nepodložený záběr; Přidáním pravděpodobnosti se dostaneme od diskrétního ke spojitému nastavení a to je to, co odstraňuje nerozhodnutelnost to by byla tak krásná věta

@azsantosk takže buď jsme nad nebo pod Turingem

@azsantosk omega má buď hypervýpočetní schopnost (je čaroděj), nebo naši agenti nejsou moc zajímaví

@azsantosk pak určitě nejsem schopen sebemodifikace a mnoha dalších věcí, které předpokládají různé rozhodovací teorie na méně špatných dot com