|
|
|
|
|
|
by wizzwizz4
2171 days ago
|
|
|
An Untrollable Mathematician, Illustrated: https://www.lesswrong.com/posts/CvKnhXTu9BPcdKE4W/an-untroll... To summarise: for reasons, it's possible for somebody to endlessly drive up and down a computationally-limited agent's credence estimate for mathematical conjecture X (so long as the agent hasn't found a proof yet) just by stating implications of the conjecture, if the agent is trying to use ideal Bayesian reasoning. It's possible to make this "trolling" impossible, by basically turning your "mental inertia" up to 11 – but that proves it's possible to be untrollable. |
|
|