mergulhei em um buraco de coelho menos errado depois de reler 'como é a falha' do paul christiano (ele surgiu na curva e estou lutando para entender os cenários de 'perda de controle') e cara, toda a parte da teoria da decisão simplesmente esbarra instantaneamente no problema da parada.

determinar se um determinado programa irá produzir um símbolo específico para entradas específicas é semi-decidível e, portanto, equivalente ao problema da paragem. qualquer teoria de decisão baseada em 'ler o código-fonte do outro agente' desmorona por causa deste fato.

na verdade, qualquer teoria de decisão *reflexiva* desmorona por causa deste fato. tdt e outros só funcionam em situações onde os agentes não são completos de Turing. não é muito útil.

o material sobre a incerteza lógica se mantém bastante bem, no entanto

@azsantosk na verdade, aqui está uma opinião ousada e não fundamentada; adicionar probabilidade nos leva de um cenário discreto para um contínuo e é isso que elimina a indecidibilidade isso seria um teorema tão bonito

@azsantosk então estamos acima ou abaixo do turing

@azsantosk ou a omega tem hipercomputaçã (é um mago) ou os nossos agentes não são muito interessantes

@azsantosk certamente, então não sou capaz de auto-modificação e muitas outras coisas pressupostas pelas várias teorias de decisão em less wrong dot com