I don’t believe we’re actually arguing about anything worth caring about. My understanding was that Wei_Dai was illustrating a problem with UDT1 - in which case a single scenario in which UDT1 gives an unambiguously wrong answer suffices. To disprove Wei_Dai’s assertion requires demonstrating that no scenario of the kind proposed makes UDT1 give the wrong answer, not showing that not every scenario of the kind proposed makes UDT1 give the wrong answer.
Are you sure you are taking the fact that he is UDT’s inventor and biggest fan into account? He certainly didn’t claim that he was illustrating a problem with UDT.
I don’t believe we’re actually arguing about anything worth caring about. My understanding was that Wei_Dai was illustrating a problem with UDT1 - in which case a single scenario in which UDT1 gives an unambiguously wrong answer suffices. To disprove Wei_Dai’s assertion requires demonstrating that no scenario of the kind proposed makes UDT1 give the wrong answer, not showing that not every scenario of the kind proposed makes UDT1 give the wrong answer.
Are you sure you are taking the fact that he is UDT’s inventor and biggest fan into account? He certainly didn’t claim that he was illustrating a problem with UDT.
...you’re right, I’m misreading. I’ll shut up now.