потрапив у менш неправильну кролячу нору після перечитування книги Пола Крістіано «Як виглядає невдача» (вона виникла на кривій, і я намагаюся зрозуміти сценарії «втрати контролю»), і людина всі речі з теорією прийняття рішень просто миттєво стикається з проблемою зупинки відразу

Визначення того, чи буде дана програма виводити певний символ для конкретних входів, є напіврозв'язним і тому еквівалентним проблемі зупинки. Будь-яка теорія прийняття рішень, заснована на принципі «прочитайте вихідний код іншого агента», розвалюється через цей факт.

По суті, будь-яка «рефлексивна» теорія прийняття рішень розвалюється через цей факт. TDT та ін. Працюйте тільки в ситуаціях, коли агенти Тюрінга не є повними. не дуже корисний.

Хоча логічна невизначеність тримається досить добре

@azsantosk насправді це дика і необґрунтована думка; Додавання ймовірності переводить нас від дискретного до безперервного налаштування, і це те, що усуває нерозв'язність Це була б така красива теорема

@azsantosk отже, ми або вище, або нижче Тюрінга

@azsantosk або у омеги гіперкомп'ютація (це чарівник), або наші агенти не дуже цікаві

@azsantosk, звичайно, я не здатний до самомодифікації та багатьох інших речей, які передбачаються різними теоріями прийняття рішень на менш неправильних доткомах