Those points were excellent, and it is no credit to LW that the comment was on negative karma when I encountered it.
No, the approach based on proveable correctness isn’t a 100% guarantee, and, since it involves an unupdateable UF, and has the additional disadvantage that if you don’t get the UF right first time, you can’t tweak it.
The alternative family of approaches, based on flexibility, training and acculturation have often been put forward by MIRIs critics....and MIRI has never been quantiified why the one approach is better than the other.
Those points were excellent, and it is no credit to LW that the comment was on negative karma when I encountered it.
No, the approach based on proveable correctness isn’t a 100% guarantee, and, since it involves an unupdateable UF, and has the additional disadvantage that if you don’t get the UF right first time, you can’t tweak it.
The alternative family of approaches, based on flexibility, training and acculturation have often been put forward by MIRIs critics....and MIRI has never been quantiified why the one approach is better than the other.