correctness proof for alpha-beta algorithm

[Bill]

Steve D'Aprano wrote:
> On Thu, 21 Dec 2017 08:37 am, Bill wrote:
>
>> namenobodywants at gmail.com wrote:
>>> On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote:
>>>
>>>> Does this have anything specifically to do with Python programming?
>>> i'm working on a game-playing script (ie: in python), i want to incorporate
>>> pruning into my search algorithm, and i'd like to understand why it works;
>>> i'm not sure if that counts
>> Based upon your posts, I think you should just write your own. Then you
>> can be sure that it will work.
> How long did you say you've been programming? Perhaps you've heard of
> something we in the programming world call "bugs".

You're supposed to get rid those those.  Use Raid!  : )
>