caiu em uma toca de coelho menos errada depois de reler 'What Failure Looks Like' de Paul Cristino (surgiu na curva e estou lutando para entender os cenários de 'perda de controle') e cara, todas as coisas da teoria da decisão instantaneamente se deparam com o problema da parada imediatamente

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

Na verdade, qualquer teoria de decisão *reflexiva* desmorona por causa desse fato. tdt et. al. só funcionam em situações em que os agentes não estão completos. não é muito útil.

O material de incerteza lógica se mantém muito bem

@azsantosk na verdade, aqui está uma visão selvagem e infundada; adicionar probabilidade nos leva de um ambiente discreto para um contínuo e é isso que acaba com a indecidibilidade esse seria um teorema tão bonito

@azsantosk então ou estamos acima ou abaixo de Turing

@azsantosk ou o ômega tem hipercomputação (é um mago) ou nossos agentes não são muito interessantes

@azsantosk certamente não sou capaz de automodificação e muitas outras coisas presupostas pelas várias teorias de decisão sobre menos errado pontocom