Putosi vähemmän väärään kaninkoloon luettuaan uudelleen Paul Christianon "What Failure Looks Like" -kirjan (se tuli esiin käyrällä ja minulla on vaikeuksia ymmärtää "hallinnan menetyksen" skenaarioita) ja kaikki päätösteoriajutut vain törmäävät välittömästi pysähtymisongelmaan

Sen määrittäminen, tuottaako tietty ohjelma tietyn symbolin tietyille syötteille, on osittain ratkaistavissa ja vastaa siksi pysäytysongelmaa. Mikä tahansa "lue toisen agentin lähdekoodi" -pohjainen päätösteoria hajoaa tämän tosiasian vuoksi.

itse asiassa mikä tahansa *reflektiivinen* päätösteoria hajoaa tämän tosiasian vuoksi. TDT et. al. työskentele vain tilanteissa, joissa agentit eivät ole täydellisiä. ei kovin hyödyllinen.

Looginen epävarmuus kestää kuitenkin melko hyvin

@azsantosk tässä on itse asiassa villi ja perusteeton otos; Todennäköisyyden lisääminen vie meidät diskreetistä jatkuvaan asetelmaan, ja se poistaa päättämättömyyden Se olisi niin kaunis lause

@azsantosk olemme siis joko Turingin ylä- tai alapuolella

@azsantosk joko omegalla on hyperlaskenta (on velho) tai agenttimme eivät ole kovin kiinnostavia

@azsantosk todellakaan silloin en pysty itsemuokkaukseen ja moniin muihin asioihin, joita oletetaan erilaisissa päätösteorioissa vähemmän väärässä dot comissa