アレン・ブレイディ

アメリカの計算機科学者。オレゴン州立大学の大学院生だったころ、ラドーのビジービーバーのゲームに取り組んだ。途中まで同じ動きをする機械をひとまとめにし、動きが分かれるところでだけ枝分かれさせて数える方法を、博士論文にまとめた。この木の形の数え方は、2024年のbbchallengeの証明でも使われている。科学誌Quantaによると、1964年には、プログラムを動かす計算機を借りるため、約145 km離れたビーバートンの研究所まで車で通った。

1966年に107歩で止まる4状態の機械を見つけ、1974年に、それより長く動いて止まる機械が無いことを示した。論文は1983年に学術誌『Mathematics of Computation』に載った。ネバダ大学リノ校で計算機科学の教授を務め、マラソンにも出た。1990年の文章では、5状態の値は決して証明されないと予言した。

2024年4月21日、90歳で亡くなった。bbchallengeのCoqの証明が完成する19日前だった。